Searched refs:assumeValuesEqual (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | GTestChecker.cpp | 117 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
147 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C); in modelAssertionResultBoolConstructor()
175 State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C); in modelAssertionResultCopyConstructor()
269 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual() function in GTestChecker
|