diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 15:45:39 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 15:45:39 +0100 |
| commit | 35244064bbb2a853fb5c08898e8a74a7ec489aaa (patch) | |
| tree | e9b7ccb8b46174301ccf106807ea2fcd640350e5 /test/monniaux/jpeg-6b/wrgif.c | |
| parent | 8ae9063a94fbf3756bb2b1d596f35b81e3e608eb (diff) | |
| download | compcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.tar.gz compcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.zip | |
block tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/wrgif.c')
| -rw-r--r-- | test/monniaux/jpeg-6b/wrgif.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/monniaux/jpeg-6b/wrgif.c b/test/monniaux/jpeg-6b/wrgif.c index 73e28633..5fe83283 100644 --- a/test/monniaux/jpeg-6b/wrgif.c +++ b/test/monniaux/jpeg-6b/wrgif.c @@ -271,7 +271,7 @@ emit_header (gif_dest_ptr dinfo, int num_colors, JSAMPARRAY colormap) } } else { /* Create a gray-scale map of num_colors values, range 0..255 */ - put_3bytes(dinfo, DIVISION((i * 255 + (num_colors-1)/2), (num_colors-1))); + put_3bytes(dinfo, (i * 255 + (num_colors-1)/2) / (num_colors-1)); } } else { /* fill out the map to a power of 2 */ @@ -291,7 +291,6 @@ emit_header (gif_dest_ptr dinfo, int num_colors, JSAMPARRAY colormap) /* Initialize for "compression" of image data */ compress_init(dinfo, InitCodeSize+1); - KILL_TAIL_CALL } @@ -350,7 +349,6 @@ finish_output_gif (j_decompress_ptr cinfo, djpeg_dest_ptr dinfo) fflush(dest->pub.output_file); if (ferror(dest->pub.output_file)) ERREXIT(cinfo, JERR_FILE_WRITE); - KILL_TAIL_CALL } |