source: src/Tests/ResolvExpr/Forall.c@ a65d92e

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 string stuck-waitfor-destruct with_gc
Last change on this file since a65d92e was a65d92e, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago

regression testing, second attempt

  • Property mode set to 100644
File size: 605 bytes
Line 
1int ?=?( int*, int );
2float ?=?( float*, float );
3int * ?=?( int **, int * );
4float * ?=?( float **, float * );
5char ?=?( char*, char );
6void (* ?=?( void (**)(void), void (*)(void) ))(void);
7
8void g1() {
9 forall( type T ) T f( T );
10 void f( int );
11 void h( void (*p)(void) );
12
13 int x;
14 void (*y)(void);
15 char z;
16 float w;
17
18 f( x );
19 f( y );
20 f( z );
21 f( w );
22 h( f( y ) );
23}
24
25void g2() {
26 forall( type T ) void f( T, T );
27 forall( type T, type U ) void f( T, U );
28
29 int x;
30 float y;
31 int *z;
32 float *w;
33
34 f( x, y );
35 f( z, w );
36 f( x, z );
37}
38
39// Local Variables: //
40// tab-width: 4 //
41// End: //
Note: See TracBrowser for help on using the repository browser.