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

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

Modified Files:
	inference.testsuite 
Log Message:
Added more failure locations.

Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** inference.testsuite	7 Mar 2005 08:16:51 -0000	1.12
--- inference.testsuite	12 Mar 2005 19:24:46 -0000	1.13
***************
*** 80,84 ****
      if (x == null)
        return;
!   x++;
    
  
--- 80,84 ----
      if (x == null)
        return;
!   /* /// FAIL HERE */ x++;
    
  
***************
*** 90,94 ****
      else
        return;
!   x++;
  
  
--- 90,94 ----
      else
        return;
!   /* /// FAIL HERE */ x++;
  
  
***************
*** 111,115 ****
      {
        x = null;
!       x++;
      }
  
--- 111,115 ----
      {
        x = null;
!       /* /// FAIL HERE */ x++;
      }
  
***************
*** 130,134 ****
        if (false)
          x = null;
!       x++;
      }
  
--- 130,134 ----
        if (false)
          x = null;
!       /* /// FAIL HERE */ x++;
      }
  
***************
*** 152,156 ****
    ?int x = null;
    while (x == null)
!     x++;
  
  /// FAIL
--- 152,156 ----
    ?int x = null;
    while (x == null)
!     /* /// FAIL HERE */ x++;
  
  /// FAIL
***************
*** 248,252 ****
      if (x1 == null || x2 == null)
        return;
!   { x1++; x2++; }
    
  
--- 248,252 ----
      if (x1 == null || x2 == null)
        return;
!   { /* /// FAIL HERE */ x1++; x2++; }
    
  
***************
*** 258,262 ****
      else
        return;
!   { x1++; x2++; }
  
  
--- 258,262 ----
      else
        return;
!   { /* /// FAIL HERE */ x1++; x2++; }
  
  
***************
*** 274,278 ****
      {
        x1 = null;
!       { x1++; x2++; }
      }
  
--- 274,278 ----
      {
        x1 = null;
!       { /* /// FAIL HERE */ x1++; x2++; }
      }
  
***************
*** 305,309 ****
    ?int x1 = null, x2 = null;
    while (x1 == null || x2 == null)
!     { x1++; x2++; }
  
  /// PASS
--- 305,309 ----
    ?int x1 = null, x2 = null;
    while (x1 == null || x2 == null)
!     { /* /// FAIL HERE */ x1++; x2++; }
  
  /// PASS
***************
*** 340,344 ****
    ?String x = null;
    boolean b = x != null && x.length() > 3;
!   b = x.length() > 3;
  
  /// PASS
--- 340,344 ----
    ?String x = null;
    boolean b = x != null && x.length() > 3;
!   b = x. /* /// FAIL HERE */ length() > 3;
  
  /// PASS
***************
*** 353,357 ****
  /// FAIL
    ?String x = null;
!   boolean b = x != null && (x = null) == null && x.length() > 3;
    
  
--- 353,357 ----
  /// FAIL
    ?String x = null;
!   boolean b = x != null && (x = null) == null && x. /* /// FAIL HERE */ length() > 3;
    
  
***************
*** 365,369 ****
    ?String x = null;
    boolean b = x == null || x.length() > 3;
!   b = x.length() > 3;
  
  /// PASS
--- 365,369 ----
    ?String x = null;
    boolean b = x == null || x.length() > 3;
!   b = x. /* /// FAIL HERE */ length() > 3;
  
  /// PASS
***************
*** 380,384 ****
  /// FAIL
    ?String x = null;
!   boolean b = x == null || (x = null) == "" || x.length() > 3;
  
  /// FAIL bug
--- 380,384 ----
  /// FAIL
    ?String x = null;
!   boolean b = x == null || (x = null) == "" || x. /* /// FAIL HERE */ length() > 3;
  
  /// FAIL bug



-------------------------------------------------------
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