diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:39:47 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:39:47 +0100 |
| commit | 9521c220e157632972387ad0394010e89eff0aab (patch) | |
| tree | 142b8a3e4a3bdfe0373602f25562cd7d3a9ca54f /debug | |
| parent | c2ec127c0ae164d09d5952131dfaea9596e2c61d (diff) | |
| download | compcert-kvx-9521c220e157632972387ad0394010e89eff0aab.tar.gz compcert-kvx-9521c220e157632972387ad0394010e89eff0aab.zip | |
Warning for C11 _Noreturn feature.
The warning for C11 features is now also triggered for _Noreturn.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions