[clang] [CIR] Handle non-zero-initializable types in emitNullInitialization (PR #201654)

via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 9 09:48:44 PDT 2026


================
@@ -1302,10 +1302,19 @@ void CIRGenFunction::emitNullInitialization(mlir::Location loc, Address destPtr,
 
   // If the type contains a pointer to data member we can't memset it to zero.
   // Instead, create a null constant and copy it to the destination.
-  // TODO: there are other patterns besides zero that we can usefully memset,
-  // like -1, which happens to be the pattern used by member-pointers.
+  // Member pointers use -1 as the null value, so a plain zero store would be
+  // incorrect; emitNullConstant produces the right per-field pattern.
   if (!cgm.getTypes().isZeroInitializable(ty)) {
-    cgm.errorNYI(loc, "type is not zero initializable");
+    // emitNullConstant does not yet handle types with virtual bases.
----------------
adams381 wrote:

Added a comment noting that CIR's getTypeSizeInChars returns 0 for VLAs, so they hit the errorNYI in the size.isZero() block above rather than reaching the emitNonZeroVLAInit path classic codegen uses here.

https://github.com/llvm/llvm-project/pull/201654


More information about the cfe-commits mailing list