Changeset d41280e for src/examples/alloc.c

Timestamp:

Feb 8, 2016, 10:07:42 AM (10 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

c44e622

Parents:

00ede9e (diff), bd85400 (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' into gc_noraii

File:

• src/examples/alloc.c (modified) (2 diffs)

src/examples/alloc.c

@@ +1 @@
+//                               -*- Mode: C -*- 
+// 
+// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// alloc.c -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Wed Feb  3 07:56:22 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Feb  3 16:32:04 2016
+// Update Count     : 38
+// 
+
+#include <fstream>
+#include <stdlib>
 extern "C" {
-    typedef long unsigned int size_t;
-    void *malloc( size_t size );
-    void *calloc( size_t nmemb, size_t size );
-    void *realloc( void *ptr, size_t size );
-    void *memset( void *s, int c, size_t n );
-    void free( void * ptr );
-    int printf( const char *, ... );
-}
+#include <stdlib.h>                                                                             // access C malloc, realloc
+#include <stdio.h>
+} // exten "C"
 
-forall( type T ) T * malloc( void ) {
-    return (T *)malloc( sizeof(T) );
-}
-forall( type T ) T * calloc( size_t size ) {
-    return (T *)calloc( size, sizeof(T) );
-}
-forall( type T ) T * realloc( T *ptr, size_t n ) {
-    return (T *)(void *)realloc( ptr, sizeof(T) );
-}
-forall( type T ) T * realloc( T *ptr, size_t n, T c ) {
-    return (T *)realloc( ptr, n );
-}
-
-int *foo( int *p, int c );
-int *bar( int *p, int c );
-int *baz( int *p, int c );
+int * foo( int * p, int c ) { return p; }
+int * bar( int * p, int c ) { return p; }
+int * baz( int * p, int c ) { return p; }
 
 int main( void ) {
+    ofstream * sout = ofstream_stdout();
+
     size_t size = 10;
-    int * x = malloc();
-    x = malloc();
-    x = calloc( 10 );                                   // calloc: array set to 0
-    x = realloc( x, 10 );
-    x = realloc( x, 10, '\0' );
-    x = malloc( 5 );
-    float *fp = malloc() + 1;
+    int * p;
+    struct S { int x; double y; } * s;
 
-    struct St1 { int x; double y; };
-    struct St1 * st1;
+    p = malloc( sizeof(*p) );                                                   // C malloc, type unsafe
+        printf( "here1\n" );
+    free( p );
+    p = malloc();                                                                               // CFA malloc, type safe
+        printf( "here2\n" );
+    free( p );
+    p = malloc( (char)'\0' );                                                                   // CFA malloc, type safe
+        printf( "here3\n" );
+    p = malloc( p, 1000 );                                                              // CFA remalloc, type safe
+        printf( "here4\n" );
+    free( p );
+    p = calloc( size, sizeof(*p) );                                             // C calloc, type unsafe
+        printf( "here5\n" );
+    free( p );
+    p = calloc( size );                                                                 // CFA calloc, type safe
+        printf( "here6\n" );
+    free( p );
+    p = calloc( size );                                                                 // CFA calloc, type safe
+    p = realloc( p, 1000 );                                                             // C realloc, type unsafe
+    p = realloc( p, 1000, '\0' );                                               // CFA realloc, type unsafe
+    p = memset( p );                                                                    // CFA memset, type unsafe
+        printf( "here7\n" );
+    free( p );
+    p = memalign( 16 );
+        printf( "here8\n" );
+    free( p );
+    posix_memalign( &p, 16 );
+        printf( "here9\n" );
+    free( p );
+#if 0
+    float * fp = malloc() + 1;
+    fprintf( stderr, "%p %p\n", fp, fp - 1 );
+    free( fp - 1 );
+    p = realloc( st1, size, '\0' );                                             // C realloc, type unsafe
+
     double *y;
-    x = realloc( st1, 10 );                             // SHOULD FAIL!!
-#if 0
+    x = memset( st1, '\0' );                                                    // SHOULD FAIL!!
+
     int *p;
     p = foo( bar( baz( malloc(), 0 ), 0 ), 0 );
@@ -70 +100 @@
     free( x );
 #endif
+    free( sout );
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa alloc.c" //
+// End: //