diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 18:28:25 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 19:11:44 +0100 |
commit | 9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2 (patch) | |
tree | 5091224db33b789c2a1fa0764a04305094415695 /test/monniaux/jpeg-6b/rdbmp.c | |
parent | 8844e567fdc7f68c378f727a63278d94c2dd51bf (diff) | |
download | compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.tar.gz compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.zip |
fix various divisions, tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/rdbmp.c')
-rw-r--r-- | test/monniaux/jpeg-6b/rdbmp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/jpeg-6b/rdbmp.c b/test/monniaux/jpeg-6b/rdbmp.c index 3957ba46..e999a56b 100644 --- a/test/monniaux/jpeg-6b/rdbmp.c +++ b/test/monniaux/jpeg-6b/rdbmp.c @@ -338,8 +338,8 @@ start_input_bmp (j_compress_ptr cinfo, cjpeg_source_ptr sinfo) if (biXPelsPerMeter > 0 && biYPelsPerMeter > 0) { /* Set JFIF density parameters from the BMP data */ - cinfo->X_density = (UINT16) (biXPelsPerMeter/100); /* 100 cm per meter */ - cinfo->Y_density = (UINT16) (biYPelsPerMeter/100); + cinfo->X_density = (UINT16) INT_DIV(biXPelsPerMeter, 100); /* 100 cm per meter */ + cinfo->Y_density = (UINT16) INT_DIV(biYPelsPerMeter, 100); cinfo->density_unit = 2; /* dots/cm */ } break; |