5 3 in previous work we have found a serious limitation of current data dependence tests to be that they cannot handle loop bounds or array subscripts that are symbolic nonlinear expressions