diff --git a/infer/src/Makefile b/infer/src/Makefile
index 47d401d9e..72c1c5750 100644
--- a/infer/src/Makefile
+++ b/infer/src/Makefile
@@ -43,7 +43,7 @@ ifneq ($(wildcard $(BUILDDIR)/sanitize.sh),)
 endif
 
 GLOBAL_LFLAGS =  -annot
-GLOBAL_CFLAGS = -bin-annot
+GLOBAL_CFLAGS = "-bin-annot -warn-error @5@8@10..12@20@26"
 GLOBAL_OPTIONS = -lflags $(GLOBAL_LFLAGS) -cflags $(GLOBAL_CFLAGS) $(addprefix -lib ,$(GLOBAL_LIBS))
 
 #### Backend declarations ####