diff --git a/share/revng-c/compile-flags.cfg b/share/revng-c/compile-flags.cfg
index 5906521b9..973358d7f 100644
--- a/share/revng-c/compile-flags.cfg
+++ b/share/revng-c/compile-flags.cfg
@@ -99,3 +99,5 @@
 -Wno-non-literal-null-conversion
 -Wno-null-dereference
 -Wno-return-stack-address
+-Wno-conditional-type-mismatch
+-Wno-pointer-type-mismatch