expr2c: Output the declarator with __int128-typed objects

tautschnig · Daniel Kroening · commit 16ca5b98f044 · 2019-02-03T16:10:11.000Z
Unlike all the other cases, this one was missing the declarator.
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -312,7 +312,7 @@ std::string expr2ct::convert_rec(
     {
       if(is_signed)
         sign_str="";
-      return q+sign_str+"__int128";
+      return q + sign_str + "__int128" + d;
     }
     else
     {

Original file line number	Diff line number	Diff line change
`@@ -312,7 +312,7 @@ std::string expr2ct::convert_rec(`
`312`	`312`	`{`
`313`	`313`	`if(is_signed)`
`314`	`314`	`sign_str="";`
`315`		`- return q+sign_str+"__int128";`
	`315`	`+ return q + sign_str + "__int128" + d;`
`316`	`316`	`}`
`317`	`317`	`else`
`318`	`318`	`{`