From 10131ed7f4aa703d1c4b82f77da44fb1f2763ecb Mon Sep 17 00:00:00 2001 From: polgreen Date: Tue, 17 Oct 2017 12:59:12 +0200 Subject: [PATCH 1/2] make debug code compile in value_set.cpp debug code did not compile --- src/pointer-analysis/value_set.cpp | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp index 032ab702f16..2dbd366b7f1 100644 --- a/src/pointer-analysis/value_set.cpp +++ b/src/pointer-analysis/value_set.cpp @@ -121,7 +121,7 @@ void value_sett::output( { #if 0 const symbolt &symbol=ns.lookup(e.identifier); - display_name=symbol.display_name()+e.suffix; + display_name=id2string(symbol.display_name())+e.suffix; identifier=symbol.name; #else identifier=id2string(e.identifier); @@ -878,12 +878,9 @@ void value_sett::get_value_set_rec( #if 0 std::cout << "GET_VALUE_SET_REC RESULT:\n"; - for(object_map_dt::const_iterator - it=dest.read().begin(); - it!=dest.read().end(); - it++) + for(const auto &obj : dest.read()) { - const exprt &e=to_expr(it); + const exprt &e=to_expr(obj); std::cout << " " << from_expr(ns, "", e) << "\n"; } std::cout << "\n"; From 03c86a8af85bc5a1e31ce5e71a3c373cf8369df7 Mon Sep 17 00:00:00 2001 From: polgreen Date: Thu, 23 Nov 2017 15:38:34 +0000 Subject: [PATCH 2/2] change #if0 to #ifdef DEBUG --- src/pointer-analysis/value_set.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp index 2dbd366b7f1..9fca34bd40b 100644 --- a/src/pointer-analysis/value_set.cpp +++ b/src/pointer-analysis/value_set.cpp @@ -876,7 +876,7 @@ void value_sett::get_value_set_rec( #endif } - #if 0 + #ifdef DEBUG std::cout << "GET_VALUE_SET_REC RESULT:\n"; for(const auto &obj : dest.read()) {