diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-09-30 18:41:50 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-09-30 18:41:50 +0200 |
commit | 504228b1f7b875550eae9e3782a5f2c1033b0233 (patch) | |
tree | f3e5121f9694fb57974697475f88361b42da8330 /cparser/validator/Validator_complete.v | |
parent | c212ab7a8adea516db72f17d818393629dbde1b3 (diff) | |
download | compcert-504228b1f7b875550eae9e3782a5f2c1033b0233.tar.gz compcert-504228b1f7b875550eae9e3782a5f2c1033b0233.zip |
Fixed a few bugs in the pre parser. In particular, the following code
was not parsed correctly:
typedef int a;
int f() {
for(int a; ;)
if(1);
a * x;
}
Additionnaly, I tried to add some comments in the pre-parser code,
especially for the different hacks used to solve various conflicts.
Diffstat (limited to 'cparser/validator/Validator_complete.v')
0 files changed, 0 insertions, 0 deletions