[tests] test case for typename/idname lexer context manipulations

11486796 · Virgile Prevosto · Thibault Martin · 1a2125d7 · 11486796 · 11486796
Commit 11486796 authored 7 months ago by Virgile Prevosto Committed by Thibault Martin 7 months ago
--- a/tests/syntax/oracle/typename.res.oracle
+++ b/tests/syntax/oracle/typename.res.oracle
+[kernel] Parsing typename.i (no preprocessing)
+/* Generated by Frama-C */
+typedef int typ;
+void f(typ typ)
+{
+  return;
+}
+typ g;
--- a/tests/syntax/typename.i
+++ b/tests/syntax/typename.i
+typedef int typ;
+void f(typ typ) { }
+typ g;