diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Expr/Expr.cpp | 3 | ||||
-rw-r--r-- | lib/Expr/ExprPPrinter.cpp | 11 |
2 files changed, 11 insertions, 3 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index bc871808..d58c9085 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -320,8 +320,7 @@ ref<Expr> Expr::createPointer(uint64_t v) { } void Expr::print(std::ostream &os) const { - const ref<Expr> tmp((Expr*)this); - ExprPPrinter::printOne(os, "", tmp); + ExprPPrinter::printSingleExpr(os, (Expr*)this); } /***/ diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp index 94c0ac17..c27e265e 100644 --- a/lib/Expr/ExprPPrinter.cpp +++ b/lib/Expr/ExprPPrinter.cpp @@ -406,7 +406,6 @@ public: PC << "(Not"; printWidth(PC, e); PC << ' '; - // FIXME: This is a boom if right is a constant. print(ee->right, PC); PC << ')'; return; @@ -484,6 +483,16 @@ void ExprPPrinter::printOne(std::ostream &os, PC.breakLine(); } +void ExprPPrinter::printSingleExpr(std::ostream &os, const ref<Expr> &e) { + PPrinter p(os); + p.scan(e); + + // FIXME: Need to figure out what to do here. Probably print as a + // "forward declaration" with whatever syntax we pick for that. + PrintContext PC(os); + p.print(e, PC); +} + void ExprPPrinter::printConstraints(std::ostream &os, const ConstraintManager &constraints) { printQuery(os, constraints, ConstantExpr::alloc(false, Expr::Bool)); |