diff --git a/pom.xml b/pom.xml
index 07637d347c..845354a4bd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -343,6 +343,7 @@
                   <option>-Wall</option>
                   <option>-Wextra</option>
                   <option>-pedantic</option>
+                  <option>-Wno-int-to-void-pointer-cast</option>
                   <option>-Wno-unused-parameter</option>
                 </options>
               </c>