Lines Matching defs:NonNullState

433   ProgramStateRef NonNullState, NullState;
434   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
436   if (NonNullState) {
437     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
438     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);
449   ProgramStateRef NonNullState, NullState;
450   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
452   if (NonNullState) {
453     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
454     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);