[Nice-commit] Nice/testsuite/compiler/statements/flow reachability.testsuite,1.1,1.2

[<bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/statements/flow
In directory sc8-pr-cvs1:/tmp/cvs-serv7528/testsuite/compiler/statements/flow

Modified Files:
	reachability.testsuite 
Log Message:
Handle for loops, when the test expression is optional and defaults to true.

Empty statements are now represented, together with their location in the
source.


Index: reachability.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/statements/flow/reachability.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** reachability.testsuite	9 May 2003 11:31:39 -0000	1.1
--- reachability.testsuite	9 May 2003 13:17:02 -0000	1.2
***************
*** 1,12 ****
  /// FAIL bug
    while (false) { 
!     ; // Unreachable
    }
  
  /// FAIL bug
    while (true) ;
!   ; // Unreachable
  
  /// PASS
    while (true) break;
    ; // Reachable
--- 1,25 ----
  /// FAIL bug
    while (false) { 
!     /*/// FAIL HERE */ ; // Unreachable
    }
  
  /// FAIL bug
    while (true) ;
!   /*/// FAIL HERE */ ; // Unreachable
  
  /// PASS
    while (true) break;
+   ; // Reachable
+ 
+ /// FAIL bug
+   for (;false;) { 
+     /*/// FAIL HERE */ ; // Unreachable
+   }
+ 
+ /// FAIL
+   for (;;) ;
+   /*/// FAIL HERE */ ; // Unreachable
+ 
+ /// PASS
+   for (;;) break;
    ; // Reachable