Project

General

Profile

Actions

Feature #10811

closed

Update CIL to fix issues with line directives

Added by Evgeny Novikov 9 months ago. Updated 9 months ago.

Status:
Closed
Priority:
Urgent
Category:
Addons
Target version:
Start date:
04/15/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

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.

Actions #1

Updated by Evgeny Novikov 9 months ago

  • Status changed from New to Resolved

I did it in branch update-cil. Let's wait for CI results.

Actions #2

Updated by Evgeny Novikov 9 months ago

  • 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.

Actions #3

Updated by Evgeny Novikov 9 months ago

  • 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.

Actions #4

Updated by Evgeny Novikov 9 months ago

  • 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.

Actions

Also available in: Atom PDF