Searched refs:addInstanceOfTransition (Results 1 – 1 of 1) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 259 static void addInstanceOfTransition(const CallEvent &Call, in addInstanceOfTransition() function
437 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsa()
438 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsa()
453 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsaAndNonNull()
454 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
458 addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
|