diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
index b390c68ee8b09254d1b3d589cf1f84532d3689a6..55773197f9bba753383d8c2f89d8c24d7d38ec98 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
index b113dc2a124275384ddaae7f8ef954d14d509355..b2bed027f325a5f36f03e4619a8de1273cea2d64 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
@@ -142,7 +142,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -166,7 +166,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -190,7 +190,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -215,7 +215,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -231,7 +231,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
index 890d4809614f6e1ce9d0390fa0c057c2cb7349da..35e5f2596d2cb62d395f27b0195a26a1e829028e 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
index 6314572f51163c6b87d06e17e6c26f616e5813eb..bffa806ee794b0a4734716768322a3f4e0b854e5 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
@@ -102,7 +102,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -126,7 +126,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -150,7 +150,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -175,7 +175,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -191,7 +191,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
index c421b9d08fcbfd79cbef993f42392d7575019a0e..28cb35703c8676f002ad025cd3914f89d9b1a263 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
index 2f8d4ef60a31a932823211867a42b6a45f2fca2c..397d3f50c847700ff8655256d0f91062bddd300f 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
@@ -106,7 +106,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -130,7 +130,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -154,7 +154,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -179,7 +179,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -195,7 +195,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c
index aea4759f16608c2bc517036875c3ebd12ad11177..c8521f9c1e533030c7ea7c779cf87367e04c4520 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c
@@ -116,7 +116,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -140,7 +140,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -164,7 +164,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -189,7 +189,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -205,7 +205,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c
index 073aca9609a4ac9608ea01bec196e68b836b11a7..a365ad94736e96ab5363e64c5b4ebae701754122 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
index e2e610c62b1c1a9948b6ef73dd970f821944b359..79471acb8792e8594be5c8e5158d4451046bed01 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
@@ -106,7 +106,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -130,7 +130,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -154,7 +154,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -179,7 +179,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -195,7 +195,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
@@ -584,9 +584,7 @@ int main(void)
}
/*@ assert false ≢ true; */ ;
- if (! ((unsigned int)false != (unsigned int)true)) {
- e_acsl_fail((char *)"(false != true)");
- }
+ if (! (false != true)) { e_acsl_fail((char *)"(false != true)"); }
__retres = 0;
return (__retres);
}
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c
index 8bce5f3f5d79df32449e28f6c9fe943112a4d4a7..91e233f19d985bf42d3b9f56ac9d427511b56cbb 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c
index 6a641969a85926c9f74163171e90b77476f1654c..e65624f378fcf3f90e08fb40f459fc79bb399c4c 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c
@@ -89,7 +89,7 @@ __inline static int __gmpz_fits_uint_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -113,7 +113,7 @@ __inline static int __gmpz_fits_ulong_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -137,7 +137,7 @@ __inline static int __gmpz_fits_ushort_p(mpz_srcptr __gmp_z)
mp_size_t __gmp_n;
mp_ptr __gmp_p;
int tmp;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_p = __gmp_z->_mp_d;
if (__gmp_n == (mp_size_t)0) { tmp = 1; }
else {
@@ -162,7 +162,7 @@ __inline static unsigned long __gmpz_get_ui(mpz_srcptr __gmp_z)
mp_limb_t __gmp_l;
mp_limb_t tmp;
__gmp_p = __gmp_z->_mp_d;
- __gmp_n = (mp_size_t)__gmp_z->_mp_size;
+ __gmp_n = (long)__gmp_z->_mp_size;
__gmp_l = *(__gmp_p + 0);
if (__gmp_n != (mp_size_t)0) { tmp = __gmp_l; }
else { tmp = (unsigned long)0; }
@@ -178,7 +178,7 @@ __inline static mp_limb_t __gmpz_getlimbn(mpz_srcptr __gmp_z,
mp_limb_t __gmp_result;
long tmp_1;
int tmp_0;
- __gmp_result = (mp_limb_t)0;
+ __gmp_result = (unsigned long)0;
{ /*undefined sequence*/
if (__gmp_n >= (mp_size_t)0) {
int tmp;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
index 5aebbdd4cb443f61fc54641e9d1d4de809979471..746755d74446d382a5c8b7de21cc89aaff989802 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
@@ -112,9 +112,7 @@ int main(void)
}
/*@ assert false ≢ true; */ ;
- if (! ((unsigned int)false != (unsigned int)true)) {
- e_acsl_fail((char *)"(false != true)");
- }
+ if (! (false != true)) { e_acsl_fail((char *)"(false != true)"); }
__retres = 0;
return (__retres);
}