[cfe-dev] [analyzer] Some built-in macros are 'Unknown' while others are well substituted

[Balázs Benics via cfe-dev]

It seems that the analyzer can not properly certain built-in macros.

void dump_builtin_macros() {
  clang_analyzer_dump(__LINE__); // 11 S32b
  clang_analyzer_dump(__FILE__); //
&Element{"/home/myuser/builtin-macros.cpp",0 S64b,char}
  clang_analyzer_dump(__DATE__); // &Element{"Sep  1 2020",0 S64b,char}
  clang_analyzer_dump(__TIME__); // &Element{"19:40:54",0 S64b,char}
  clang_analyzer_dump(__COUNTER__); // 0 S32b
  clang_analyzer_dump(__func__); // Unknown
  clang_analyzer_dump(__PRETTY_FUNCTION__); // Unknown
}

As you can see `__func__` and `__PRETTY_FUNCTION__` macros are not modelled
correctly.
I'm suspecting some misconfiguration of the preprocessor or something.
Do you know where should I have a look to fix this?

Balazs.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200901/20a91093/attachment.html>