From 2da73a0316671df15d84baef16c2b570ad04ca08 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sun, 3 Apr 2022 12:52:32 -0700
Subject: [PATCH] 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.
---
 plugin/gdk/gvdevice_gdk.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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);
-- 
2.40.0