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 47f5405 commit 8e44191Copy full SHA for 8e44191
src/goto-programs/remove_function_pointers.cpp
@@ -420,9 +420,8 @@ void remove_function_pointerst::remove_function_pointer(
420
421
// We preserve the original dereferencing to possibly catch
422
// further pointer-related errors.
423
- code_expressiont code_expression;
+ code_expressiont code_expression(function);
424
code_expression.add_source_location()=function.source_location();
425
- code_expression.expression()=function;
426
target->code.swap(code_expression);
427
target->type=OTHER;
428
0 commit comments