[Nice-commit] Nice/testsuite/compiler/null inference.testsuite,1.9,1.10

[<ar...@us...>]

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

Modified Files:
	inference.testsuite 
Log Message:
Bug case for typechecking of a do while loop.

Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** inference.testsuite	30 Nov 2003 14:24:35 -0000	1.9
--- inference.testsuite	21 Jan 2004 13:16:39 -0000	1.10
***************
*** 378,380 ****
    ?String x = null;
    boolean b = x == null || (x = null) == "" || x.length() > 3;
!   
--- 378,391 ----
    ?String x = null;
    boolean b = x == null || (x = null) == "" || x.length() > 3;
! 
! /// FAIL bug
! ?String s = "xyz";
! String t = "abc";
! int x = 0;
! if ( s != null)
!   {
!     do {
!       t = s;
!       s = null;
!     } while(x++ < 10);
!   }