Changes in src/examples/specialize.c [86bd7c1f:843054c2]
- File:
-
- 1 edited
-
src/examples/specialize.c (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/examples/specialize.c
r86bd7c1f r843054c2 1 // 2 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo 3 // 4 // The contents of this file are covered under the licence agreement in the 5 // file "LICENCE" distributed with Cforall. 6 // 7 // specialize.c -- 8 // 9 // Author : Richard C. Bilson 10 // Created On : Wed May 27 17:56:53 2015 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Wed May 27 18:32:26 2015 13 // Update Count : 2 14 // 1 // "./cfa specialize.c" 2 // "./cfa -g simple.c" 3 // "./cfa -CFA simple.c > simple_out.c" 15 4 16 5 /// void f( const int * ); … … 36 25 37 26 extern "C" { 38 int printf( const char*, ... );27 int printf( const char*, ... ); 39 28 } 40 29 41 30 forall( type T ) T f( T t ) 42 31 { 43 printf( "in f; sizeof T is %d\n", sizeof( T ) );44 return t;32 printf( "in f; sizeof T is %d\n", sizeof( T ) ); 33 return t; 45 34 } 46 35 47 36 void g( int (*p)(int) ) 48 37 { 49 printf( "g: f(7) returned %d\n", f(7) );38 printf( "g: f(7) returned %d\n", f(7) ); 50 39 } 51 40 52 41 int main() { 53 g( f );42 g( f ); 54 43 } 55 56 // Local Variables: //57 // tab-width: 4 //58 // compile-command: "cfa specialize.c" //59 // End: //
Note:
See TracChangeset
for help on using the changeset viewer.