[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