StaticAnalyzer/Checkers/GTestChecker.cpp

1 //==- GTestChecker.cpp - Model gtest API --*- C++ -*-==//
92 class GTestChecker : public Checker<check::PostCall> {
98   GTestChecker();
122 GTestChecker::GTestChecker() : AssertionResultII(nullptr), SuccessII(nullptr) {}
130 void GTestChecker::modelAssertionResultBoolConstructor(
159 void GTestChecker::modelAssertionResultCopyConstructor(
181 void GTestChecker::checkPostCall(const CallEvent &Call,
239 void GTestChecker::initIdentifierInfo(ASTContext &Ctx) const {
249 SVal GTestChecker::getAssertionResultSuccessFieldValue(
270 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2,
291   Mgr.registerChecker<GTestChecker>();