regression cleanup

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2066 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

regression/ansi-c/Assignment_to_typecast1/main.c

@@ -2,6 +2,8 @@ int main()
 {
   int i;
 
+  // gcc warns that this will go
+  // away in the future (hopefully!)
   (int)i|=2;
   (unsigned int)i|=2;
 

regression/ansi-c/gcc_attributes1/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$

regression/cbmc/Division2/main.c

@@ -2,11 +2,13 @@ _Bool nondet_bool();
 
 void main()
 {
-  int i=2;
+  int i=2, j;
   
   if(nondet_bool())
     i++;
 
-  i/=2;
+  j=(i/=2);
+
   assert(i==1);
+  assert(j==1);
 }