Searched refs:DimOutside (Results 1 – 1 of 1) sorted by relevance
674 isl::set DimOutside = Var.lt_set(Zero); in assumeNoOutOfBound() local678 DimOutside = DimOutside.unite(SizeE.le_set(Var)); in assumeNoOutOfBound()680 Outside = Outside.unite(DimOutside); in assumeNoOutOfBound()