C doesn't support TRUE and FALSE, so this change should make it compilable.

mmuesly · mmuesly · commit 66d83c9012c8 · 2018-07-31T12:59:04.000-04:00
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1998,9 +1998,9 @@ std::string expr2ct::convert_constant_bool(bool boolean_value)
 {
   // C doesn't really have these
   if(boolean_value)
-    return "TRUE";
+    return "1";
   else
-    return "FALSE";
+    return "0";
 }
 
 std::string expr2ct::convert_struct(

Original file line number	Diff line number	Diff line change
`@@ -1998,9 +1998,9 @@ std::string expr2ct::convert_constant_bool(bool boolean_value)`
`1998`	`1998`	`{`
`1999`	`1999`	`// C doesn't really have these`
`2000`	`2000`	`if(boolean_value)`
`2001`		`- return "TRUE";`
	`2001`	`+ return "1";`
`2002`	`2002`	`else`
`2003`		`- return "FALSE";`
	`2003`	`+ return "0";`
`2004`	`2004`	`}`
`2005`	`2005`
`2006`	`2006`	`std::string expr2ct::convert_struct(`