[clang] [analyzer] Make it a noop when initializing a field of empty record (PR #138594)

[Ziqing Luo via cfe-commits]

================
@@ -715,7 +716,11 @@ void ExprEngine::handleConstructor(const Expr *E,
         // actually make things worse. Placement new makes this tricky as well,
         // since it's then possible to be initializing one part of a multi-
         // dimensional array.
-        State = State->bindDefaultZero(Target, LCtx);
+        const CXXRecordDecl *TargetHeldRecord =
+            cast<CXXRecordDecl>(CE->getType()->getAsRecordDecl());
----------------
ziqingluo-90 wrote:

Thanks for the heads up.  I re-landed the commit: 
https://github.com/llvm/llvm-project/commit/b756c82bfacb2822cd516c32ae3c406e71448c0a

https://github.com/llvm/llvm-project/pull/138594
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits