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
|