On Wed, Jul 25, 2012 at 1:49 PM, Richard Guenther <richard.guent...@gmail.com> wrote: > Oh, bigger bitmap_head? That's bad ... :/ So much for '#ifdefs are bad' :/
Bigger bitmap_head isn't a problem. A bigger bitmap_element would be bad. For GGC allocated bitmaps, nothing changed (rounding, etc.). If you think it's a problem anyway, I can eliminate desc from bitmap head... Ciao! Steven
