Project

General

Profile

Bug #6775

Well known CIL issues

Added by Evgeny Novikov over 3 years ago. Updated 2 months ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Addons
Target version:
-
Start date:
02/03/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

CIL is used in both LDV Tools and in Core and we have to track its issues. In particular there are several ones well known from LDV Tools (too much useless labour to move them to Klever):
  1. #5387.
  2. #5012.
  3. #4798.
  4. #1334.
  5. #1333.
  6. #1323.

I am not sure that updating CIL (#6629) will help us but who knows.


Related issues

Blocked by Klever - Bug #6629: Used CIL is outdatedClosed03/13/2019

Actions

History

#1

Updated by Evgeny Novikov over 3 years ago

  • Description updated (diff)
#2

Updated by Evgeny Novikov 4 months ago

  • Status changed from New to Rejected

After switching to Frama-C (CIL) I did not see any of these bugs.

#3

Updated by Evgeny Novikov 2 months ago

  • Priority changed from Normal to Urgent

Perhaps the normal priority automatically changed the priority of the blocking issue.

Also available in: Atom PDF