Debugging

Author: tautschnig

src/ansi-c/c_typecheck_expr.cpp

@@ -3968,6 +3968,7 @@ void c_typecheck_baset::make_constant(exprt &expr)
     error().source_location=expr.find_source_location();
     error() << "expected constant expression, but got '" << to_string(expr)
             << "'" << eom;
+    error() << expr.pretty() << eom;
     throw 0;
   }
 }