[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