From cb2df465fa598f5eaa653c986ea869cd5e33ab03 Mon Sep 17 00:00:00 2001 From: Antonio Frighetto Date: Mon, 18 Jul 2022 14:42:50 +0200 Subject: [PATCH] Recompilation: add type mismatch flags --- share/revng-c/compile-flags.cfg | 2 ++ 1 file changed, 2 insertions(+) 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