Searched refs:GTestChecker (Results 1 – 4 of 4) sorted by relevance
92 class GTestChecker : public Checker<check::PostCall> { class98 GTestChecker();122 GTestChecker::GTestChecker() : AssertionResultII(nullptr), SuccessII(nullptr) {} in GTestChecker() function in GTestChecker130 void GTestChecker::modelAssertionResultBoolConstructor( in modelAssertionResultBoolConstructor()159 void GTestChecker::modelAssertionResultCopyConstructor( in modelAssertionResultCopyConstructor()181 void GTestChecker::checkPostCall(const CallEvent &Call, in checkPostCall()239 void GTestChecker::initIdentifierInfo(ASTContext &Ctx) const { in initIdentifierInfo()249 SVal GTestChecker::getAssertionResultSuccessFieldValue( in getAssertionResultSuccessFieldValue()270 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual()291 Mgr.registerChecker<GTestChecker>(); in registerGTestChecker()
48 GTestChecker.cpp
56 "GTestChecker.cpp",
1309 def GTestChecker : Checker<"GTest">,