Project

General

Profile

Actions
Copy link

Feature #10898

closed

Try to enable LDV_C_BACKEND_OMIT_TYPE_QUALS by default

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

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Tasks generation
Target version:
3.3
Start date:
07/31/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Recently CIF supported an ability to get rid of type qualifiers in its output. I already switched on the corresponding option in branch cif-omit-type-qual. We need to investigate an impact of enabling such the behavior by default in Klever.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

I had to change several error trace patterns of preset marks, since they included "const" and "volatile" and matching failed. Moreover, CPAchecker SMG started to fail to calculate string lengths, so, one dedicated test case did not pass. I hope that Anton will figure out the reason of this and fix it soon.

I merged the branch to master in d6ff1c59c.

Actions
Copy link

Also available in: Atom PDF