Searched refs:addInstanceOfTransition (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 258 static void addInstanceOfTransition(const CallEvent &Call, in addInstanceOfTransition() function
434 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsa()
435 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsa()
450 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsaAndNonNull()
451 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
455 addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
|