diff --git a/tests/syntax/oracle/rename.res.oracle b/tests/syntax/oracle/rename.res.oracle index 1397bafc86be6f4e80c311a454cc85d5d58232d2..52e6869da0887ef55a31547b8483fa061a1024d4 100644 --- a/tests/syntax/oracle/rename.res.oracle +++ b/tests/syntax/oracle/rename.res.oracle @@ -1,8 +1,16 @@ [kernel] Parsing tests/syntax/rename.i (no preprocessing) +[kernel] tests/syntax/rename.i:48: Warning: + unnamed fields are a C11 extension (use -c11 to avoid this warning) /* Generated by Frama-C */ struct not_anon { int __anonCompField1 ; }; +struct __anonstruct_1 { + int inner_i ; +}; +struct anon { + struct __anonstruct_1 __anonCompField1 ; +}; int f(void) { int x = 0; @@ -66,4 +74,5 @@ void f4(int *j_0_1) } struct not_anon s = {.__anonCompField1 = 0}; +struct anon a = {.__anonCompField1 = {.inner_i = 0}}; diff --git a/tests/syntax/rename.i b/tests/syntax/rename.i index 201ece889710f196e2646a40a221704c7b6422ef..08a549ccc24c4a4c1d072dcbc7046321a8da60e6 100644 --- a/tests/syntax/rename.i +++ b/tests/syntax/rename.i @@ -44,3 +44,9 @@ struct not_anon { }; struct not_anon s = {.__anonCompField1 = 0}; + +struct anon { + struct { int inner_i; }; +}; + +struct anon a = { .inner_i = 0 };