Index: tools/GPURuntime/GPUJIT.c
===================================================================
--- tools/GPURuntime/GPUJIT.c
+++ tools/GPURuntime/GPUJIT.c
@@ -217,6 +217,8 @@
   return 1;
 }
 
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wpedantic"
 static int initialDeviceAPIsCL() {
   if (initialDeviceAPILibrariesCL() == 0)
     return 0;
@@ -293,6 +295,7 @@
 
   return 1;
 }
+#pragma GCC diagnostic pop
 
 /* Context and Device. */
 static PollyGPUContext *GlobalContext = NULL;
@@ -998,6 +1001,8 @@
   return 1;
 }
 
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wpedantic"
 static int initialDeviceAPIsCUDA() {
   if (initialDeviceAPILibrariesCUDA() == 0)
     return 0;
@@ -1079,6 +1084,7 @@
 
   return 1;
 }
+#pragma GCC diagnostic pop
 
 static PollyGPUContext *initContextCUDA() {
   dump_function();