[PATCH] D75678: [analyzer] Skip analysis of inherited ctor as top-level function

Thu Mar 5 06:01:57 PST 2020

NoQ added a comment.

Thanks!! I also recommend a more direct test with `-analyzer-display-progress | FileCheck`.

================
Comment at: clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:507-508

+  // Skip analysis of inherited constructors as top-level functions because we
+  // cannot model the parameters.
+  //
----------------
That's probably the last reason why we should skip them :) I think we should focus on how these constructors don't even have a body written down in the code, so even if we find a bug, we won't be able to display it. We might as well find the bug in the inherited constructors (also /~~inherited~~/inheriting/ in your comment).

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75678