[PATCH] D62556: [analyzer] NFC: CallDescription: Implement describing C library functions.
Aleksei Sidorin via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 3 15:00:35 PDT 2019
a_sidorin added a comment.
Hi Artem,
Looks mostly good, but I have some comments inline.
================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1064
// e.g. "{a, b}" represent the qualified names, like "a::b".
std::vector<const char *> QualifiedName;
unsigned RequiredArgs;
----------------
Not for this review, but why do we have a vector of `const char *`, not StringRefs?
================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1066
unsigned RequiredArgs;
+ int Flags;
----------------
Is it a good idea to make Flags a bitfield structure?
================
Comment at: clang/lib/StaticAnalyzer/Core/CallEvent.cpp:379
+
if (!II || II != CD.II)
return false;
----------------
`!II` is never false due to the newly-introduced early return.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62556/new/
https://reviews.llvm.org/D62556
More information about the cfe-commits
mailing list