File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -75,22 +75,22 @@ exprt value_set_dereferencet::dereference(
7575 // type of the object
7676 const typet &type=pointer.type ().subtype ();
7777
78- #if 0
78+ #if 0
7979 std::cout << "DEREF: " << format(pointer) << '\n';
80- #endif
80+ #endif
8181
8282 // collect objects the pointer may point to
8383 value_setst::valuest points_to_set;
8484
8585 dereference_callback.get_value_set (pointer, points_to_set);
8686
87- #if 0
87+ #if 0
8888 for(value_setst::valuest::const_iterator
8989 it=points_to_set.begin();
9090 it!=points_to_set.end();
9191 it++)
9292 std::cout << "P: " << format(*it) << '\n';
93- #endif
93+ #endif
9494
9595 // get the values of these
9696
@@ -103,13 +103,13 @@ exprt value_set_dereferencet::dereference(
103103 {
104104 valuet value = build_reference_to (*it, pointer);
105105
106- #if 0
106+ #if 0
107107 std::cout << "V: " << format(value.pointer_guard) << " --> ";
108108 std::cout << format(value.value);
109109 if(value.ignore)
110110 std::cout << " (ignored)";
111111 std::cout << '\n';
112- #endif
112+ #endif
113113
114114 if (!value.ignore )
115115 values.push_back (value);
You can’t perform that action at this time.
0 commit comments