aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/mbedtls
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 11:47:20 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 11:47:20 +0100
commite80af0edafe49ec2576b7fa3a24d4596083698b6 (patch)
tree0b3a0cb73736e4797cf090884a121dd9304b833a /test/monniaux/mbedtls
parentc10a470bf10e0f1caf0df9d8491ae01464146b55 (diff)
downloadcompcert-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.patch2
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