Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Res2

711       TryResult Res1, Res2;
713       Res2 = analyzeLogicOperatorCondition(BO2, Value, L2);
715       if (!Res1.isKnown() || !Res2.isKnown())
719         AlwaysTrue &= (Res1.isTrue() && Res2.isTrue());
720         AlwaysFalse &= !(Res1.isTrue() && Res2.isTrue());
722         AlwaysTrue &= (Res1.isTrue() || Res2.isTrue());
723         AlwaysFalse &= !(Res1.isTrue() || Res2.isTrue());