diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-09 08:40:58 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-09 08:40:58 +0200 |
| commit | 7eaaa6aee670b06c427017a9af888d3469e53126 (patch) | |
| tree | 5aa81bdb2d648dd114f99725172bab79ecf719cb /x86/Op.v | |
| parent | ac1f753ae43c32ce745c792611def48ca678be63 (diff) | |
| download | compcert-7eaaa6aee670b06c427017a9af888d3469e53126.tar.gz compcert-7eaaa6aee670b06c427017a9af888d3469e53126.zip | |
Make redefinition of composite a fatal error.
The redefinition of a composite with a different tag type is now
a fatal error. This should avoid problems when the composite is
used.
Bug 21542
Diffstat (limited to 'x86/Op.v')
0 files changed, 0 insertions, 0 deletions