make tests pass on 32-bit systems

regression/cbmc/Malloc23/test.desc

@@ -5,8 +5,8 @@ main.c
 ^SIGNAL=0$
 pointer outside dynamic object bounds in \*p: FAILURE
 pointer outside dynamic object bounds in \*p: FAILURE
-pointer outside dynamic object bounds in p2\[\(signed long int\)1\]: FAILURE
-pointer outside dynamic object bounds in p2\[\(signed long int\)0\]: FAILURE
+pointer outside dynamic object bounds in p2\[.*1\]: FAILURE
+pointer outside dynamic object bounds in p2\[.*0\]: FAILURE
 \*\* 4 of 36 failed \(3 iterations\)
 --
 ^warning: ignoring

regression/cbmc/byte_update2/main.c

@@ -6,7 +6,7 @@ int main(int argc, char** argv) {
   if(argc != 2)
     return 0;
 
-  unsigned long x[argc];
+  unsigned long long x[argc];
   x[0]=0x0102030405060708;
   x[1]=0x1112131415161718;
 

regression/cbmc/byte_update3/main.c

@@ -13,7 +13,7 @@ int main(int argc, char** argv) {
   x[3]=0x0708;
   x[4]=0x090a;
 
-  unsigned long* alias=(unsigned long*)(((char*)x)+0);
+  unsigned long long* alias=(unsigned long long*)(((char*)x)+0);
   *alias=0xf1f2f3f4f5f6f7f8;
 
   unsigned char* alias2=(unsigned char*)x;

regression/cbmc/byte_update4/main.c

@@ -18,7 +18,7 @@ int main(int argc, char** argv) {
   x[8]=0x09;
   x[9]=0x0a;
 
-  unsigned long* alias=(unsigned long*)(((char*)x)+1);
+  unsigned long long* alias=(unsigned long long*)(((char*)x)+1);
   *alias=0xf1f2f3f4f5f6f7f8;
 
   unsigned char* alias2=(unsigned char*)x;

regression/cbmc/byte_update5/main.c

@@ -13,7 +13,7 @@ int main(int argc, char** argv) {
   x[3]=0x0708;
   x[4]=0x090a;
 
-  unsigned long* alias=(unsigned long*)(((char*)x)+1);
+  unsigned long long* alias=(unsigned long long*)(((char*)x)+1);
   *alias=0xf1f2f3f4f5f6f7f8;
 
   unsigned char* alias2=(unsigned char*)x;

regression/cbmc/byte_update6/main.c

@@ -6,7 +6,7 @@ int main(int argc, char** argv) {
   if(argc != 2)
     return 0;
 
-  unsigned long x[argc];
+  unsigned long long x[argc];
   x[0]=0x0102030405060708;
   x[1]=0x1112131415161718;
 

regression/cbmc/byte_update7/main.c

@@ -6,7 +6,7 @@ int main(int argc, char** argv) {
   if(argc != 2)
     return 0;
 
-  unsigned long x[argc];
+  unsigned long long x[argc];
   x[0]=0x0102030405060708;
   x[1]=0x1112131415161718;