Home | History | Annotate | Download | only in Checkers

Lines Matching refs:escapes

3332   bool escapes = true;
3334 // A value escapes in three possible cases (this may change):
3343 escapes = !regionLoc->getRegion()->hasStackStorage();
3345 if (!escapes) {
3347 // the same state, then it escapes (since the store cannot represent
3349 escapes = (state == (state->bindLoc(*regionLoc, val)));
3351 if (!escapes) {
3355 escapes = !isa<VarRegion>(regionLoc->getRegion());
3362 if (!escapes)