Searched refs:ThisSuccess (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DGTestChecker.cpp145 SVal ThisSuccess = getAssertionResultSuccessFieldValue( local
148 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C);
171 SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, local
176 State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C);

Completed in 133 milliseconds