[PATCH] D62441: [analyzer] NFC: Introduce a convenient CallDescriptionMap class.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 1 13:57:03 PDT 2019
NoQ added inline comments.
================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1060
+public:
+ const static unsigned NoArgRequirement = std::numeric_limits<unsigned>::max();
+
----------------
Charusso wrote:
> What about `Optional<>`? When I first met that function I have fallen in love.
I didn't really touch this code, just moved it around, but it's definitely a valid point.
================
Comment at: clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp:103
+ {{"foo"}, true},
+ }), "void foo(); struct bar { void foo(); }; void test() { foo(); }"));
+
----------------
Charusso wrote:
> 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.
`{{"bar", "foo"}, false}`!
Nice catch tho, typo.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62441/new/
https://reviews.llvm.org/D62441
More information about the cfe-commits
mailing list