format(null-pointer expression) should print NULL or 0

tautschnig · tautschnig · commit 4a019f64e8e8 · 2018-05-16T21:41:35.000Z
diff --git a/src/util/format_expr.cpp b/src/util/format_expr.cpp
@@ -134,6 +134,8 @@ static std::ostream &format_rec(
     return os << src.get_value();
   else if(type == ID_floatbv)
     return os << ieee_floatt(src);
+  else if(type == ID_pointer && (src.is_zero() || src.get_value() == ID_NULL))
+    return os << src.get_value();
   else
     return os << src.pretty();
 }

Original file line number	Diff line number	Diff line change
`@@ -134,6 +134,8 @@ static std::ostream &format_rec(`
`134`	`134`	`return os << src.get_value();`
`135`	`135`	`else if(type == ID_floatbv)`
`136`	`136`	`return os << ieee_floatt(src);`
	`137`	`+ else if(type == ID_pointer && (src.is_zero() \|\| src.get_value() == ID_NULL))`
	`138`	`+ return os << src.get_value();`
`137`	`139`	`else`
`138`	`140`	`return os << src.pretty();`
`139`	`141`	`}`