source: tests/zombies/scope.cfa @ 92bfda0

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 92bfda0 was 686cb63, checked in by Thierry Delisle <tdelisle@…>, 22 months ago

Added new tests for signature errors.
Moved several error tests to errors folder.
Moved tests with no expect to zombies folder.

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