================
@@ -106,6 +120,63 @@ class LifetimeChecker {
/*ConfidenceLevel=*/CurConfidence};
}
+ void checkEscape(const OriginEscapesFact *OEF,
----------------
usx95 wrote:
I think if we correctly use the liveness information, `checkExpiry` can deal
with `use-after-return` as well.
`Liveness` can tell the if origin is live because of an `OriginEscape`, we can
mark the loan with a use-after-return violation.
https://github.com/llvm/llvm-project/pull/165370
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
