We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c26fffa commit 1921cffCopy full SHA for 1921cff
src/goto-symex/shadow_memory.cpp
@@ -112,8 +112,7 @@ shadow_memory_field_definitionst shadow_memoryt::gather_field_declarations(
112
if(!target->is_function_call())
113
continue;
114
115
- const auto &code_function_call =
116
- to_code_function_call(target->get_code());
+ const auto &code_function_call = to_code_function_call(target->code());
117
const exprt &function = code_function_call.function();
118
119
if(function.id() != ID_symbol)
0 commit comments