CSY/reowolf Files · testdata/parser/counterexamples/declaration_after_function_call.pdl

Files @ ef37386d0c6f

Branch filter:

Location: CSY/reowolf/testdata/parser/counterexamples/declaration_after_function_call.pdl - annotation

ef37386d0c6f 183 B text/plain Show Source Show as Raw Download as Raw

Put expression types of procedures in type table

Before we annotated the AST. But that is silly in hindsight:
certain operations have a completely different meaning when applied
in a polymorphic context (i.e. the field index determined by a
select expression).

fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c
fbd1526bae2c

#version 1
// My bad: C-ism of declarations on top

int func_b() {
    return 5;
}

int func_a() {
    int a = 2; int b = 3;
    int c = 5; func_b(c);
    int e = 3;

    return b;
}