diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-11-14 09:11:02 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-11-14 09:11:02 +0100 |
commit | d3edf6c07e8a402417323cbeb6d1ef93231c5262 (patch) | |
tree | aa7b13a0a19c9653f52d2cbea775985d6af19818 /tools | |
parent | abe1f24dfb2b1b67dfeeaf3513e6d3d534f7df32 (diff) | |
download | compcert-d3edf6c07e8a402417323cbeb6d1ef93231c5262.tar.gz compcert-d3edf6c07e8a402417323cbeb6d1ef93231c5262.zip |
Wrong test for coroutined decompressor
Use of `char` instead of `int` caused nontermination on platforms where
`char` is unsigned.
Fixes: #462
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions