Lines Matching refs:CE
186 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal() argument
187 assert(CE && "Expecting a call expression."); in makeRetVal()
191 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
196 const CallExpr *CE) { in bindAndAssumeTrue() argument
197 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
198 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
205 CheckerContext &C, const CallExpr *CE) { in bindInt() argument
206 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
207 C.getSValBuilder().makeIntVal(Value, CE->getType())); in bindInt()
577 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFopen() local
578 if (!CE) in evalFopen()
581 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
585 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
620 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFreopen() local
621 if (!CE) in evalFreopen()
644 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
648 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
649 C.getSValBuilder().makeNullWithType(CE->getType())); in evalFreopen()
672 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFclose() local
673 if (!CE) in evalFclose()
686 CE, C.getLocationContext(), SVB.makeIntVal(0, C.getASTContext().IntTy)); in evalFclose()
688 State->BindExpr(CE, C.getLocationContext(), in evalFclose()
734 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFreadFwrite() local
735 if (!CE) in evalFreadFwrite()
761 State = bindInt(0, State, C, CE); in evalFreadFwrite()
770 State->BindExpr(CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
777 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
779 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFreadFwrite()
813 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFgetx() local
814 if (!CE) in evalFgetx()
829 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFgetx()
831 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFgetx()
864 State->BindExpr(CE, C.getLocationContext(), *GetBuf); in evalFgetx()
874 StateFailed = bindInt(*EofVal, State, C, CE); in evalFgetx()
877 State->BindExpr(CE, C.getLocationContext(), in evalFgetx()
878 C.getSValBuilder().makeNullWithType(CE->getType())); in evalFgetx()
899 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFputx() local
900 if (!CE) in evalFputx()
918 State->BindExpr(CE, C.getLocationContext(), *PutVal); in evalFputx()
924 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFputx()
926 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFputx()
944 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFputx()
960 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFprintf() local
961 if (!CE) in evalFprintf()
970 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFprintf()
971 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFprintf()
1002 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFscanf() local
1003 if (!CE) in evalFscanf()
1024 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFscanf()
1026 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFscanf()
1044 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFscanf()
1063 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalUngetc() local
1064 if (!CE) in evalUngetc()
1078 State->BindExpr(CE, C.getLocationContext(), *PutVal); in evalUngetc()
1089 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalUngetc()
1103 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalGetdelim() local
1104 if (!CE) in evalGetdelim()
1121 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalGetdelim()
1123 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalGetdelim()
1126 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()), in evalGetdelim()
1140 ProgramStateRef StateFailed = bindInt(-1, State, C, CE); in evalGetdelim()
1176 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFseek() local
1177 if (!CE) in evalFseek()
1189 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
1192 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
1230 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFgetpos() local
1231 if (!CE) in evalFgetpos()
1234 DefinedSVal RetVal = makeRetVal(C, CE); in evalFgetpos()
1235 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFgetpos()
1259 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFsetpos() local
1260 if (!CE) in evalFsetpos()
1265 DefinedSVal RetVal = makeRetVal(C, CE); in evalFsetpos()
1266 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFsetpos()
1295 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFtell() local
1296 if (!CE) in evalFtell()
1300 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFtell()
1302 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFtell()
1314 CE, C.getLocationContext(), SVB.makeIntVal(-1, Call.getResultType())); in evalFtell()
1334 auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalRewind() local
1335 if (!CE) in evalRewind()
1375 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFeofFerror() local
1376 if (!CE) in evalFeofFerror()
1389 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror()
1399 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror()
1469 const CallExpr *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr()); in evalFflush() local
1470 if (!CE) in evalFflush()
1474 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFflush()
1475 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush()