Fixes for interger overflows

Author: avritichauhan

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));

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];