Skip to content

Commit b6a9136

Browse files
authored
Merge pull request #4010 from tautschnig/function-pointers-c_bool
Function pointers: also support c_bool (_Bool) in loose matching
2 parents 48bce92 + fef6689 commit b6a9136

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

src/goto-programs/remove_function_pointers.cpp

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -131,15 +131,15 @@ bool remove_function_pointerst::arg_is_type_compatible(
131131
return true;
132132

133133
// any integer-vs-enum-vs-pointer is ok
134-
if(call_type.id()==ID_signedbv ||
135-
call_type.id()==ID_unsigned ||
136-
call_type.id()==ID_bool ||
137-
call_type.id()==ID_pointer ||
138-
call_type.id()==ID_c_enum ||
139-
call_type.id()==ID_c_enum_tag)
134+
if(
135+
call_type.id() == ID_signedbv || call_type.id() == ID_unsigned ||
136+
call_type.id() == ID_bool || call_type.id() == ID_c_bool ||
137+
call_type.id() == ID_c_enum_tag || call_type.id() == ID_c_enum ||
138+
call_type.id() == ID_pointer)
140139
{
141140
return function_type.id() == ID_signedbv ||
142141
function_type.id() == ID_unsigned || function_type.id() == ID_bool ||
142+
function_type.id() == ID_c_bool ||
143143
function_type.id() == ID_pointer ||
144144
function_type.id() == ID_c_enum ||
145145
function_type.id() == ID_c_enum_tag;

0 commit comments

Comments
 (0)