aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression
diff options
context:
space:
mode:
authorJacques-Henri Jourdan <jacques-henri.jourdan@inria.fr>2015-10-08 17:27:31 +0200
committerJacques-Henri Jourdan <jacques-henri.jourdan@inria.fr>2015-10-08 17:27:31 +0200
commite18d267e6912e18462472687abc014a3d04b9a37 (patch)
treee1588a7ac14d06eed34847251d41ad31fa0ada7c /test/regression
parent7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff)
downloadcompcert-kvx-e18d267e6912e18462472687abc014a3d04b9a37.tar.gz
compcert-kvx-e18d267e6912e18462472687abc014a3d04b9a37.zip
other, simpler fix: the lexer emits 2 tokens for each identifier
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/parsing.c17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/regression/parsing.c b/test/regression/parsing.c
index 24b954c1..8687d6aa 100644
--- a/test/regression/parsing.c
+++ b/test/regression/parsing.c
@@ -7,6 +7,12 @@ T f(T a(T)) {
T b;
return 1;
}
+
+T f1(T(x));
+T f1(T x) {
+ return x;
+}
+
int g(int x) {
T:;
T y;
@@ -96,6 +102,17 @@ void m() {
else printf("ERROR m\n");
}
+int j() {
+ T T;
+}
+
+int k() {
+ { T T; }
+ T t;
+ for(T T; ; );
+ T u;
+}
+
int main () {
f(g);
i();