[clang] [LifetimeSafety] Implement multi-level origins (PR #168344)

Yitzhak Mandelbaum via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 15 06:11:43 PST 2025


================
@@ -186,13 +286,32 @@ void FactsGenerator::VisitConditionalOperator(const ConditionalOperator *CO) {
 void FactsGenerator::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *OCE) {
   // Assignment operators have special "kill-then-propagate" semantics
----------------
ymand wrote:

We should document somewhere that we assume assignment semantics of all user-defined assignment operators.

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


More information about the cfe-commits mailing list