Home | History | Annotate | Download | only in Checkers

Lines Matching defs:LC

123                                    const LocationContext *LC) const;
128 const LocationContext *LC) const;
140 const LocationContext *LC) const;
250 const Expr *lexp, const Expr *rexp, const LocationContext *LC) const {
270 return handleAssign(state, MR, rexp, LC);
275 const MemRegion *MR, const Expr *rexp, const LocationContext *LC) const {
297 const MemRegion *IMR = state->getRegion(VD, LC);
322 const MemRegion *IMR = state->getRegion(VD, LC);
337 state = handleAssign( state, MR, OCE->getArg(0), LC);
343 return handleAssign(state, MR, OCE->getArg(1), LC);
380 const Expr *E, const LocationContext *LC) const {
388 return state->getRegion(VD, LC);
469 const LocationContext *LC = C.getPredecessor()->getLocationContext();
474 state = handleAssign(state, OCE->getArg(0), OCE->getArg(1), LC);
486 MR0 = getRegion(state, OCE->getArg(0), LC);
489 MR1 = getRegion(state, OCE->getArg(1), LC);