================ @@ -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 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
