diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-06-04 16:31:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-04 16:31:12 +0200 |
commit | 15d1bbdba079b2ff0778e6b0685338a0919f2aef (patch) | |
tree | f9067d418f18e616472906a45e81a8b91d6d051f /cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c | |
parent | 545df304d7c17acc475fb1b37f16959fcc430f6a (diff) | |
download | compcert-15d1bbdba079b2ff0778e6b0685338a0919f2aef.tar.gz compcert-15d1bbdba079b2ff0778e6b0685338a0919f2aef.zip |
Support redefinition of a typedef in another scope (#122)
The current check for redefinition is too strict, ruling out e.g.
```
typedef int t;
void f(void) { typedef char t; }
```
Diffstat (limited to 'cparser/tests/handwritten/missing-closing-brace-at-end-of-function.c')
0 files changed, 0 insertions, 0 deletions