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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
