Version: vala-0.7.10.

Code to reproduce:
_________________________________

int[] f()
{
    return new int[10];
}

void main()
{
    stdout.printf("%d\n", f().length);
}
_________________________________

This does not call f() at all and prints a random number. C code of main() looks like this:

_________________________________

        gint _tmp0_;
        fprintf (stdout, "%d\n", _tmp0_);
_________________________________