view lphobos/typeinfos2.d @ 1491:360a8e8eea51

Teach stack promotion to walk the CFG when a potential reuse of an allocation is found to see if it can actually happen instead of just assuming it will. This allows it to catch cases like {{{ int i; Foo f; while (cond(i)) f = new Foo(i++); return f.value; }}} where it previously wouldn't because a phi using the allocation would appear in the condition block to propagate it to the use after the loop.
author Frits van Bommel <fvbommel wxs.nl>
date Thu, 11 Jun 2009 02:04:44 +0200
parents 288fe1029e1f
children
line wrap: on
line source

module typeinfos2;

import
typeinfo2.ti_AC,
typeinfo2.ti_Adouble,
typeinfo2.ti_Afloat,
typeinfo2.ti_Ag,
typeinfo2.ti_Aint,
typeinfo2.ti_Along,
typeinfo2.ti_Areal,
typeinfo2.ti_Ashort,
typeinfo2.ti_C;