diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
commit | e80af0edafe49ec2576b7fa3a24d4596083698b6 (patch) | |
tree | 0b3a0cb73736e4797cf090884a121dd9304b833a /test/monniaux/mbedtls | |
parent | c10a470bf10e0f1caf0df9d8491ae01464146b55 (diff) | |
download | compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.tar.gz compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.zip |
vire des scories INT_DIV et INT_MOD
Diffstat (limited to 'test/monniaux/mbedtls')
-rw-r--r-- | test/monniaux/mbedtls/mbedtls_Kalray.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/mbedtls/mbedtls_Kalray.patch b/test/monniaux/mbedtls/mbedtls_Kalray.patch index 8b271130..25cd5922 100644 --- a/test/monniaux/mbedtls/mbedtls_Kalray.patch +++ b/test/monniaux/mbedtls/mbedtls_Kalray.patch @@ -47,7 +47,7 @@ index 87015af0c..a2bad7b84 100644 return( ret ); } -+#define INT_DIV(x,y) (((long)(x)) / (y)) ++#define INT_DIV(x,y) ((x) / (y)) + /* * Modulo: r = A mod b |