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
|
