diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-06 18:03:41 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-22 15:27:32 +0200 |
commit | 9e30fa95607cf357ab7c18a4773edf6b6f84c7d7 (patch) | |
tree | 8b24459f0fd4e25d6f897053dc2e0079df4db9c4 /test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8 | |
parent | 2a6991362fc6716a4f1eee5b083eace3a67923ed (diff) | |
download | compcert-kvx-9e30fa95607cf357ab7c18a4773edf6b6f84c7d7.tar.gz compcert-kvx-9e30fa95607cf357ab7c18a4773edf6b6f84c7d7.zip |
Fix the type and the semantics of BI_bsel
The return type is Tint8unsigned (i.e. _Bool), not Tint.
Diffstat (limited to 'test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8')
0 files changed, 0 insertions, 0 deletions