Merge pull request #8220 from tautschnig/cleanup/no-follow-goto-harness

tautschnig · web-flow · commit 3dd7ff01109d · 2024-05-06T10:47:09.000+02:00
goto-harness: remove use of namespacet::follow
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`	`{`