source: src/Tests/Abstype.c@ a3f9946

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since a3f9946 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

  • Property mode set to 100644
File size: 366 bytes
Line 
1type T | { T x( T ); };
2
3T y( T t ) {
4 T t_instance;
5 return x( t );
6}
7
8forall( type T ) lvalue T *?( T * );
9int ?++( int * );
10int ?=?( int *, int );
11forall( dtype DT ) DT * ?=?( DT **, DT * );
12
13type U = int *;
14
15U x( U u ) {
16 U u_instance = u;
17 (*u)++;
18 return u;
19}
20
21int *break_abstraction( U u ) {
22 return u;
23}
24
25// Local Variables: //
26// tab-width: 4 //
27// End: //
Note: See TracBrowser for help on using the repository browser.