[Ooc-checkins] ooc2/tests/ssa NoDescriptor5.Mod, NONE, 1.1 NoDescriptor4.Mod, NONE, 1.1 NoDescriptor3.Mod, NONE, 1.1 testsuite.xml, 1.233, 1.234

[Michael v. A. <mv...@us...>]

Update of /cvsroot/ooc/ooc2/tests/ssa
In directory sc8-pr-cvs3.sourceforge.net:/tmp/cvs-serv20786/tests/ssa

Modified Files:
	testsuite.xml 
Added Files:
	NoDescriptor5.Mod NoDescriptor4.Mod NoDescriptor3.Mod 
Log Message:
Disallow NEW for NO_DESCRIPTOR and NO_LENGTH_INFO pointers.


--- NEW FILE: NoDescriptor5.Mod ---
MODULE NoDescriptor5;

TYPE
  R* = ARRAY [NO_LENGTH_INFO] OF CHAR;
  Ptr* = POINTER TO R;
  
PROCEDURE P*;
  VAR
    ptr: Ptr;
  BEGIN
    NEW(ptr);
  END P;

END NoDescriptor5.

Index: testsuite.xml
===================================================================
RCS file: /cvsroot/ooc/ooc2/tests/ssa/testsuite.xml,v
retrieving revision 1.233
retrieving revision 1.234
diff -u -d -r1.233 -r1.234
--- testsuite.xml	26 Dec 2005 10:56:55 -0000	1.233
+++ testsuite.xml	27 Jun 2006 19:12:52 -0000	1.234
@@ -5,7 +5,8 @@
 <testsuite-ext profile="Test Suite for Translation Patterns">
 
 <!--<testsuite-ext profile="Test Suite for Translation Patterns"
-  select ="&SetupTestCasesWithOut; bugExport3">-->
+  select ="&SetupTestCasesWithOut; noDescriptor2 noDescriptor3
+  noDescriptor4 noDescriptor5">-->
 
   &TestSetupWithOut;
     
@@ -1500,6 +1501,18 @@
       Applying a type test of a <code>NO_DESCRIPTOR</code> record
       type.
     </test>
+    <test id="noDescriptor3" type="reject" file="NoDescriptor3.Mod">
+      Applying <code>NEW</code> to a <code>NO_DESCRIPTOR</code> record
+      pointer.
+    </test>
+    <test id="noDescriptor4" type="reject" file="NoDescriptor4.Mod">
+      Applying <code>NEW</code> to a <code>NO_DESCRIPTOR</code> array
+      pointer.
+    </test>
+    <test id="noDescriptor5" type="reject" file="NoDescriptor5.Mod">
+      Applying <code>NEW</code> to a <code>NO_LENGTH_INFO</code> array
+      pointer.
+    </test>
 
     <test id="notExtensible1" type="reject" file="NotExtensible1.Mod">
       Trying to extend a <code>NOT_EXTENSIBLE</code> record type.
@@ -2560,6 +2573,12 @@
     
     <reject-info id="noDescriptor2" pos="IF %r IS"
         msg="This variable has no dynamic type"/>
+    <reject-info id="noDescriptor3" pos="NEW(%ptr"
+        msg="Builtin NEW() is not applicable to this pointer type"/>
+    <reject-info id="noDescriptor4" pos="NEW(%ptr"
+        msg="Builtin NEW() is not applicable to this pointer type"/>
+    <reject-info id="noDescriptor5" pos="NEW(%ptr"
+        msg="Builtin NEW() is not applicable to this pointer type"/>
     
     <reject-info id="notExtensible1" pos="(%R1)"
         msg="This type cannot be used as a record base type"/>

--- NEW FILE: NoDescriptor3.Mod ---
MODULE NoDescriptor3;

TYPE
  R* = RECORD [NO_DESCRIPTOR]
    a*: INTEGER;
  END;
  Ptr* = POINTER TO R;
  
PROCEDURE P*;
  VAR
    ptr: Ptr;
  BEGIN
    NEW(ptr);
  END P;

END NoDescriptor3.

--- NEW FILE: NoDescriptor4.Mod ---
MODULE NoDescriptor4;

TYPE
  R* = ARRAY [NO_DESCRIPTOR] OF CHAR;
  Ptr* = POINTER TO R;
  
PROCEDURE P*;
  VAR
    ptr: Ptr;
  BEGIN
    NEW(ptr);
  END P;

END NoDescriptor4.