diff --git a/tests/syntax/oracle/rename.res.oracle b/tests/syntax/oracle/rename.res.oracle index d734d2bfa322836ce56e6db7a56fe8ea53e3cce3..1397bafc86be6f4e80c311a454cc85d5d58232d2 100644 --- a/tests/syntax/oracle/rename.res.oracle +++ b/tests/syntax/oracle/rename.res.oracle @@ -1,5 +1,8 @@ [kernel] Parsing tests/syntax/rename.i (no preprocessing) /* Generated by Frama-C */ +struct not_anon { + int __anonCompField1 ; +}; int f(void) { int x = 0; @@ -62,4 +65,5 @@ void f4(int *j_0_1) return; } +struct not_anon s = {.__anonCompField1 = 0}; diff --git a/tests/syntax/rename.i b/tests/syntax/rename.i index d7524ce90d305776a3412f4b41f0247b86b06895..201ece889710f196e2646a40a221704c7b6422ef 100644 --- a/tests/syntax/rename.i +++ b/tests/syntax/rename.i @@ -38,3 +38,9 @@ void f4(int *j_0_1) { { int j_0_1 = j_0; j_0_1+=j_0; } } + +struct not_anon { + int __anonCompField1; +}; + +struct not_anon s = {.__anonCompField1 = 0};