diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-10-08 17:27:31 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-10-08 17:27:31 +0200 |
commit | e18d267e6912e18462472687abc014a3d04b9a37 (patch) | |
tree | e1588a7ac14d06eed34847251d41ad31fa0ada7c /test/regression/parsing.c | |
parent | 7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff) | |
download | compcert-e18d267e6912e18462472687abc014a3d04b9a37.tar.gz compcert-e18d267e6912e18462472687abc014a3d04b9a37.zip |
other, simpler fix: the lexer emits 2 tokens for each identifier
Diffstat (limited to 'test/regression/parsing.c')
-rw-r--r-- | test/regression/parsing.c | 17 |
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(); |