Changeset 81e1f32 for src/tests

Timestamp:

Jan 23, 2018, 10:49:53 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

15d248e, f7d6bb0

Parents:

d2d50d7 (diff), fc67d6f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src/tests

Files:

• .expect/alloc-ERROR.txt (modified) (3 diffs)
• .expect/alloc.txt (modified) (1 diff)
• .expect/libcfa_vector.txt (deleted)
• .expect/vector.txt (added)
• alloc.c (modified) (4 diffs)
• vector.c (modified) (2 diffs)

src/tests/.expect/alloc-ERROR.txt

@@ -1 +1 @@
 alloc.c:264:1 error: No reasonable alternatives for expression Applying untyped: 
+  Name: ?=?
+...to: 
+  Name: p
+  Applying untyped: 
+    Name: realloc
+  ...to: 
+    Name: stp
+    Applying untyped: 
+      Name: ?*?
+    ...to: 
+      Name: dim
+      Sizeof Expression on: Applying untyped: 
+          Name: *?
+        ...to: 
+          Name: stp
+
+
+
+
+alloc.c:265:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: ?=?
 ...to: 
@@ -19 +39 @@
 
 
-alloc.c:265:1 error: No reasonable alternatives for expression Applying untyped: 
+alloc.c:266:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: ?=?
 ...to: 
@@ -30 +50 @@
 
 
-alloc.c:266:1 error: No reasonable alternatives for expression Applying untyped: 
+alloc.c:267:1 error: No reasonable alternatives for expression Applying untyped: 
   Name: ?=?
 ...to: 

src/tests/.expect/alloc.txt

@@ -60 +60 @@
 pointer arithmetic 0
 CFA deep malloc 0xdeadbeef
-
-SHOULD FAIL

src/tests/alloc.c

@@ -10 +10 @@
 // Created On       : Wed Feb  3 07:56:22 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Nov 24 23:06:42 2017
-// Update Count     : 319
+// Last Modified On : Mon Jan 22 21:26:40 2018
+// Update Count     : 326
 //
 
@@ -32 +32 @@
         // allocation, non-array types
 
-        // int &r = malloc();
+        // int & r = malloc();
         // r = 0xdeadbeef;
         // printf( "C   malloc %#x\n", r );
         // free( &r );
 
-        p = (int *)(void *)malloc( sizeof(*p) );                        // C malloc, type unsafe
+        p = (int *)malloc( sizeof(*p) );                                        // C malloc, type unsafe
         *p = 0xdeadbeef;
         printf( "C   malloc %#x\n", *p );
@@ -88 +88 @@
         printf( "\n" );
 
-        p = (int *)(void *)realloc( p, dim * sizeof(*p) );      // C realloc
+        p = (int *)realloc( p, dim * sizeof(*p) );                      // C realloc
         for ( int i = 0; i < dim; i += 1 ) { p[i] = 0xdeadbeef; }
         printf( "C   realloc\n" );
@@ -259 +259 @@
         free( p );
 
+#ifdef ERR1
         stp = malloc();
         printf( "\nSHOULD FAIL\n" );
-#ifdef ERR1
-        p = alloc( stp, dim * sizeof(*stp) );
+        p = realloc( stp, dim * sizeof( *stp ) );
+        p = alloc( stp, dim * sizeof( *stp ) );
         p = memset( stp, 10 );
         p = memcpy( &st1, &st );

src/tests/vector.c

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// libcfa_vector.c --
+// vector.c --
 //
 // Author           : Thierry Delisle
 // Created On       : Mon Jul  4 23:36:19 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul  5 15:08:05 2016
-// Update Count     : 26
+// Last Modified On : Thu Jan 18 17:08:08 2018
+// Update Count     : 27
 //
 
@@ -63 +63 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "cfa libcfa_vector.c" //
+// compile-command: "cfa vector.c" //
 // End: //