fx sentinel_dll

kroening · kroening · commit 08f5250e42b1 · 2022-09-04T22:15:40.000+01:00
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
@@ -2378,7 +2378,7 @@ exprt c_typecheck_baset::do_special_functions(
     {
       if(
         argument.type().id() != ID_pointer ||
-        to_pointer_type(argument.type()).subtype().id() != ID_struct_tag)
+        to_pointer_type(argument.type()).base_type().id() != ID_struct_tag)
       {
         error().source_location = expr.arguments()[0].source_location();
         error() << "is_sentinel_dll_node expects struct-pointer operands"

Original file line number	Diff line number	Diff line change
`@@ -2378,7 +2378,7 @@ exprt c_typecheck_baset::do_special_functions(`
`2378`	`2378`	`{`
`2379`	`2379`	`if(`
`2380`	`2380`	`argument.type().id() != ID_pointer \|\|`
`2381`		`- to_pointer_type(argument.type()).subtype().id() != ID_struct_tag)`
	`2381`	`+ to_pointer_type(argument.type()).base_type().id() != ID_struct_tag)`
`2382`	`2382`	`{`
`2383`	`2383`	`error().source_location = expr.arguments()[0].source_location();`
`2384`	`2384`	`error() << "is_sentinel_dll_node expects struct-pointer operands"`