Project

General

Profile

Actions
Copy link

Bug #10020

open

global names conflict

Added by Denis Efremov over 4 years ago.

Status:
New
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
12/30/2019
Due date:
% Done:

0%

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

Description

OK:

$ frama-c -av -cpp-extra-args " -CC -E -D SPEC " ctype.h
$ frama-c -av -cpp-extra-args " -CC -E -D SPEC " ctype.c
$ frama-c -av -cpp-extra-args " -CC -E -D SPEC " ctype.h ctype.c

FAIL:

$ frama-c -av -cpp-extra-args " -CC -E -D SPEC " ctype.c ctype.h
[kernel] Parsing ctype.c (with preprocessing)
[kernel] Parsing ctype.h (with preprocessing)
[kernel] ctype.h:126:3: Failure: 
  Literal proxy variable introduction failed: ctype_tbl
[kernel] User Error: skipping file ctype.h that has errors.
[kernel] Frama-C aborted: invalid user input.

Files

Download all files
ctype.h (4.29 KB) ctype.h Denis Efremov, 12/30/2019 06:00 PM
ctype.c (3.69 KB) ctype.c Denis Efremov, 12/30/2019 06:00 PM

No data to display

Actions
Copy link

Also available in: Atom PDF