diff options
| author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-15 00:00:08 +0200 |
|---|---|---|
| committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-15 00:00:08 +0200 |
| commit | e7035b29a856858b85c63b3c35ba2a8040565b02 (patch) | |
| tree | 7252746b3abc48048c522adee5ce03fd761e0fdb | |
| parent | 5a2dc562e87c452fca3169f11f542b59c6219b7c (diff) | |
| download | metacity-e7035b29a856858b85c63b3c35ba2a8040565b02.tar.gz | |
theme-gtk: suppress logically dead code defect
Coverity CID: #1445648
| -rw-r--r-- | libmetacity/meta-theme-gtk.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libmetacity/meta-theme-gtk.c b/libmetacity/meta-theme-gtk.c index 80939a19..13df0571 100644 --- a/libmetacity/meta-theme-gtk.c +++ b/libmetacity/meta-theme-gtk.c @@ -953,9 +953,11 @@ meta_theme_gtk_init (MetaThemeGtk *gtk) style->layout->hide_buttons = TRUE; break; + /* coverity[dead_error_condition] */ case META_FRAME_TYPE_LAST: default: g_assert_not_reached (); + break; } gtk->styles[type] = style; |