Bug 894813 - IonMonkey: Implement dynamic range analysis checking. r=nbp