Home | History | Annotate | Download | only in Checkers

Lines Matching refs: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 {
257 SVal sv = state->getSVal(lexp, LC);
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);
468 const LocationContext *LC = C.getLocationContext();
473 state = handleAssign(state, OCE->getArg(0), OCE->getArg(1), LC);
485 MR0 = getRegion(state, OCE->getArg(0), LC);
488 MR1 = getRegion(state, OCE->getArg(1), LC);