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