Lines Matching refs:GRState
120 const GRState *handleAssign(const GRState *state, const Expr *lexp,
122 const GRState *handleAssign(const GRState *state, const MemRegion *MR,
124 const GRState *invalidateIterators(const GRState *state, const MemRegion *MR,
128 const MemRegion *getRegion(const GRState *state, const Expr *E,
218 const GRState *IteratorsChecker::invalidateIterators(const GRState *state, in invalidateIterators()
237 const GRState *IteratorsChecker::handleAssign(const GRState *state, in handleAssign()
262 const GRState *IteratorsChecker::handleAssign(const GRState *state, in handleAssign()
367 const MemRegion *IteratorsChecker::getRegion(const GRState *state, in getRegion()
385 const GRState *state = C.getState(); in checkExpr()
458 const GRState *state = C.getState(); in checkPreStmt()
515 const GRState *state = C.getState(); in checkPreStmt()
574 const GRState *state = C.getState(); in checkPreStmt()