Searched refs:assumeNoOutOfBounds (Results 1 – 2 of 2) sorted by relevance
417 void assumeNoOutOfBounds();
2476 assumeNoOutOfBounds(); in finalizeAccesses()2511 void ScopBuilder::assumeNoOutOfBounds() { in assumeNoOutOfBounds() function in ScopBuilder