Nice/testsuite/compiler/null inference.testsuite,1.11,1.12

Update of /cvsroot/nice/Nice/testsuite/compiler/null
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20664/testsuite/compiler/null

Modified Files:
	inference.testsuite 
Log Message:
Nullness analisys on assignments is partially implemented (RFE 681385).

Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** inference.testsuite	25 Aug 2004 19:57:22 -0000	1.11
--- inference.testsuite	7 Mar 2005 08:16:51 -0000	1.12
***************
*** 312,319 ****
      x1 = x1 + "";
  
! /// FAIL
!   ?String x1 = null;
!   if ( (x1 = "abc") == null)
!     x1 = x1 + "";
  
  /// PASS
--- 312,322 ----
      x1 = x1 + "";
  
! // This should _probably_ fail
! // either becouse it can never be true
! // or becouse x1 is checked to be null.
! // /// FAIL
! //  ?String x1 = null;
! //  if ( (x1 = "abc") == null)
! //    x1 = x1 + "";
  
  /// PASS



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click