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 /configure | |
| 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 'configure')
0 files changed, 0 insertions, 0 deletions