[temp] add temporary source print

UnitTestBot · Oct 12, 2023 · b72483b · b72483b
1 parent bb3ae72
commit b72483b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp
@@ -389,6 +389,8 @@ class PPrinter : public ExprPPrinter {
       s->constantValues.print(PC.getStream(), Density::Sparse);
     } else if (auto s = dyn_cast<SymbolicSizeConstantAddressSource>(source)) {
       PC << "UNIMPLEMENTED";
+    } else if (auto s = dyn_cast<UninitializedSource>(source)) {
+      PC << "UNIMPLEMENTED";
     } else if (auto s = dyn_cast<MakeSymbolicSource>(source)) {
       PC << s->name << " " << s->version;
     } else if (auto s = dyn_cast<LazyInitializationSource>(source)) {