From 092fb8292a6189ffe0431ee72cd2bad413451d70 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 3 Feb 2023 14:36:39 +0100
Subject: [PATCH] [tests] remove useless anonymous typedef
---
tests/value/enum.i | 2 +-
tests/value/oracle/enum.res.oracle | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/tests/value/enum.i b/tests/value/enum.i
index 808547c0c10..5f804bbbe59 100644
--- a/tests/value/enum.i
+++ b/tests/value/enum.i
@@ -2,7 +2,7 @@
STDOPT: #"-main f"
*/
-typedef enum counter {ZERO,ONE,TWO,LAST=TWO};
+enum counter {ZERO,ONE,TWO,LAST=TWO};
int t [LAST + 1] = { 1 };
int u [TWO + 1] = { 2 };
diff --git a/tests/value/oracle/enum.res.oracle b/tests/value/oracle/enum.res.oracle
index cbc565cc0f4..c65343692b5 100644
--- a/tests/value/oracle/enum.res.oracle
+++ b/tests/value/oracle/enum.res.oracle
@@ -1,5 +1,4 @@
[kernel] Parsing enum.i (no preprocessing)
-[kernel:parser:unnamed-typedef] enum.i:5: Warning: typedef without a name
[eva] Analyzing a complete application starting at f
[eva] Computing initial state
[eva] Initial state computed
--
GitLab