Include id2ast pointers when dumping AST

diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index d9ad6d8ef7e6b5a84b56117f1580ea4faa00e534..f2f2d0e69fe466e146ead3986fc1d5bf5ca20866 100644 (file)
--- a/frontends/ast/ast.cc
+++ b/frontends/ast/ast.cc
@@ -244,6 +244,12 @@ void AstNode::dumpAst(FILE *f, std::string indent)
 
        std::string type_name = type2str(type);
        fprintf(f, "%s%s <%s:%d>", indent.c_str(), type_name.c_str(), filename.c_str(), linenum);
+
+       if (id2ast)
+               fprintf(f, " [%p -> %p]", this, id2ast);
+       else
+               fprintf(f, " [%p]", this);
+
        if (!str.empty())
                fprintf(f, " str='%s'", str.c_str());
        if (!bits.empty()) {