Wn. Chin et Ek. Goh, A REEXAMINATION OF OPTIMIZATION OF ARRAY SUBSCRIPT RANGE CHECKS, ACM transactions on programming languages and systems, 17(2), 1995, pp. 217-227
Jonathan Asuru proposed recently an enhanced method for optimizing arr
ay subscript range checks. The proposed method is however unsafe and m
ay generate optimized programs whose behavior is different from the or
iginal program. Two main flaws in Asuru's method are described, togeth
er with suggested remedies and improvements.