source: src/Tests/Abstype.c @ 4c82a3c

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationresolv-newwith_gc
Last change on this file since 4c82a3c was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 7 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.