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
