Changeset ee858bf for tests

Timestamp:

Oct 9, 2020, 11:22:58 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

a33704d

Parents:

04423b53

Message:

add 0p test for function pointers, and seperate valid from error output

Location:

tests

Files:

• .expect/init1-ERROR.txt (added)
• .expect/init1.txt (modified) (1 diff)
• Makefile.am (modified) (3 diffs)
• init1.cfa (modified) (5 diffs)

tests/.expect/init1.txt

@@ -1 @@
-error: No reasonable alternatives for expression Untyped Init Expression
-  Name: rx  InitAlternative: reference to signed int
-error: No reasonable alternatives for expression Untyped Init Expression
-  Name: px  InitAlternative: pointer to signed int
-error: No reasonable alternatives for expression Untyped Init Expression
-  Name: crx  InitAlternative: reference to float
-error: No reasonable alternatives for expression Untyped Init Expression
-  Name: cpx  InitAlternative: pointer to float
-init1.cfa:94:1 error: No reasonable alternatives for expression Generated Cast of:
-  Name: rx
-... to:
-  reference to signed int
-init1.cfa:97:1 error: No reasonable alternatives for expression Applying untyped:
-  Name: ?{}
-...to:
-  Generated Cast of:
-    Variable Expression: _retval_f_py: pointer to signed int
-  ... to:
-    reference to pointer to signed int
-  Name: px
-
-init1.cfa:104:1 error: No reasonable alternatives for expression Generated Cast of:
-  Name: crx
-... to:
-  reference to float
-init1.cfa:107:1 error: No reasonable alternatives for expression Applying untyped:
-  Name: ?{}
-...to:
-  Generated Cast of:
-    Variable Expression: _retval_f_py2: pointer to float
-  ... to:
-    reference to pointer to float
-  Name: cpx
-
-init1.cfa:114:1 error: No reasonable alternatives for expression Generated Cast of:
-  Name: s
-... to:
-  reference to instance of type T (not function type)
-init1.cfa:118:1 error: No reasonable alternatives for expression Applying untyped:
-  Name: ?{}
-...to:
-  Generated Cast of:
-    Variable Expression: _retval_anycvt: pointer to instance of type T (not function type)
-  ... to:
-    reference to pointer to instance of type T (not function type)
-  Name: s
-
+init1.cfa: In function '_X1fFv___1':
+init1.cfa:43:69: warning: initialization of 'int (*)(int)' from incompatible pointer type 'void (*)()' [-Wincompatible-pointer-types]
+init1.cfa:44:29: warning: assignment to 'int (*)(int)' from incompatible pointer type 'void (*)()' [-Wincompatible-pointer-types]
+init1.cfa: In function '_X4mainFi___1':
+init1.cfa:132:9: note: #pragma message: Compiled

tests/Makefile.am

@@ -11 +11 @@
 ## Created On       : Sun May 31 09:08:15 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Sun Sep 27 19:01:41 2020
-## Update Count     : 84
+## Last Modified On : Fri Oct  9 23:13:07 2020
+## Update Count     : 86
 ###############################################################################
 
@@ -141 +141 @@
 
 SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator forall \
-        limits nested-types stdincludes cast labelledExit array builtins/sync warnings/self-assignment
+        init1 limits nested-types stdincludes cast labelledExit array builtins/sync warnings/self-assignment
 $(SYNTAX_ONLY_CODE): % : %.cfa $(CFACCBIN)
         $(CFACOMPILE_SYNTAX)
@@ -149 +149 @@
 # use custom target since they require a custom define *and* have a name that doesn't match the file
 alloc-ERROR : alloc.cfa $(CFACCBIN)
+        $(CFACOMPILE_SYNTAX) -DERR1
+        -cp $(test) $(abspath ${@})
+
+init1-ERROR : init1.cfa $(CFACCBIN)
         $(CFACOMPILE_SYNTAX) -DERR1
         -cp $(test) $(abspath ${@})

tests/init1.cfa

@@ -9 +9 @@
 // Author           : Michael Brooks
 // Created On       : Thu Jul 16 22:00:00 2020
-// Last Modified By : Michael Brooks
-// Last Modified On : Thu Jul 16 22:00:00 2020
-// Update Count     : 1
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Oct  9 23:11:02 2020
+// Update Count     : 5
 //
 
@@ -41 +41 @@
     const float * cpx2 = cpx;
 
+    int (* fp)( int ) = 0p;
+    fp = 0p;
+
     //
     // unsound initializations
     //
 
+    #ifdef ERR1
     // mismatched referenced type
     int & ry = rx;
@@ -52 +56 @@
     float & ry2 = crx;
     float * py2 = cpx;
+    #endif // ERR1
 }
 
@@ -90 +95 @@
 //
 
+#ifdef ERR1
 int & f_ry() { 
     float & rx = *0p;
@@ -119 +125 @@
     return s;               // mismatched referenced type
 }
+#endif // ERR1
+
+int main() {
+    #pragma message( "Compiled" )                       // force non-empty .expect file
+}