[PATCH] D74735: [analyzer] Add support for CXXInheritedCtorInitExpr.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D74735#1906764 <https://reviews.llvm.org/D74735#1906764>, @rsmith wrote:

> Just in case this isn't clear: the reason why `CXXInheritedCtorInitExpr` doesn't take arguments and doesn't model parameter initialization is because there is none: the arguments in the outer `CXXConstructExpr` directly initialize the parameters of the base class constructor, and no copies are made. (Making a copy of the parameter is incorrect, at least if it's done in an observable way.) The derived class constructor doesn't even exist in the formal model.


Damn, that's interesting! I wonder if the rest of our code will find it less surprising if we omit this whole stack frame entirely.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74735