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/Diagnostics.ml | |
| 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/Diagnostics.ml')
0 files changed, 0 insertions, 0 deletions