================
@@ -712,6 +712,12 @@ void FactsGenerator::handleFunctionCall(const Expr *Call,
             CallList->getOuterOriginID(), ArgList->getOuterOriginID(),
             KillSrc));
         KillSrc = false;
+      } else if (IsArgLifetimeBound(I)) {
+        // A lifetimebound argument may affect the result at every origin 
level,
+        // so we propagate the whole OriginList instead of only the outermost
+        // origin.
+        flow(CallList, ArgList, KillSrc);
----------------
NeKon69 wrote:

BTW, I tried finding a test case where my code would crash, but I couldn’t find 
one. Could you please expand your example?

https://github.com/llvm/llvm-project/pull/189907
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to