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