unsigned is sufficient here

kroening · kroening · commit 45d7b9b26329 · 2016-11-07T22:54:11.000Z
diff --git a/src/ansi-c/string_constant.cpp b/src/ansi-c/string_constant.cpp
@@ -148,8 +148,8 @@ bool string_constantt::from_array_expr(const array_exprt &src)
   {
     mp_integer int_value=0;
     if(to_integer(*it, int_value)) return true;
-    unsigned long unsigned_long_value=integer2ulong(int_value);
-    value+=(char)unsigned_long_value;
+    unsigned unsigned_value=integer2unsigned(int_value);
+    value+=(char)unsigned_value;
   }
   
   // Drop the implicit zero at the end.

Original file line number	Diff line number	Diff line change
`@@ -148,8 +148,8 @@ bool string_constantt::from_array_expr(const array_exprt &src)`
`148`	`148`	`{`
`149`	`149`	`mp_integer int_value=0;`
`150`	`150`	`if(to_integer(*it, int_value)) return true;`
`151`		`- unsigned long unsigned_long_value=integer2ulong(int_value);`
`152`		`- value+=(char)unsigned_long_value;`
	`151`	`+ unsigned unsigned_value=integer2unsigned(int_value);`
	`152`	`+ value+=(char)unsigned_value;`
`153`	`153`	`}`
`154`	`154`
`155`	`155`	`// Drop the implicit zero at the end.`