On May 10, 2016 7:17:59 PM GMT+02:00, Bernd Schmidt <bschm...@redhat.com> wrote: >On 05/10/2016 07:06 PM, Richard Biener wrote: >> >> Dominators are never freed. > >Not sure what you're trying to say here. There's lots of calls to >free_dominance_info in the tree and obviously we need to do something >to >prevent the bug Ilya is trying to fix.
The policy for passes is to only free dominator info if they wreck it. They have to expect it being present but can also choose to free it early of course. Richard. > >Bernd
