Explicit casts to avoid conversion warnings: irept::set takes a signed long long

tautschnig · tautschnig · commit f5b81248734e · 2025-02-07T11:59:45.000Z
Visual Studio warns about signed/unsigned conversion and limited range of types.
diff --git a/src/cpp/cpp_convert_type.cpp b/src/cpp/cpp_convert_type.cpp
@@ -335,7 +335,7 @@ void cpp_convert_plain_type(typet &type, message_handlert &message_handler)
   }
   else if(type.id() == ID_c_bool)
   {
-    type.set(ID_width, config.ansi_c.bool_width);
+    type.set(ID_width, static_cast<long long>(config.ansi_c.bool_width));
   }
   else
   {

Original file line number	Diff line number	Diff line change
`@@ -335,7 +335,7 @@ void cpp_convert_plain_type(typet &type, message_handlert &message_handler)`
`335`	`335`	`}`
`336`	`336`	`else if(type.id() == ID_c_bool)`
`337`	`337`	`{`
`338`		`- type.set(ID_width, config.ansi_c.bool_width);`
	`338`	`+ type.set(ID_width, static_cast<long long>(config.ansi_c.bool_width));`
`339`	`339`	`}`
`340`	`340`	`else`
`341`	`341`	`{`