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

[tests] add test case for empty union with initializer

parent 7d2a05a2
No related branches found
No related tags found
No related merge requests found
/* run.config*
STDOPT: +"-machdep gcc_x86_32"
EXIT: 1
STDOPT:
*/
// based on GCC's 'torture' test suite
union empty {} eu = {};
[kernel] Parsing empty_union.i (no preprocessing)
/* Generated by Frama-C */
union empty {
};
union empty eu = ;
[kernel] Parsing empty_union.i (no preprocessing)
[kernel] empty_union.i:8: User Error:
empty unions only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
[kernel] empty_union.i:8: User Error:
empty initializers only allowed for GCC/MSVC machdeps; see option -machdep or run 'frama-c -machdep help' for the list of available machdeps
6
7 // based on GCC's 'torture' test suite
8 union empty {} eu = {};
^^
[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