198   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
206   State = State->BindExpr(CE, C.getLocationContext(),  in bindInt()
585   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
644       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
648       State->BindExpr(CE, C.getLocationContext(),  in evalFreopen()
685   ProgramStateRef StateSuccess = State->BindExpr(  in evalFclose()
688       State->BindExpr(CE, C.getLocationContext(),  in evalFclose()
770         State->BindExpr(CE, C.getLocationContext(), *NMembVal);  in evalFreadFwrite()
779       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
831           State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetx()
864           State->BindExpr(CE, C.getLocationContext(), *GetBuf);  in evalFgetx()
877         State->BindExpr(CE, C.getLocationContext(),  in evalFgetx()
918         State->BindExpr(CE, C.getLocationContext(), *PutVal);  in evalFputx()
926         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFputx()
971   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFprintf()
1026         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFscanf()
1078       State->BindExpr(CE, C.getLocationContext(), *PutVal);  in evalUngetc()
1123         State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalGetdelim()
1192   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
1235   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetpos()
1266   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFsetpos()
1302       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFtell()
1313   ProgramStateRef StateFailed = State->BindExpr(  in evalFtell()