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

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

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

Added Files:
	reachability.testsuite 
Log Message:
Started support for flow analysis of loops with constant test.
For this to really work, the booleans true and false will need to be
considered as true constants, instead of the current global variables.
This will be done after 0.8 is released.


--- NEW FILE: reachability.testsuite ---
/// FAIL bug
  while (false) { 
    ; // Unreachable
  }

/// FAIL bug
  while (true) ;
  ; // Unreachable

/// PASS
  while (true) break;
  ; // Reachable