Project

General

Profile

Actions
Copy link

Bug #9653

closed

Frama-C (CIL) incorrectly outputs wide character literals

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

Status:
Closed
Priority:
High
Assignee:
Mikhail Mandrykin
Start date:
05/16/2019
Due date:
% Done:

0%

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

Description

For instance, for such the examples:

typedef short unsigned int wchar_t;
wchar_t *abc, *empty;
abc = L"ABC";
empty = L"";

it outputs something like
typedef short unsigned int wchar_t;
wchar_t *abc, *empty;
abc = L"A" "B" "C";
empty = L;

(if the former is acceptable, the latter is an obvious bug).

I did not investigate if the issue exists with different options, but at least it exists for "-machdep gcc_x86_64 -c11 -short-wchar" (other options are not likely relevant).

Actions
Copy link

Also available in: Atom PDF