diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 20:36:02 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 20:36:02 +0200 |
commit | 57fceab9ba11cb98635236f31c85ca976ca7f48c (patch) | |
tree | 60c617163717c1c56df7219babdcc49a00e3d5c1 /powerpc/ConstpropOpproof.v | |
parent | b96122579c7e4dc6e38b0f1caa9bddf9997b49fa (diff) | |
download | compcert-57fceab9ba11cb98635236f31c85ca976ca7f48c.tar.gz compcert-57fceab9ba11cb98635236f31c85ca976ca7f48c.zip |
Allow redefinition of a typedef with the same name.
C11 allows a typedef redefinition if the types are the same.
We now allow this also and issue a warning and an error if the types are different.
Diffstat (limited to 'powerpc/ConstpropOpproof.v')
0 files changed, 0 insertions, 0 deletions