[metacity] misc: remove Coverity annotations

[Alberts Muktupāvels <muktupavels src gnome org>]

commit bf039bc3306827f7fa068dad0ce184541ed430d9
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Fri Mar 19 12:28:36 2021 +0200

    misc: remove Coverity annotations

 libmetacity/meta-frame-style.c    | 5 -----
 libmetacity/meta-theme-gtk.c      | 1 -
 libmetacity/meta-theme-metacity.c | 2 --
 src/core/core.c                   | 1 -
 src/core/place.c                  | 5 -----
 src/ui/frames.c                   | 1 -
 6 files changed, 15 deletions(-)
---
diff --git a/libmetacity/meta-frame-style.c b/libmetacity/meta-frame-style.c
index 733008f3b..61f617daf 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 13df05712..ad687f89b 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 762224835..2161a7ccf 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 f98cedd8d..e0b0cf48e 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 9ed8ecce7..9cf80915a 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 68a3729bb..35a4a9305 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;