Searched refs:NonNullState (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 430 ProgramStateRef NonNullState, NullState; in evalIsa() local
431 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsa()
433 if (NonNullState) { in evalIsa()
434 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsa()
435 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsa()
446 ProgramStateRef NonNullState, NullState; in evalIsaAndNonNull() local
447 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsaAndNonNull()
449 if (NonNullState) { in evalIsaAndNonNull()
450 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true); in evalIsaAndNonNull()
451 addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false); in evalIsaAndNonNull()
|