Project

General

Profile

Actions
Copy link

Feature #10897

closed

Allow to supress all type qualifiers in output

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

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
C back-end
Start date:
07/31/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

There are different issues with outputting type qualifiers. For instance, CPAchecker does not support C11 _Atomic (https://bugs.eclipse.org/bugs/show_bug.cgi?id=445297) while its support in Frama-C (CIL) was added just recently (https://forge.ispras.ru/projects/astraver/repository/framac/revisions/61c689f55c02). CIF itself has some bugs in providing const type qualifier (#8375). Though, it would be great to add missed support and fix all issues with type qualifiers, but most likely it will be extremely easier to get rid of them completely. It does not look that this will hurt anybody too much.

Related issues 1 (1 open — 0 closed)

Related to C Instrumentation Framework - Bug #8375: Excessive const qualifier for local array of function pointersNewEvgeny Novikov08/22/2017

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 3 years ago

  • Related to Bug #8375: Excessive const qualifier for local array of function pointers added
Actions
Copy link
 #2

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from New to Closed

I added this capability in baacfe9. Now, if you would like to omit all type qualifiers in resulting C source code, you should set environment variable LDV_C_BACKEND_OMIT_TYPE_QUALS.

Actions
Copy link

Also available in: Atom PDF