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

[Balázs Benics via cfe-dev]

In the meanwhile, I figured it out :D
The patch is on the way: https://reviews.llvm.org/D87004

Thanks.

Pavel Labath <labath at google.com> ezt írta (időpont: 2020. szept. 2., Sze,
13:05):

> (re-add the list)
>
> On Wed, 2 Sep 2020 at 15:05, Pavel Labath <labath at google.com> wrote:
> >
> > I believe this is working as intended because __func__ and
> > __PRETTY_FUNCTION__ are not macros (but slightly magical static
> > variables). See
> > <https://gcc.gnu.org/onlinedocs/gcc/Function-Names.html>.
> >
> > On Tue, 1 Sep 2020 at 19:47, Balázs Benics via cfe-dev
> > <cfe-dev at lists.llvm.org> wrote:
> > >
> > > 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.
> > > _______________________________________________
> > > cfe-dev mailing list
> > > cfe-dev at lists.llvm.org
> > > https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200902/18e7c7e2/attachment.html>