Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Res1

829       TryResult Res1, Res2;
830       Res1 = analyzeLogicOperatorCondition(BO1, Value, L1);
833       if (!Res1.isKnown() || !Res2.isKnown())
837         AlwaysTrue &= (Res1.isTrue() && Res2.isTrue());
838         AlwaysFalse &= !(Res1.isTrue() && Res2.isTrue());
840         AlwaysTrue &= (Res1.isTrue() || Res2.isTrue());
841         AlwaysFalse &= !(Res1.isTrue() || Res2.isTrue());