diff --git a/workspace_tools/toolchains/gcc.py b/workspace_tools/toolchains/gcc.py
index 22ca32dae6..c4e8f5c771 100644
--- a/workspace_tools/toolchains/gcc.py
+++ b/workspace_tools/toolchains/gcc.py
@@ -50,7 +50,7 @@ class GCC(mbedToolchain):
         common_flags = ["-c", "-O2", "-Wall",
             "-fmessage-length=0", "-fno-exceptions", "-fno-builtin",
             "-ffunction-sections", "-fdata-sections",
-            "-MMD"
+            "-MMD", "-fno-delete-null-pointer-checks",
             ] + self.cpu
         
         if "save-asm" in self.options: