[PATCH] D62441: [analyzer] NFC: Introduce a convenient CallDescriptionMap class.
Csaba Dabis via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Jun 28 17:02:37 PDT 2019
Charusso accepted this revision.
Charusso added a comment.
Great patch, thanks you! I wanted to make my own `IdentifierInfo` array previously.
================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1060
+public:
+ const static unsigned NoArgRequirement = std::numeric_limits<unsigned>::max();
+
----------------
What about `Optional<>`? When I first met that function I have fallen in love.
================
Comment at: clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp:72
+ {{"foo"}, true},
+ }), "void foo(); void bar() { foo(); }"));
+
----------------
May it worth to mention the second true/false business stands for the call being called.
================
Comment at: clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp:103
+ {{"foo"}, true},
+ }), "void foo(); struct bar { void foo(); }; void test() { foo(); }"));
+
----------------
So `{{"bar", "foo"}, true}`? I like puzzles, but it would be cool to state out why it is negative as other tests all have negative sub-tests.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62441/new/
https://reviews.llvm.org/D62441
More information about the cfe-commits
mailing list