Feature #10811
closed
Update CIL to fix issues with line directives
Added by Evgeny Novikov about 3 years ago.
Updated about 3 years ago.
Description
Anton detected that CIL issued invalid line directives sometimes that result in invalid references to sources in CPAchecker. Mikhail already fixed CIL, so, we just need to update and to test it.
- Status changed from New to Resolved
I did it in branch update-cil. Let's wait for CI results.
- Status changed from Resolved to Open
First fix helped, but there is another issue as well, namely, CIL always print a new line before a line directive that can result into invalid references to original source files.
- Status changed from Open to Resolved
Mikhail fixed more issues with line directives, so, I updated CIL in branch update-cil one more time. Let's wait for testing results.
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in f8e8721d7. New CIL makes much better references to original sources, so, you can expect improvements in representation of violation witnesses and code coverage reports.
Also available in: Atom
PDF