[RFC] IL verification reorg

[Martin Jambor]

Hi,

On Thu, Feb 21, 2013 at 01:37:28PM +0100, Richard Biener wrote:
> 
> I'm trying to make IL verifying more streamlined - it's often
> that passes have some random (or no) verification in their TODO
> which makes pinning down issues to specific passes hard.
> 
> Thus I propose to unify the various TODO_verify_* flags into
> a single one, TODO_verify_il, and based on what IL properties
> are currently active perform checking.  That still leaves the
> possibility to have no checking (with no TODO_verify_il).
> 
> Do people think that the fine-grained verification control
> is actually useful or do you agree with me that it leads to
> sloppiness?

I do not think it is useful and I agree that checking everything that
is supposed to hold at the given time is a good idea.

Possibly, if you are touching this are anyway, could we (if requested)
dump before verifying so that if verification fails, the last function
in a dump is actually the one with the problem?  Of course, all other
TODOs would need to be processed before dumping... but of course that
is just a thought.

Thanks,

Martin