Comment 3 for bug 836401

Revision history for this message
In , Andrew Stubbs (ams-codesourcery) wrote :

The problem appears to be that the predicate accepts any constant, without checking the range.

I'll post a patch shortly.