[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