[clang] [Clang] Initialize bypassed variables w/ trivial-auto-var-init (PR #181937)

Eli Friedman via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 7 14:34:41 PDT 2026


================
@@ -1544,8 +1544,12 @@ void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn,
       ShouldEmitLifetimeMarkers = true;
 
     // Initialize helper which will detect jumps which can cause invalid
-    // lifetime markers.
-    if (ShouldEmitLifetimeMarkers)
+    // lifetime markers or bypass trivial auto var init.
+    bool NeedsBypassDetection =
+        ShouldEmitLifetimeMarkers ||
+        (CGM.getLangOpts().getTrivialAutoVarInit() !=
+         LangOptions::TrivialAutoVarInitKind::Uninitialized);
+    if (NeedsBypassDetection)
       Bypasses.Init(CGM, Body);
----------------
efriedma-quic wrote:

That's within noise... but I don't think that's exercising the relevant codepaths; I don't think any of the tests it runs use ftrivial-auto-var-init (or a recent C++ standard which would implicitly enable it).

I think I'd just like the see the impact of forcing on NeedsBypassDetection.

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


More information about the cfe-commits mailing list