source: src/tests/Scope.c @ 9724df0

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 9724df0 was 7ff30d07, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Conflicts:

Makefile.in
aclocal.m4
configure
src/Makefile.in
src/Tests/Context.c
src/driver/Makefile.in
src/examples/Makefile.in
src/examples/ctxts.c
src/examples/esskaykay.c
src/libcfa/Makefile.in

  • Property mode set to 100644
File size: 700 bytes
Line 
1int x;
2typedef double y;
3typedef float t;
4y z;
5otype u = struct { int a; double b; };
6int f( int y );
7y q;
8
9y w( y y, u v ) {
10        otype x | { x t(u); };
11        u u = y;
12        x z = t(u);
13}
14
15y p;
16
17context has_u( otype z ) {
18        z u(z);
19};
20
21forall( otype t | has_u( t ) )
22y q( t the_t ) {
23        t y = u( the_t );
24}
25
26t f( y p ) {
27        int y;
28        typedef char x;
29        {
30                x y;
31                typedef x z;
32                {
33                        z x;
34                        typedef z y;
35                        y z = x;
36                }
37                z x = y;
38        }
39        x q = y;
40}
41
42t g( void ) {
43        typedef char x;
44        try {
45                some_func();
46        } catch ( x x ) {
47                t y = x;
48        }
49        x z;
50}
51
52y q( i )                                                                                                /* K&R style */
53        int i;
54{
55        switch ( i ) {
56                y q = i;
57          case 0:
58                return q;
59          default:
60                return i;
61        }
62}
63
64// Local Variables: //
65// tab-width: 4 //
66// End: //
Note: See TracBrowser for help on using the repository browser.