source: translator/Tests/ResolvExpr/Forall.c @ ad8e062

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since ad8e062 was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit

  • Property mode set to 100644
File size: 572 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{
10  forall( type T ) T f( T );
11  void f( int );
12  void h( void (*p)(void) );
13 
14  int x;
15  void (*y)(void);
16  char z;
17  float w;
18 
19  f( x );
20  f( y );
21  f( z );
22  f( w );
23  h( f( y ) );
24}
25
26void g2()
27{
28  forall( type T ) void f( T, T );
29  forall( type T, type U ) void f( T, U );
30 
31  int x;
32  float y;
33  int *z;
34  float *w;
35 
36  f( x, y );
37  f( z, w );
38  f( x, z );
39}
Note: See TracBrowser for help on using the repository browser.