Lines Matching refs:DefinedSVal

186 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()
192       .castAs<DefinedSVal>();  in makeRetVal()
197   DefinedSVal RetVal = makeRetVal(C, CE);  in bindAndAssumeTrue()
581   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFopen()
624   std::optional<DefinedSVal> StreamVal =  in evalFreopen()
625       getStreamArg(Desc, Call).getAs<DefinedSVal>();  in evalFreopen()
859       std::optional<DefinedSVal> GetBuf =  in evalFgetx()
860           Call.getArgSVal(0).getAs<DefinedSVal>();  in evalFgetx()
1189   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFseek()
1234   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFgetpos()
1265   DefinedSVal RetVal = makeRetVal(C, CE);  in evalFsetpos()
1439   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();  in preFflush()
1454   std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>();  in evalFflush()
1517   auto Stream = StreamVal.getAs<DefinedSVal>();  in ensureStreamNonNull()