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 /x86/extractionMachdep.v | |
parent | 45aeaf195645a870b54e606c3407f5c65188ad98 (diff) | |
download | compcert-0f210f622a4609811959f4450f770c61f5eb6532.tar.gz compcert-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 'x86/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions