Closed
Description
Some function calls have ID_parameters
, others don't.
This is observed in failing instruction->code comparisons at:
https://github.com/diffblue/cbmc/blob/develop/src/goto-diff/unified_diff.cpp#L396
https://github.com/diffblue/cbmc/blob/develop/src/goto-diff/syntactic_diff.cpp#L98
The difference is not visible in --show-goto-functions output. It requires dumping ireps.
A temporary fix has been added here: 0b3170d
So far, it seems that only clinit wrappers are affected.
Metadata
Metadata
Assignees
Labels
No labels