[llvm-branch-commits] [clang] [clang] Introduce scopes for arguments without destructors (PR #191019)

[Nick Desaulniers via llvm-branch-commits]

================
@@ -6872,6 +6893,15 @@ RValue CodeGenFunction::EmitCall(QualType CalleeType,
   assert(CalleeType->isFunctionPointerType() &&
          "Call must have function pointer type!");
 
+  // For calls with trivial aggregate arguments, we want to tighten the
+  // lifetime of those aggregates to end immediately after the call returns,
+  // rather than at the end of the full-expression. We create a nested cleanup
+  // scope to intercept these lifetime markers. However, we only do this if the
+  // call is "safe".
----------------
nickdesaulniers wrote:

What is a trivial argument?

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