Home | History | Annotate | Download | only in Analysis

Lines Matching defs:AlwaysTrue

827     bool AlwaysTrue = true, AlwaysFalse = true;
837 AlwaysTrue &= (Res1.isTrue() && Res2.isTrue());
840 AlwaysTrue &= (Res1.isTrue() || Res2.isTrue());
845 if (AlwaysTrue || AlwaysFalse) {
847 BuildOpts.Observer->compareAlwaysTrue(B, AlwaysTrue);
848 return TryResult(AlwaysTrue);