Lines Matching refs:BoundEx
1629 const Expr *BoundEx,
1650 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state,
1657 location = state->getSVal(BoundEx, (*I)->getLocationContext());
1658 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy);
1664 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy);
1669 const Expr *BoundEx,
1676 assert(BoundEx);
1679 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true);
1695 state->BindExpr(BoundEx, LCtx, UnknownVal()),
1701 LoadTy = BoundEx->getType();
1704 state->bindExprAndLocation(BoundEx, LCtx, location, V),
1712 const Stmt *BoundEx,
1743 NodeEx, BoundEx, *this);