diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-09-22 15:01:34 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-09-22 15:01:34 +0200 |
| commit | 0f210f622a4609811959f4450f770c61f5eb6532 (patch) | |
| tree | 847efeee3b28cfb44acd551743164858cb4e1902 /cfrontend/Cminorgenproof.v | |
| parent | 45aeaf195645a870b54e606c3407f5c65188ad98 (diff) | |
| download | compcert-kvx-0f210f622a4609811959f4450f770c61f5eb6532.tar.gz compcert-kvx-0f210f622a4609811959f4450f770c61f5eb6532.zip | |
Disallow usage of default pattern for AsmToJSON.
In order to ensure that no new instruction is added without adding
it to the Json export we enforce warning 4 for the instruction
printer and removed all default pattern matchings.
Bug 22239
Diffstat (limited to 'cfrontend/Cminorgenproof.v')
0 files changed, 0 insertions, 0 deletions