================
@@ -126,6 +126,16 @@ class SValExplainer : public 
FullSValVisitor<SValExplainer, std::string> {
            printCFGElementRef(S->getCFGElementRef()) + "'";
   }
 
+  std::string
+  VisitSymbolInvalidationArtifact(const SymbolInvalidationArtifact *S) {
----------------
Xazax-hun wrote:

Bikeshedding: I wonder where the InvalidationArtifact name comes from. If we 
follow the naming convention of `ConjuredSymbol`, I wonder if this should 
simply be `InvalidatedSymbol` or `SymbolAfterInvalidation`. 

https://github.com/llvm/llvm-project/pull/207155
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to