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