diff --git a/tests/syntax/oracle/typename.res.oracle b/tests/syntax/oracle/typename.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..f67935cf67e1de0338032a51ca7fae22f0308763 --- /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 0000000000000000000000000000000000000000..89732dcefe48c1584cdf1894d592c5c5cae3d293 --- /dev/null +++ b/tests/syntax/typename.i @@ -0,0 +1,3 @@ +typedef int typ; +void f(typ typ) { } +typ g;