[clang] [Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConjured (PR #128251)

Fangyi Zhou via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 23 09:21:12 PDT 2025


================
@@ -114,7 +128,8 @@ class SValExplainer : public FullSValVisitor<SValExplainer, std::string> {
 
   std::string VisitSymbolConjured(const SymbolConjured *S) {
     return "symbol of type '" + S->getType().getAsString() +
-           "' conjured at statement '" + printStmt(S->getStmt()) + "'";
+           "' conjured at statement '" +
----------------
fangyi-zhou wrote:

My intention was to keep this is as for now to avoid making visible changes (i.e. the emitted diagnostics). If it's desirable to change this to a CFG Element, I can make the required change (although that would include changing some test cases)

https://github.com/llvm/llvm-project/pull/128251


More information about the cfe-commits mailing list