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