[Nice-commit] Nice/testsuite/compiler/designByContract assert.testsuite,1.3,1.4

[Arjan B. <ar...@us...>]

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

Modified Files:
	assert.testsuite 
Log Message:
Testcase for compilation of bug #1113263.

Index: assert.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/assert.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** assert.testsuite	25 Dec 2004 15:51:44 -0000	1.3
--- assert.testsuite	7 Feb 2005 15:41:56 -0000	1.4
***************
*** 48,49 ****
--- 48,70 ----
  foo(0) { assert false; }
  foo(x) = 1;
+ 
+ /// PASS
+   // testcase for compilation of bug #1113263
+   boolean af = false;
+   try {
+     (new AssertCaseFail()).aMethod();
+   } catch(AssertionFailed e) { af = true; }
+   assert af; 
+   /// Toplevel
+   class AssertCaseFail {
+     void?->void _aFirstPointer = null;
+     void?->void _aSecondPointer = null;
+     void aMethod(){
+       let void->void fun;
+       let first = _aFirstPointer; let second = _aSecondPointer;
+       if ( null != first ) fun = first;
+       else if( null != second ) fun = second;
+       else assert false;
+       fun();
+     }
+   }