Merge pull request #410 from vladrich/patch-1

Daniel Kroening · web-flow · commit 01c44b091fa3 · 2017-01-09T06:13:18.000Z
Wrong definition of __uint128_t
diff --git a/src/ansi-c/ansi_c_internal_additions.cpp b/src/ansi-c/ansi_c_internal_additions.cpp
@@ -281,7 +281,7 @@ void ansi_c_internal_additions(std::string &code)
     if(config.ansi_c.long_int_width>=64)
     {
       code+="typedef signed __int128 __int128_t;\n"
-            "typedef signed __int128 __uint128_t;\n";
+            "typedef unsigned __int128 __uint128_t;\n";
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -281,7 +281,7 @@ void ansi_c_internal_additions(std::string &code)`
`281`	`281`	`if(config.ansi_c.long_int_width>=64)`
`282`	`282`	`{`
`283`	`283`	`code+="typedef signed __int128 __int128_t;\n"`
`284`		`- "typedef signed __int128 __uint128_t;\n";`
	`284`	`+ "typedef unsigned __int128 __uint128_t;\n";`
`285`	`285`	`}`
`286`	`286`	`}`
`287`	`287`