Lines Matching refs:BindExpr
239 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
247 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
680 return State->BindExpr(CE, C.getLocationContext(), RetVal); in makeAndBindRetVal()
685 return State->BindExpr(CE, C.getLocationContext(), in bindReturnValue()
691 return State->BindExpr(CE, C.getLocationContext(), Val); in bindReturnValue()
696 return State->BindExpr(CE, C.getLocationContext(), in bindNullReturnValue()
713 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in makeRetValAndAssumeDual()
901 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
960 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
964 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
1153 State->BindExpr(E.CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
1166 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFreadFwrite()
1201 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFgetx()
1219 State->BindExpr(E.CE, C.getLocationContext(), *GetBuf); in evalFgetx()
1258 State->BindExpr(E.CE, C.getLocationContext(), *PutVal); in evalFputx()
1266 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFputx()
1299 State = State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFprintf()
1345 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFscanf()
1567 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFtell()
1734 State = State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFileno()