Searched refs:StFalse (Results 1 – 2 of 2) sorted by relevance
157 ProgramStateRef StTrue, StFalse; in evalComparison() local158 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()159 return StTrue && !StFalse; in evalComparison()
2750 ProgramStateRef StTrue, StFalse; in assumeCondition() local2796 ProgramStateRef StTrue, StFalse; in processBranch() local2798 std::tie(StTrue, StFalse) = *KnownCondValueAssumption; in processBranch()2805 if (StTrue && StFalse) in processBranch()2818 if (StFalse) in processBranch()2819 builder.generateNode(StFalse, false, PredN); in processBranch()