Home | History | Annotate | Download | only in Checkers

Lines Matching defs:escapes

3460   bool escapes = true;
3462 // A value escapes in three possible cases (this may change):
3471 escapes = !regionLoc->getRegion()->hasStackStorage();
3473 if (!escapes) {
3475 // the same state, then it escapes (since the store cannot represent
3481 escapes = (state == (state->bindLoc(*regionLoc, val)));
3483 if (!escapes) {
3487 escapes = !isa<VarRegion>(regionLoc->getRegion());
3497 escapes = true;
3504 if (!escapes)