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.
Bernd
