Skip to content
Snippets Groups Projects
Commit 74dc911b authored by Andre Maroneze's avatar Andre Maroneze
Browse files

add test case for unsupported C11 keywords

parent 4b8df3ea
No related branches found
No related tags found
No related merge requests found
/* run.config
EXIT: 1
STDOPT: #"-cpp-extra-args=-DALIGNAS"
STDOPT: #"-cpp-extra-args=-DALIGNOF"
STDOPT: #"-cpp-extra-args=-DCOMPLEX"
STDOPT: #"-cpp-extra-args=-DGENERIC"
STDOPT: #"-cpp-extra-args=-DIMAGINARY"
*/
#ifdef ALIGNAS
struct st_alignas {
_Alignas(32) char buf[4];
};
#endif
int main(void) {
#ifdef ALIGNOF
int alignd = _Alignof(double);
#endif
#ifdef COMPLEX
double _Complex c = 1;
#endif
#ifdef GENERIC
int generic = _Generic('0', char: 1, int: 2, default: 0);
#endif
#ifdef IMAGINARY
//Note: GCC/Clang do not yet support _Imaginary
double _Imaginary im = 0;
#endif
return 0;
}
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:12: Failure:
_Alignas is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:18: Failure:
_Alignof is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:22: Failure:
_Complex is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:26: Failure:
_Generic is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
[kernel] Parsing tests/syntax/c11-keywords.c (with preprocessing)
[kernel] tests/syntax/c11-keywords.c:31: Failure:
_Imaginary is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "tests/syntax/c11-keywords.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment