How to prevent pre-inlcude of stdc-predef.h

[Frank Dordowsky <frank@xxxxxxxxxxxx>]

I use gcc to prepare input to a static analysis tool (Frama-C).
Unfortunately, this tool is picky about stdc-predef.h, so I have tried
to get rid of it. I have tried the options -nostdinc, -ffreestanding,
-fno-builtin, and -fno-hosted, but all of these failed.

I use gcc version 4.8.2 and ArchLinux 3.13.7-1-ARCH.

Does anyone know how to disable pre-include effectively?

Frank