[Predef-contribute] Add Pre-defined Compiler Macro

[Daniel G. <dh...@gm...>]

Hello,

May I suggest that you add the CompCert compiler (http://compcert.inria.fr/)
to your list?

It predefines the __COMPCERT__ macro for identification, without any values.


Best regards,
Daniel