diff options
| author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-19 12:28:36 +0200 |
|---|---|---|
| committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-03-19 12:28:36 +0200 |
| commit | bf039bc3306827f7fa068dad0ce184541ed430d9 (patch) | |
| tree | f3a3813a0afb56d32c9d7e0e59a42d7bce7a0850 | |
| parent | 984c7b6b8715da8d96e065489ba558c07648982b (diff) | |
| download | metacity-bf039bc3306827f7fa068dad0ce184541ed430d9.tar.gz | |
misc: remove Coverity annotations
| -rw-r--r-- | libmetacity/meta-frame-style.c | 5 | ||||
| -rw-r--r-- | libmetacity/meta-theme-gtk.c | 1 | ||||
| -rw-r--r-- | libmetacity/meta-theme-metacity.c | 2 | ||||
| -rw-r--r-- | src/core/core.c | 1 | ||||
| -rw-r--r-- | src/core/place.c | 5 | ||||
| -rw-r--r-- | src/ui/frames.c | 1 |
6 files changed, 0 insertions, 15 deletions
diff --git a/libmetacity/meta-frame-style.c b/libmetacity/meta-frame-style.c index 733008f3..61f617da 100644 --- a/libmetacity/meta-frame-style.c +++ b/libmetacity/meta-frame-style.c @@ -536,12 +536,7 @@ meta_frame_style_set_get_style (MetaFrameStyleSet *style_set, styles = style_set->tiled_right_and_shaded_styles; break; - /* coverity[dead_error_begin] */ case META_FRAME_STATE_NORMAL: - g_assert_not_reached (); - break; - - /* coverity[dead_error_begin] */ case META_FRAME_STATE_SHADED: g_assert_not_reached (); break; diff --git a/libmetacity/meta-theme-gtk.c b/libmetacity/meta-theme-gtk.c index 13df0571..ad687f89 100644 --- a/libmetacity/meta-theme-gtk.c +++ b/libmetacity/meta-theme-gtk.c @@ -953,7 +953,6 @@ 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 (); diff --git a/libmetacity/meta-theme-metacity.c b/libmetacity/meta-theme-metacity.c index 76222483..2161a7cc 100644 --- a/libmetacity/meta-theme-metacity.c +++ b/libmetacity/meta-theme-metacity.c @@ -3485,7 +3485,6 @@ parse_style_set_element (GMarkupParseContext *context, info->style_set->tiled_right_and_shaded_styles[frame_focus] = frame_style; break; - /* coverity[dead_error_condition] */ case META_FRAME_STATE_LAST: default: g_assert_not_reached (); @@ -5481,7 +5480,6 @@ meta_theme_metacity_draw_frame (MetaThemeImpl *impl, rect = visible_rect; break; - /* coverity[dead_error_condition] */ case META_FRAME_PIECE_LAST: default: g_assert_not_reached (); diff --git a/src/core/core.c b/src/core/core.c index f98cedd8..e0b0cf48 100644 --- a/src/core/core.c +++ b/src/core/core.c @@ -152,7 +152,6 @@ meta_core_get (Display *xdisplay, *((gint*)answer) = window->screen->rect.height; break; - /* coverity[dead_error_begin] */ case META_CORE_GET_END: break; diff --git a/src/core/place.c b/src/core/place.c index 9ed8ecce..9cf80915 100644 --- a/src/core/place.c +++ b/src/core/place.c @@ -728,12 +728,7 @@ find_preferred_position (MetaWindow *window, *new_y += work_area.y; break; - /* coverity[dead_error_begin] */ case META_PLACEMENT_MODE_SMART: - g_assert_not_reached (); - break; - - /* coverity[dead_error_begin] */ case META_PLACEMENT_MODE_CASCADE: g_assert_not_reached (); break; diff --git a/src/ui/frames.c b/src/ui/frames.c index 68a3729b..35a4a930 100644 --- a/src/ui/frames.c +++ b/src/ui/frames.c @@ -1931,7 +1931,6 @@ meta_frames_button_release_event (GtkWidget *widget, case META_GRAB_OP_KEYBOARD_WORKSPACE_SWITCHING: break; - /* coverity[dead_error_begin] */ case META_GRAB_OP_NONE: g_assert_not_reached (); break; |