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 | |
| 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
| -rw-r--r-- | test/regression/switch3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/switch3.c b/test/regression/switch3.c index f411a3fb..df3ad747 100644 --- a/test/regression/switch3.c +++ b/test/regression/switch3.c @@ -164,7 +164,7 @@ int main() quotestring("(ab$cd)", 0); putchar('\n'); quotestring("(ab$cd)", 1); putchar('\n'); - char c; + int c; while ((c = decompressor()) != EOF) putchar(c); testpigeon(FORWARD); |