Re: [Predef-contribute] Add Pre-defined Compiler Macro
Brought to you by:
breese,
tahonermann
From: <to...@ho...> - 2015-03-09 16:31:52
|
On Monday, March 9, 2015 11:11am, "Bjorn Reese" <br...@ma...> said: > On 02/27/2015 03:29 PM, Daniel Garcia wrote: > >> 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. > > That is an interesting suggestion. > > Tom, you are more experienced in this area. Do you think we would add a > special section about pre-defined macros for static C/C++ analyzers? I don't think a special section is necessary. I think treating them like any other compiler makes sense. On that note, I should probably submit pre-defines for Coverity. It never occurred to me to do so before... Tom. |