Adding assertions to prevent the "data" field from not being set

romainbrenguier · romainbrenguier · commit b0b8bbccc281 · 2017-06-09T13:11:16.000+01:00
diff --git a/src/util/json_expr.cpp b/src/util/json_expr.cpp
@@ -293,6 +293,8 @@ json_objectt json(
       mp_integer i;
       if(!to_integer(expr, i))
         result["data"]=json_stringt(integer2string(i));
+      else
+        assert(false && "could not convert data to integer");
     }
     else if(type.id()==ID_c_enum)
     {
@@ -304,6 +306,8 @@ json_objectt json(
       mp_integer i;
       if(!to_integer(expr, i))
         result["data"]=json_stringt(integer2string(i));
+      else
+        assert(false && "could not convert data to integer");
     }
     else if(type.id()==ID_c_enum_tag)
     {

Original file line number	Diff line number	Diff line change
`@@ -293,6 +293,8 @@ json_objectt json(`
`293`	`293`	`mp_integer i;`
`294`	`294`	`if(!to_integer(expr, i))`
`295`	`295`	`result["data"]=json_stringt(integer2string(i));`
	`296`	`+ else`
	`297`	`+ assert(false && "could not convert data to integer");`
`296`	`298`	`}`
`297`	`299`	`else if(type.id()==ID_c_enum)`
`298`	`300`	`{`
`@@ -304,6 +306,8 @@ json_objectt json(`
`304`	`306`	`mp_integer i;`
`305`	`307`	`if(!to_integer(expr, i))`
`306`	`308`	`result["data"]=json_stringt(integer2string(i));`
	`309`	`+ else`
	`310`	`+ assert(false && "could not convert data to integer");`
`307`	`311`	`}`
`308`	`312`	`else if(type.id()==ID_c_enum_tag)`
`309`	`313`	`{`