Lines Matching refs:C
227 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal() argument
230 const LocationContext *LCtx = C.getLocationContext(); in makeRetVal()
231 return C.getSValBuilder() in makeRetVal()
232 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
236 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue() argument
238 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
239 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
246 CheckerContext &C, const CallExpr *CE) { in bindInt() argument
247 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
248 C.getSValBuilder().makeIntVal(Value, CE->getType())); in bindInt()
271 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
272 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
273 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
284 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag() argument
286 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) { in constructSetEofNoteTag()
297 const NoteTag *constructSetErrorNoteTag(CheckerContext &C, in constructSetErrorNoteTag() argument
299 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) { in constructSetErrorNoteTag()
310 const NoteTag *constructSetEofOrErrorNoteTag(CheckerContext &C, in constructSetEofOrErrorNoteTag() argument
312 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) { in constructSetEofOrErrorNoteTag()
455 CheckerContext &C) const;
458 CheckerContext &C) const;
460 CheckerContext &C) const;
463 CheckerContext &C) const;
466 CheckerContext &C) const;
469 CheckerContext &C) const;
472 CheckerContext &C, bool IsFread) const;
475 CheckerContext &C, bool SingleChar) const;
478 CheckerContext &C, bool IsSingleChar) const;
481 CheckerContext &C) const;
484 CheckerContext &C) const;
487 CheckerContext &C) const;
490 CheckerContext &C) const;
493 CheckerContext &C) const;
495 CheckerContext &C) const;
498 CheckerContext &C) const;
501 CheckerContext &C) const;
504 CheckerContext &C) const;
507 CheckerContext &C) const;
510 CheckerContext &C) const;
513 CheckerContext &C) const;
516 CheckerContext &C,
520 CheckerContext &C, const StreamErrorState &ErrorKind,
524 CheckerContext &C) const;
527 CheckerContext &C) const;
530 CheckerContext &C) const;
537 CheckerContext &C,
543 ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
553 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
560 ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
567 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
574 CheckerContext &C, ExplodedNode *Pred) const;
593 const NoteTag *constructLeakNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructLeakNoteTag() argument
595 return C.getNoteTag([this, StreamSym, in constructLeakNoteTag()
603 void initMacroValues(CheckerContext &C) const { in initMacroValues()
608 tryExpandAsInteger("EOF", C.getPreprocessor())) in initMacroValues()
613 tryExpandAsInteger("SEEK_SET", C.getPreprocessor())) in initMacroValues()
616 tryExpandAsInteger("SEEK_END", C.getPreprocessor())) in initMacroValues()
619 tryExpandAsInteger("SEEK_CUR", C.getPreprocessor())) in initMacroValues()
623 void initVaListType(CheckerContext &C) const { in initVaListType()
624 VaListType = C.getASTContext().getBuiltinVaListType().getCanonicalType(); in initVaListType()
631 CheckerContext &C);
643 StreamOperationEvaluator(CheckerContext &C) in StreamOperationEvaluator()
644 : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) { in StreamOperationEvaluator()
648 bool Init(const FnDescription *Desc, const CallEvent &Call, CheckerContext &C, in Init()
678 ProgramStateRef makeAndBindRetVal(ProgramStateRef State, CheckerContext &C) { in makeAndBindRetVal()
679 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in makeAndBindRetVal()
680 return State->BindExpr(CE, C.getLocationContext(), RetVal); in makeAndBindRetVal()
683 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue()
685 return State->BindExpr(CE, C.getLocationContext(), in bindReturnValue()
689 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue()
691 return State->BindExpr(CE, C.getLocationContext(), Val); in bindReturnValue()
695 CheckerContext &C) { in bindNullReturnValue()
696 return State->BindExpr(CE, C.getLocationContext(), in bindNullReturnValue()
697 C.getSValBuilder().makeNullWithType(CE->getType())); in bindNullReturnValue()
711 makeRetValAndAssumeDual(ProgramStateRef State, CheckerContext &C) { in makeRetValAndAssumeDual()
712 DefinedSVal RetVal = makeRetVal(C, CE); in makeRetValAndAssumeDual()
713 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in makeRetValAndAssumeDual()
714 return C.getConstraintManager().assumeDual(State, RetVal); in makeRetValAndAssumeDual()
717 const NoteTag *getFailureNoteTag(const StreamChecker *Ch, CheckerContext &C) { in getFailureNoteTag()
721 return Ch->constructSetEofNoteTag(C, StreamSym); in getFailureNoteTag()
723 return Ch->constructSetErrorNoteTag(C, StreamSym); in getFailureNoteTag()
725 return Ch->constructSetEofOrErrorNoteTag(C, StreamSym); in getFailureNoteTag()
790 CheckerContext &C) { in getAcquisitionSite() argument
850 static ProgramStateRef escapeArgs(ProgramStateRef State, CheckerContext &C, in escapeArgs() argument
856 C.blockCount(), C.getLocationContext(), in escapeArgs()
867 CheckerContext &C) const { in checkPreCall()
868 initMacroValues(C); in checkPreCall()
869 initVaListType(C); in checkPreCall()
875 Desc->PreFn(this, Desc, Call, C); in checkPreCall()
878 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
885 Desc->EvalFn(this, Desc, Call, C); in evalCall()
887 return C.isDifferent(); in evalCall()
891 CheckerContext &C) const { in evalFopen()
892 ProgramStateRef State = C.getState(); in evalFopen()
897 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
901 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
907 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
914 C.addTransition(StateNotNull, in evalFopen()
915 constructLeakNoteTag(C, RetSym, "Stream opened here")); in evalFopen()
916 C.addTransition(StateNull); in evalFopen()
920 CheckerContext &C) const { in preFreopen()
922 ProgramStateRef State = C.getState(); in preFreopen()
924 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
928 C.addTransition(State); in preFreopen()
933 CheckerContext &C) const { in evalFreopen()
934 ProgramStateRef State = C.getState(); in evalFreopen()
960 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
964 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
965 C.getSValBuilder().makeNullWithType(CE->getType())); in evalFreopen()
972 C.addTransition(StateRetNotNull, in evalFreopen()
973 constructLeakNoteTag(C, StreamSym, "Stream reopened here")); in evalFreopen()
974 C.addTransition(StateRetNull); in evalFreopen()
978 CheckerContext &C) const { in evalFclose()
979 ProgramStateRef State = C.getState(); in evalFclose()
980 StreamOperationEvaluator E(C); in evalFclose()
981 if (!E.Init(Desc, Call, C, State)) in evalFclose()
990 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFclose()
991 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
995 CheckerContext &C) const { in preRead()
996 ProgramStateRef State = C.getState(); in preRead()
998 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preRead()
1002 State = ensureStreamOpened(StreamVal, C, State); in preRead()
1005 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preRead()
1013 reportFEofWarning(Sym, C, State); in preRead()
1015 C.addTransition(State); in preRead()
1020 CheckerContext &C) const { in preWrite()
1021 ProgramStateRef State = C.getState(); in preWrite()
1023 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preWrite()
1027 State = ensureStreamOpened(StreamVal, C, State); in preWrite()
1030 State = ensureNoFilePositionIndeterminate(StreamVal, C, State); in preWrite()
1034 C.addTransition(State); in preWrite()
1069 tryToInvalidateFReadBufferByElements(ProgramStateRef State, CheckerContext &C, in tryToInvalidateFReadBufferByElements() argument
1076 const ASTContext &Ctx = C.getASTContext(); in tryToInvalidateFReadBufferByElements()
1079 getStartIndex(C.getSValBuilder(), Buffer); in tryToInvalidateFReadBufferByElements()
1102 return escapeByStartIndexAndCount(State, Call, C.blockCount(), Buffer, in tryToInvalidateFReadBufferByElements()
1111 const CallEvent &Call, CheckerContext &C, in evalFreadFwrite() argument
1113 ProgramStateRef State = C.getState(); in evalFreadFwrite()
1114 StreamOperationEvaluator E(C); in evalFreadFwrite()
1115 if (!E.Init(Desc, Call, C, State)) in evalFreadFwrite()
1134 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFreadFwrite()
1144 State, C, Call, *SizeVal, *NMembVal); in evalFreadFwrite()
1146 InvalidatedState ? InvalidatedState : escapeArgs(State, C, Call, {0}); in evalFreadFwrite()
1153 State->BindExpr(E.CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
1156 C.addTransition(StateNotFailed); in evalFreadFwrite()
1164 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFreadFwrite()
1166 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFreadFwrite()
1180 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFreadFwrite()
1184 CheckerContext &C, bool SingleChar) const { in evalFgetx() argument
1188 ProgramStateRef State = C.getState(); in evalFgetx()
1189 StreamOperationEvaluator E(C); in evalFgetx()
1190 if (!E.Init(Desc, Call, C, State)) in evalFgetx()
1196 State = escapeArgs(State, C, Call, {0}); in evalFgetx()
1199 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFgetx()
1201 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFgetx()
1211 C.addTransition(StateNotFailed); in evalFgetx()
1219 State->BindExpr(E.CE, C.getLocationContext(), *GetBuf); in evalFgetx()
1222 C.addTransition(StateNotFailed); in evalFgetx()
1229 StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFgetx()
1231 StateFailed = E.bindNullReturnValue(State, C); in evalFgetx()
1239 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFgetx()
1243 CheckerContext &C, bool IsSingleChar) const { in evalFputx() argument
1247 ProgramStateRef State = C.getState(); in evalFputx()
1248 StreamOperationEvaluator E(C); in evalFputx()
1249 if (!E.Init(Desc, Call, C, State)) in evalFputx()
1258 State->BindExpr(E.CE, C.getLocationContext(), *PutVal); in evalFputx()
1261 C.addTransition(StateNotFailed); in evalFputx()
1264 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFputx()
1266 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFputx()
1273 C.addTransition(StateNotFailed); in evalFputx()
1281 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFputx()
1284 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFputx()
1289 CheckerContext &C) const { in evalFprintf()
1293 ProgramStateRef State = C.getState(); in evalFprintf()
1294 StreamOperationEvaluator E(C); in evalFprintf()
1295 if (!E.Init(Desc, Call, C, State)) in evalFprintf()
1298 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFprintf()
1299 State = State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFprintf()
1312 C.addTransition(StateNotFailed); in evalFprintf()
1321 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFprintf()
1325 CheckerContext &C) const { in evalFscanf()
1329 ProgramStateRef State = C.getState(); in evalFscanf()
1330 StreamOperationEvaluator E(C); in evalFscanf()
1331 if (!E.Init(Desc, Call, C, State)) in evalFscanf()
1343 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFscanf()
1345 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFscanf()
1356 StateNotFailed = escapeArgs(StateNotFailed, C, Call, EscArgs); in evalFscanf()
1360 C.addTransition(StateNotFailed); in evalFscanf()
1369 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFscanf()
1374 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFscanf()
1378 CheckerContext &C) const { in evalUngetc()
1379 ProgramStateRef State = C.getState(); in evalUngetc()
1380 StreamOperationEvaluator E(C); in evalUngetc()
1381 if (!E.Init(Desc, Call, C, State)) in evalUngetc()
1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc()
1391 C.addTransition(StateNotFailed); in evalUngetc()
1399 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalUngetc()
1401 C.addTransition(StateFailed); in evalUngetc()
1406 CheckerContext &C) const { in evalGetdelim()
1407 ProgramStateRef State = C.getState(); in evalGetdelim()
1408 StreamOperationEvaluator E(C); in evalGetdelim()
1409 if (!E.Init(Desc, Call, C, State)) in evalGetdelim()
1421 State = escapeArgs(State, C, Call, {0, 1}); in evalGetdelim()
1424 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalGetdelim()
1425 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal); in evalGetdelim()
1442 StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal); in evalGetdelim()
1446 C.addTransition(StateNotFailed); in evalGetdelim()
1452 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); in evalGetdelim()
1460 C.getLocationContext()); in evalGetdelim()
1461 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalGetdelim()
1465 CheckerContext &C) const { in preFseek()
1466 ProgramStateRef State = C.getState(); in preFseek()
1468 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
1472 State = ensureStreamOpened(StreamVal, C, State); in preFseek()
1475 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()
1479 C.addTransition(State); in preFseek()
1483 CheckerContext &C) const { in evalFseek()
1484 ProgramStateRef State = C.getState(); in evalFseek()
1485 StreamOperationEvaluator E(C); in evalFseek()
1486 if (!E.Init(Desc, Call, C, State)) in evalFseek()
1490 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0); in evalFseek()
1494 C.addTransition(StateNotFailed); in evalFseek()
1505 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); in evalFseek()
1508 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFseek()
1513 CheckerContext &C) const { in evalFgetpos()
1514 ProgramStateRef State = C.getState(); in evalFgetpos()
1515 StreamOperationEvaluator E(C); in evalFgetpos()
1516 if (!E.Init(Desc, Call, C, State)) in evalFgetpos()
1520 std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C); in evalFgetpos()
1521 StateNotFailed = escapeArgs(StateNotFailed, C, Call, {1}); in evalFgetpos()
1526 C.addTransition(StateNotFailed); in evalFgetpos()
1527 C.addTransition(StateFailed); in evalFgetpos()
1532 CheckerContext &C) const { in evalFsetpos()
1533 ProgramStateRef State = C.getState(); in evalFsetpos()
1534 StreamOperationEvaluator E(C); in evalFsetpos()
1535 if (!E.Init(Desc, Call, C, State)) in evalFsetpos()
1539 std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C); in evalFsetpos()
1543 C.addTransition(StateNotFailed); in evalFsetpos()
1555 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFsetpos()
1559 CheckerContext &C) const { in evalFtell()
1560 ProgramStateRef State = C.getState(); in evalFtell()
1561 StreamOperationEvaluator E(C); in evalFtell()
1562 if (!E.Init(Desc, Call, C, State)) in evalFtell()
1565 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFtell()
1567 State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFtell()
1573 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); in evalFtell()
1578 C.addTransition(StateNotFailed); in evalFtell()
1579 C.addTransition(StateFailed); in evalFtell()
1583 CheckerContext &C) const { in evalRewind()
1584 ProgramStateRef State = C.getState(); in evalRewind()
1585 StreamOperationEvaluator E(C); in evalRewind()
1586 if (!E.Init(Desc, Call, C, State)) in evalRewind()
1591 C.addTransition(State); in evalRewind()
1595 CheckerContext &C) const { in preFflush()
1596 ProgramStateRef State = C.getState(); in preFflush()
1604 C.getConstraintManager().assumeDual(State, *Stream); in preFflush()
1606 ensureStreamOpened(StreamVal, C, StateNotNull); in preFflush()
1610 CheckerContext &C) const { in evalFflush()
1611 ProgramStateRef State = C.getState(); in evalFflush()
1620 C.getConstraintManager().assumeDual(State, *Stream); in evalFflush()
1633 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFflush()
1634 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush()
1668 C.addTransition(StateNotFailed); in evalFflush()
1669 C.addTransition(StateFailed); in evalFflush()
1674 CheckerContext &C) const { in evalClearerr()
1675 ProgramStateRef State = C.getState(); in evalClearerr()
1676 StreamOperationEvaluator E(C); in evalClearerr()
1677 if (!E.Init(Desc, Call, C, State)) in evalClearerr()
1684 C.addTransition(State); in evalClearerr()
1688 const CallEvent &Call, CheckerContext &C, in evalFeofFerror() argument
1690 ProgramStateRef State = C.getState(); in evalFeofFerror()
1691 StreamOperationEvaluator E(C); in evalFeofFerror()
1692 if (!E.Init(Desc, Call, C, State)) in evalFeofFerror()
1699 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, E.CE); in evalFeofFerror()
1700 C.addTransition(E.setStreamState( in evalFeofFerror()
1709 ProgramStateRef FalseState = E.bindReturnValue(State, C, 0); in evalFeofFerror()
1710 C.addTransition(E.setStreamState( in evalFeofFerror()
1718 CheckerContext &C) const { in evalFileno()
1728 ProgramStateRef State = C.getState(); in evalFileno()
1729 StreamOperationEvaluator E(C); in evalFileno()
1730 if (!E.Init(Desc, Call, C, State)) in evalFileno()
1733 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFileno()
1734 State = State->BindExpr(E.CE, C.getLocationContext(), RetVal); in evalFileno()
1739 C.addTransition(State); in evalFileno()
1743 CheckerContext &C) const { in preDefault()
1744 ProgramStateRef State = C.getState(); in preDefault()
1746 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
1750 State = ensureStreamOpened(StreamVal, C, State); in preDefault()
1754 C.addTransition(State); in preDefault()
1758 const CallEvent &Call, CheckerContext &C, in evalSetFeofFerror() argument
1761 ProgramStateRef State = C.getState(); in evalSetFeofFerror()
1769 C.addTransition(State); in evalSetFeofFerror()
1774 CheckerContext &C, in ensureStreamNonNull() argument
1780 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
1786 if (ExplodedNode *N = C.generateErrorNode(StateNull)) { in ensureStreamNonNull()
1791 C.emitReport(std::move(R)); in ensureStreamNonNull()
1800 CheckerContext &C, in ensureStreamOpened() argument
1813 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
1815 C.emitReport(std::make_unique<PathSensitiveBugReport>( in ensureStreamOpened()
1829 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
1831 C.emitReport(std::make_unique<PathSensitiveBugReport>( in ensureStreamOpened()
1845 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate() argument
1866 ExplodedNode *N = C.generateNonFatalErrorNode(State); in ensureNoFilePositionIndeterminate()
1873 C.emitReport(std::move(R)); in ensureNoFilePositionIndeterminate()
1880 if (ExplodedNode *N = C.generateErrorNode(State)) { in ensureNoFilePositionIndeterminate()
1884 C.emitReport(std::move(R)); in ensureNoFilePositionIndeterminate()
1894 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C, in ensureFseekWhenceCorrect() argument
1905 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in ensureFseekWhenceCorrect()
1906 C.emitReport(std::make_unique<PathSensitiveBugReport>( in ensureFseekWhenceCorrect()
1917 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C, in reportFEofWarning() argument
1919 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in reportFEofWarning()
1926 C.emitReport(std::move(R)); in reportFEofWarning()
1929 C.addTransition(State); in reportFEofWarning()
1934 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks() argument
1935 ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
1951 const ExplodedNode *StreamOpenNode = getAcquisitionSite(Err, LeakSym, C); in reportLeaks()
1957 StreamStmt, C.getSourceManager(), in reportLeaks()
1968 C.emitReport(std::move(R)); in reportLeaks()
1975 CheckerContext &C) const { in checkDeadSymbols()
1976 ProgramStateRef State = C.getState(); in checkDeadSymbols()
1991 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
1993 N = reportLeaks(LeakedSyms, C, N); in checkDeadSymbols()
1995 C.addTransition(State, N); in checkDeadSymbols()