source: src/Tests/Syntax/Scope.c @ 843054c2

int x;
typedef double y;
typedef float t;
y z;
type u = struct { int a; double b; };
int f( int y );
y q;

y w(y y, u v) {
    type x | { x t(u); };
    u u = y;
    x z = t(u);
}

y p;

context has_u( type z )
{
  forall( type t ) z u(t);
};

forall( type t | has_u( t ) )
y q( t the_t )
{
    t y = u( the_t );
}

t f( y p ) {
    int y;
    typedef char x;

    {
        x y;
        typedef x z;

        {
            z x;
            typedef z y;
            y z = x;
        }

        z x = y;
    }

    x q = y;
}

t g( void ) {
    typedef char x;
    try {
        some_func();
    } catch ( x x ) {
        t y = x;
    }
    x z;
}

y q(i)                                                  /* K&R style */
    int i;
{
    switch (i) {
        y q = i;
      case 0:
        return q;
      default:
        return i;
    }
}