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 /driver/Clflags.ml | |
parent | c2ec127c0ae164d09d5952131dfaea9596e2c61d (diff) | |
download | compcert-9521c220e157632972387ad0394010e89eff0aab.tar.gz compcert-9521c220e157632972387ad0394010e89eff0aab.zip |
Warning for C11 _Noreturn feature.
The warning for C11 features is now also triggered for _Noreturn.
Diffstat (limited to 'driver/Clflags.ml')
0 files changed, 0 insertions, 0 deletions