diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-04-26 18:05:52 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-26 18:05:52 +0200 |
| commit | 83f812f9cee254606f96244a7808869b7802f309 (patch) | |
| tree | d1248a4e9fc855281eeb24f1fb0594313993e8ca /cfrontend | |
| parent | f1d9a90486ac2744e0f2096eeaeedac117af5b9a (diff) | |
| download | compcert-83f812f9cee254606f96244a7808869b7802f309.tar.gz compcert-83f812f9cee254606f96244a7808869b7802f309.zip | |
Additional checks on typedefs (#101)
Typedefs should have a name and also should not contain _Noreturn.
Bug 23381
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions