diff --git a/Makefile b/Makefile
index 217dcd360b..5d17004100 100644
--- a/Makefile
+++ b/Makefile
@@ -148,6 +148,7 @@ DEBUG_CFLAGS = -g
 # to be sure we get the intended behavior.
 SPEC_CFLAGS := -fno-strict-aliasing -Wdeclaration-after-statement
 SPEC_CFLAGS += $(call cc-opt,-fwrapv)
+SPEC_CFLAGS += $(call cc-opt,-fno-strict-overflow)
 SPEC_CFLAGS += $(call cc-nowarn,format-truncation)
 SPEC_CFLAGS += $(call cc-nowarn,address-of-packed-member)
 SPEC_CFLAGS += $(call cc-nowarn,null-dereference)