================
@@ -263,6 +263,23 @@ bool SVal::isZeroConstant() const {
// Pretty-Printing.
//===----------------------------------------------------------------------===//
+StringRef SVal::getKindStr() const {
+ switch (getKind()) {
+#define BASIC_SVAL(Id, Parent)
\
+ case Id##Kind:
\
+ return #Id;
+#define LOC_SVAL(Id, Parent)
\
+ case Loc##Id##Kind:
\
+ return #Id;
+#define NONLOC_SVAL(Id, Parent)
\
+ case NonLoc##Id##Kind:
\
+ return #Id;
+#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.def"
+#undef REGION
+ }
+ llvm_unreachable("Unkown kind!");
+}
----------------
NagyDonat wrote:
Do I understand it correctly that this is just debug helper code? (That's fine,
it's good to have some useful debug tools, no action expected.)
https://github.com/llvm/llvm-project/pull/108373
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
