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 /backend/Allocproof.v | |
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 'backend/Allocproof.v')
0 files changed, 0 insertions, 0 deletions