================
@@ -398,8 +405,20 @@ void FactsGenerator::VisitCXXOperatorCallExpr(const
CXXOperatorCallExpr *OCE) {
// and are handled separately.
if (OCE->getOperator() == OO_Equal && OCE->getNumArgs() == 2 &&
hasOrigins(OCE->getArg(0)->getType())) {
- handleAssignment(OCE->getArg(0), OCE->getArg(1));
- return;
+ // Pointer-like types: assignment inherently propagates origins.
+ QualType LHSTy = OCE->getArg(0)->getType();
+ if (LHSTy->isPointerOrReferenceType() || isGslPointerType(LHSTy)) {
+ handleAssignment(OCE->getArg(0), OCE->getArg(1));
+ return;
+ }
+ // Other tracked types: only defaulted operator= propagates origins.
+ // User-defined operator= has opaque semantics, so don't handle them now.
+ if (const auto *MD =
+ dyn_cast_or_null<CXXMethodDecl>(OCE->getDirectCallee());
+ MD && MD->isDefaulted()) {
----------------
Xazax-hun wrote:
Similar question about implicit methods like above.
https://github.com/llvm/llvm-project/pull/187917
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
