[clang] [clang][ThreadSafety] Fix a crash on a capability expression calling a pointer to member (PR #231995)
Aaron Puchert via cfe-commits
cfe-commits at lists.llvm.org
Sun Oct 25 13:30:25 PDT 2026
================
@@ -560,6 +560,9 @@ til::SExpr *SExprBuilder::translateCallExpr(const CallExpr *CE,
}
til::SExpr *E = translate(CE->getCallee(), Ctx);
+ // Explicitly propagate Undefined, when the callee couldn't be analyzed.
+ if (isa<til::Undefined>(E))
+ return E;
----------------
aaronpuchert wrote:
Are we doing this only because there is currently a gap in translation, or is it something fundamental? In the former case the comment should mention that, so that future readers will know that this is just a workaround.
https://github.com/llvm/llvm-project/pull/231995
More information about the cfe-commits
mailing list