[Nice-commit] Nice/testsuite/compiler/null inference.testsuite,1.7,1.8

[<bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/null
In directory sc8-pr-cvs1:/tmp/cvs-serv17433/testsuite/compiler/null

Modified Files:
	inference.testsuite 
Log Message:
Fix assignment to possibly null in a nested context of non-null tests.


Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** inference.testsuite	12 Mar 2003 03:26:35 -0000	1.7
--- inference.testsuite	12 Mar 2003 12:07:38 -0000	1.8
***************
*** 154,157 ****
--- 154,175 ----
      x++;
  
+ /// FAIL
+   ?int x = 0;
+   if (x != null)
+     {
+       if (x != null)
+ 	x = null;
+       /* /// FAIL HERE */ x++;
+     }
+ 
+ /// FAIL
+   ?int x = 0;
+   if (x != null)
+     {
+       while (x != null)
+ 	x = null;
+       /* /// FAIL HERE */ x++;
+     }
+ 
  /// COMMENT Check several variables at the same time