Changeset 76934fb for src/examples/specialize.c
- Timestamp:
- Jun 1, 2015, 12:55:33 PM (10 years ago)
- 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, string, with_gc
- Children:
- 6db50d5
- Parents:
- 46cbfe1 (diff), db82596 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/examples/specialize.c
r46cbfe1 r76934fb 1 // "./cfa specialize.c" 2 // "./cfa -g simple.c" 3 // "./cfa -CFA simple.c > simple_out.c" 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 // 4 15 5 16 /// void f( const int * ); … … 25 36 26 37 extern "C" { 27 38 int printf( const char*, ... ); 28 39 } 29 40 30 41 forall( type T ) T f( T t ) 31 42 { 32 33 43 printf( "in f; sizeof T is %d\n", sizeof( T ) ); 44 return t; 34 45 } 35 46 36 47 void g( int (*p)(int) ) 37 48 { 38 49 printf( "g: f(7) returned %d\n", f(7) ); 39 50 } 40 51 41 52 int main() { 42 53 g( f ); 43 54 } 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.