From 114867967698b28096c49deb3ccf56b52ca023ac Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 29 Jul 2024 17:07:16 +0200
Subject: [PATCH] [tests] test case for typename/idname lexer context
manipulations
---
tests/syntax/oracle/typename.res.oracle | 10 ++++++++++
tests/syntax/typename.i | 3 +++
2 files changed, 13 insertions(+)
create mode 100644 tests/syntax/oracle/typename.res.oracle
create mode 100644 tests/syntax/typename.i
diff --git a/tests/syntax/oracle/typename.res.oracle b/tests/syntax/oracle/typename.res.oracle
new file mode 100644
index 00000000000..f67935cf67e
--- /dev/null
+++ b/tests/syntax/oracle/typename.res.oracle
@@ -0,0 +1,10 @@
+[kernel] Parsing typename.i (no preprocessing)
+/* Generated by Frama-C */
+typedef int typ;
+void f(typ typ)
+{
+ return;
+}
+
+typ g;
+
diff --git a/tests/syntax/typename.i b/tests/syntax/typename.i
new file mode 100644
index 00000000000..89732dcefe4
--- /dev/null
+++ b/tests/syntax/typename.i
@@ -0,0 +1,3 @@
+typedef int typ;
+void f(typ typ) { }
+typ g;
--
GitLab