[PATCH] D61817: [analyzer] Add a prunable note for skipping virtual base initializers in subclasses.

Csaba Dabis via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue May 14 13:11:43 PDT 2019


Charusso accepted this revision.
Charusso added a comment.
This revision is now accepted and ready to land.

What about "the most derived class" or "a superclass" instead of "the superclass"? (https://en.cppreference.com/w/cpp/language/derived_class) 
May the sentence is a little bit too long. It would be cool to say "by `A`" or something more simple and precise.



================
Comment at: clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:223
+    // But only if we're actually skipping the virtual constructors.
+    if (L.getDst() == *L.getSrc()->succ_begin()) {
+      ProgramPoint P = L.withTag(getNoteTags().makeNoteTag(
----------------
I think it is better to reduce the number of `if`s and merge the related comment as it emphasizes there is //only one thing// happen.


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

https://reviews.llvm.org/D61817





More information about the cfe-commits mailing list