GitLab

Steps to reproduce the issue

Expected behaviour

Frama-c does not support complex numbers via the keyword _Complex for C code. See here: https://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Complex.html

Actual behaviour

When running this code:

float _Complex f;
int  main () { }

Frama-c returns an error:

[kernel] Parsing test12.c (with preprocessing) [kernel] test12.c:1:
   syntax error:
   Location: line 1, between columns 6 and 15, before or at token: f
   1     float _Complex f;
         ^^^^^^^^^^^^^^^^^
   2     int main () { }
[kernel] Frama-C aborted: invalid user input.

Contextual information

• Frama-C installation mode: Opam
• Frama-C version: Frama-C version (as reported by frama-c -version) 22.0 (Titanium)
• Plug-in used: -eva
• OS name: Ubuntu
• OS version: 18

Additional information (optional)

We use Frama-c to automatically analyse code from llvm and gcc test-suites; some of the programs triggered this error message. I reduced the code but I can add the link to the original one.