Searched refs:assumeValuesEqual (Results 1 – 1 of 1) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | GTestChecker.cpp | 116 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
148 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C); in modelAssertionResultBoolConstructor()
176 State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C); in modelAssertionResultCopyConstructor()
270 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual() function in GTestChecker
|