[clang] [Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConjured (PR #128251)
via cfe-commits
cfe-commits at lists.llvm.org
Sat Feb 22 02:57:38 PST 2025
================
@@ -111,8 +111,13 @@ 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()) + "'";
+ std::string Str;
+ llvm::raw_string_ostream OS(Str);
+ OS << "symbol of type '" + S->getType().getAsString() +
+ "' conjured at statement '";
+ S->getCFGElementRef()->dumpToStream(OS);
----------------
isuckatcs wrote:
I don't know about any. You could create a similar helper to `printStmt()` in this class though.
https://github.com/llvm/llvm-project/pull/128251
More information about the cfe-commits
mailing list