Project

General

Profile

Actions

Feature #10898

closed

Try to enable LDV_C_BACKEND_OMIT_TYPE_QUALS by default

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

Status:
Closed
Priority:
High
Category:
Tasks generation
Target version:
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 #1

Updated by Evgeny Novikov 11 months 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

Also available in: Atom PDF