(In reply to Roland Scheidegger from comment #35)
Actually don't you get some comment in the ARB_fp_program it was compiled from
cg? You could just take that as a hint you're going to see that bug and invoke
the additional checks only then (as I don't think you'd ever see that bug
outside of cg generated programs).