[RFC] IL verification reorg

[Jeff Law]

On 02/21/13 05:37, 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?
>
> Verification would be as outlined in the patch below - I didn't
> yet adjust users of the then obsoleted TODO flags (another
> possibility were to unconditionally verify - in the old days
> all verification was controlled by --enable-checking options).
Ideally if there's a property that's supposed to hold at this time, it 
should be checked in a development compiler.  Thus dropping the passes 
ability to control things in a fine grained manner and checking 
everything implied by the PROPs seems reasonable to me.

jeff