Skip to content
Snippets Groups Projects
Commit b11aaa02 authored by Thibault Martin's avatar Thibault Martin
Browse files

[tests] Add a test for empty unions in MSVC machdep

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