StreamChecker.cpp - OpenGrok cross reference for /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

Lines Matching refs:BindExpr

198   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in bindAndAssumeTrue()
206   State = State->BindExpr(CE, C.getLocationContext(),  in bindInt()
522   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFopen()
581       State->BindExpr(CE, C.getLocationContext(), *StreamVal);  in evalFreopen()
585       State->BindExpr(CE, C.getLocationContext(),  in evalFreopen()
622   ProgramStateRef StateSuccess = State->BindExpr(  in evalFclose()
625       State->BindExpr(CE, C.getLocationContext(),  in evalFclose()
719         State->BindExpr(CE, C.getLocationContext(), *NMembVal);  in evalFreadFwrite()
728       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFreadFwrite()
791   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFseek()
831   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFgetpos()
862   State = State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFsetpos()
898       State->BindExpr(CE, C.getLocationContext(), RetVal);  in evalFtell()
909   ProgramStateRef StateFailed = State->BindExpr(  in evalFtell()