shape analysis debug for linear indexing cases