diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index df73eb7956b9e34fe01ed9386aef97ed8ccdfaaa..aeea5a51d0e1e27152219ad4e7686f8b737a6e66 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -70,7 +70,7 @@ rte_options() {
         opts="$opts -rte-mem"
       ;;
       int) # integer overflows
-        intopts=""
+        intopts="-warn-signed-overflow -warn-unsigned-overflow"
       ;;
       float) # casts from floating-point to integer
         opts="$opts -rte-float-to-int"