Project

General

Profile

Actions
Copy link

Feature #10811

closed

Update CIL to fix issues with line directives

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
3.2
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
Copy link
 #1

Updated by Evgeny Novikov about 3 years ago

  • Status changed from New to Resolved

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

Actions
Copy link
 #2

Updated by Evgeny Novikov about 3 years 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
Copy link
 #3

Updated by Evgeny Novikov about 3 years 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
Copy link
 #4

Updated by Evgeny Novikov about 3 years 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
Copy link

Also available in: Atom PDF