Comment 3 for bug 634682

Revision history for this message
Ramana Radhakrishnan (ramana) wrote :

I don't see how this can be done without VRP at the RTL level to show that the value of c is bounded by 50 above.

Ramana