From 1c9fcfd37531905d9491ffaa3bf555266697c370 Mon Sep 17 00:00:00 2001
From: Virgile Robles <virgile.robles@protonmail.ch>
Date: Mon, 18 Mar 2019 20:03:53 +0100
Subject: [PATCH] Add test for __anonCompField parsing
---
tests/syntax/oracle/rename.res.oracle | 4 ++++
tests/syntax/rename.i | 6 ++++++
2 files changed, 10 insertions(+)
diff --git a/tests/syntax/oracle/rename.res.oracle b/tests/syntax/oracle/rename.res.oracle
index d734d2bfa32..1397bafc86b 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 d7524ce90d3..201ece88971 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};
--
GitLab