From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sun, 3 Apr 2022 19:52:32 +0000 (-0700)
Subject: GDK plugin gdk_format: squash -Wswitch-default warning
X-Git-Tag: 4.0.0~126^2~2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2da73a0316671df15d84baef16c2b570ad04ca08;p=graphviz

GDK plugin gdk_format: squash -Wswitch-default warning

The device ID can only be one of the values configured at the bottom of this
file, so this switch is exhaustive.
---

diff --git a/plugin/gdk/gvdevice_gdk.c b/plugin/gdk/gvdevice_gdk.c
index 0d04761cc..15ebb0568 100644
--- a/plugin/gdk/gvdevice_gdk.c
+++ b/plugin/gdk/gvdevice_gdk.c
@@ -9,7 +9,7 @@
  *************************************************************************/
 
 #include "config.h"
-
+#include <cgraph/unreachable.h>
 #include <gvc/gvplugin_device.h>
 #include <gvc/gvio.h>
 #ifdef HAVE_PANGOCAIRO
@@ -81,6 +81,8 @@ static void gdk_format(GVJ_t * job)
     case FORMAT_TIFF:
 	format_str = "tiff";
 	break;
+    default:
+	UNREACHABLE();
     }
 
     argb2rgba(job->width, job->height, job->imagedata);