source: src/Tests/Scope.c @ ba407ce

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 ba407ce was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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: 696 bytes
Line 
1int x;
2typedef double y;
3typedef float t;
4y z;
5type u = struct { int a; double b; };
6int f( int y );
7y q;
8
9y w( y y, u v ) {
10        type x | { x t(u); };
11        u u = y;
12        x z = t(u);
13}
14
15y p;
16
17context has_u( type z ) {
18        z u(z);
19};
20
21forall( type 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.