[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