No support for complex numbers via the keyword _Complex
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.