OpenBSD-only
cat > bug.d << CODE
class Foo
{
int[] elements;
final int bar()
{
return elements[0];
}
}
CODE
dmd -c -O bug.d
----
The bug is caused by infinitely performing two associative transformations.
- cgelem.c(4444): Replace (a op1 (b op2 c)) with ((a op2 b) op1 c)
- cgelem.c(4471): Replace ((a op c1) op c2) with (a op (c2 op c1))
It only happens on OpenBSD because folding 'c2 op c1' fails in evalu8 due to a fenv.h workaround.
The proposed fix is to perform the first transformation only if 'b' is not a constant.
Comment #1 by code — 2012-08-08T20:19:56Z
There is another similar bug.
cat > bug.d << CODE
int get(int[] devt)
{
return devt[$ - 1];
}
CODE
dmd -c -O bug.d
----
This can be reproduced on non-OpenBSD platforms by deactivating evalu8,
i.e. defining 'elem * evalu8(elem *e) { return e; }'. This is effectively
what this functions does on OpenBSD.