Lines Matching refs:DefinedSVal
227 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
233 .castAs<DefinedSVal>(); in makeRetVal()
238 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
712 DefinedSVal RetVal = makeRetVal(C, CE); in makeRetValAndAssumeDual()
897 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
940 std::optional<DefinedSVal> StreamVal = in evalFreopen()
941 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
1214 std::optional<DefinedSVal> GetBuf = in evalFgetx()
1215 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
1598 std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>(); in preFflush()
1613 std::optional<DefinedSVal> Stream = StreamVal.getAs<DefinedSVal>(); in evalFflush()
1776 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()