[PATCH] D87004: [analyzer] Evaluate PredefinedExpressions

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.


================
Comment at: clang/test/Analysis/eval-predefined-exprs.cpp:7-21
+  clang_analyzer_dump(__func__);
+  clang_analyzer_dump(__FUNCTION__);
+  clang_analyzer_dump(__PRETTY_FUNCTION__);
+  // expected-warning at -3 {{&Element{"func",0 S64b,char}}}
+  // expected-warning at -3 {{&Element{"func",0 S64b,char}}}
+  // expected-warning at -3 {{&Element{"void func(U) [T = Class, Value = 42, U = char]",0 S64b,char}}}
+}
----------------
steakhal wrote:
> Szelethus wrote:
> > Why not put the expected warning right below the function call?
> That would seriously violate the column limit.
> This way it is easier to see and validate the pattern IMO.
This could be like:
```
clang_analyzer_dump(__FUNCDNAME__); // \
// expected-warning at -4 {{&Element{"??$func at UClass@?1??foo@@YAXXZ@$0CK at D@@YAXD at Z",0 S64b,char}}}
clang_analyzer_dump(L__FUNCTION__); // \
// expected-warning at -4 {{&Element{L"func",0 S64b,wchar_t}}}
...
```
So, this way you can keep the line limit, I think this is what @Szelethus refers to.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D87004/new/

https://reviews.llvm.org/D87004