goto-harness: remove use of namespacet::follow

tautschnig · tautschnig · commit 8761824c9a1e · 2024-02-27T09:30:51.000Z
A pointer-typed expression cannot be of a tagged type, there is no need
for follow/follow_tag here.
diff --git a/src/goto-harness/function_call_harness_generator.cpp b/src/goto-harness/function_call_harness_generator.cpp
@@ -390,8 +390,7 @@ void function_call_harness_generatort::validate_options(
         "--" COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT};
     }
 
-    const auto &function_pointer_type =
-      ns.follow(function_pointer_symbol_pointer->type);
+    const auto &function_pointer_type = function_pointer_symbol_pointer->type;
 
     if(!can_cast_type<pointer_typet>(function_pointer_type))
     {

Original file line number	Diff line number	Diff line change
`@@ -390,8 +390,7 @@ void function_call_harness_generatort::validate_options(`
`390`	`390`	`"--" COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT};`
`391`	`391`	`}`
`392`	`392`
`393`		`- const auto &function_pointer_type =`
`394`		`- ns.follow(function_pointer_symbol_pointer->type);`
	`393`	`+ const auto &function_pointer_type = function_pointer_symbol_pointer->type;`
`395`	`394`
`396`	`395`	`if(!can_cast_type<pointer_typet>(function_pointer_type))`
`397`	`396`	`{`