Merge pull request #1186 from avritichauhan/master

Fixes for Integer Overflows
sosy-lab · Oct 27, 2020 · e4b333f · e4b333f
2 parents b7fe5c3 + b918f8f
commit e4b333f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/c/array-cav19/array_tiling_poly6.c b/c/array-cav19/array_tiling_poly6.c
@@ -11,8 +11,8 @@ int main()
 {
   int S=__VERIFIER_nondet_int();
   assume_abort_if_not(S>1);
-  int i;
-  int a[S];
+  long long i;
+  long long a[S];
 
   for(i=0;i<S;i++)
     a[i]=((i-1)*(i+1));

diff --git a/c/array-cav19/array_tiling_tcpy.c b/c/array-cav19/array_tiling_tcpy.c
@@ -11,6 +11,7 @@ int main()
 {
   int S=__VERIFIER_nondet_int();
   assume_abort_if_not(S>1);
+  assume_abort_if_not(S < 1073741823);
   int i;
   int a[2*S];
   int acopy[2*S];