Skip to content

Spurious function call type difference in goto-diff #2083

Closed
@peterschrammel

Description

@peterschrammel

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

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions