Lines Matching refs:Env
84 const Environment &Env = Results[0].second.Env; in TEST() local
89 EXPECT_EQ(Env.getStorageLocation(*FooDecl, SkipPast::None), nullptr); in TEST()
108 const Environment &Env = Results[0].second.Env; in TEST() local
114 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
117 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
135 const Environment &Env = Results[0].second.Env; in TEST() local
141 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
144 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
166 const Environment &Env = Results[0].second.Env; in TEST() local
185 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
189 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
191 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
214 const Environment &Env = Results[0].second.Env; in TEST() local
233 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
237 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
239 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
260 const Environment &Env = Results[0].second.Env; in TEST() local
279 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
283 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
285 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
306 const Environment &Env = Results[0].second.Env; in TEST() local
312 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
316 cast<ReferenceValue>(Env.getValue(*FooLoc)); in TEST()
320 const Value *FooReferentVal = Env.getValue(FooReferentLoc); in TEST()
354 const Environment &Env = Results[0].second.Env; in TEST() local
402 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
403 const auto *FooVal = cast<ReferenceValue>(Env.getValue(*FooLoc)); in TEST()
405 cast<StructValue>(Env.getValue(FooVal->getReferentLoc())); in TEST()
410 cast<StructValue>(Env.getValue(BarVal->getReferentLoc())); in TEST()
415 EXPECT_THAT(Env.getValue(FooReferentLoc), IsNull()); in TEST()
420 EXPECT_THAT(Env.getValue(FooPtrPointeeLoc), IsNull()); in TEST()
425 EXPECT_THAT(Env.getValue(BazReferentLoc), NotNull()); in TEST()
430 EXPECT_THAT(Env.getValue(BazPtrPointeeLoc), NotNull()); in TEST()
451 const Environment &Env = Results[0].second.Env; in TEST() local
457 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
460 const PointerValue *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST()
464 const Value *FooPointeeVal = Env.getValue(FooPointeeLoc); in TEST()
499 const Environment &Env = Results[0].second.Env; in TEST() local
559 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
560 const auto *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST()
562 cast<StructValue>(Env.getValue(FooVal->getPointeeLoc())); in TEST()
567 cast<StructValue>(Env.getValue(BarVal->getPointeeLoc())); in TEST()
572 EXPECT_THAT(Env.getValue(FooReferentLoc), IsNull()); in TEST()
577 EXPECT_THAT(Env.getValue(FooPtrPointeeLoc), IsNull()); in TEST()
582 EXPECT_THAT(Env.getValue(BazReferentLoc), NotNull()); in TEST()
587 EXPECT_THAT(Env.getValue(BazPtrPointeeLoc), NotNull()); in TEST()
605 const Environment &Env = Results[0].second.Env; in TEST() local
614 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
618 Env.getStorageLocation(*BarDecl, SkipPast::None); in TEST()
621 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
624 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
660 const Environment &Env1 = Results[3].second.Env; in TEST()
667 const Environment &Env2 = Results[2].second.Env; in TEST()
672 const Environment &Env3 = Results[1].second.Env; in TEST()
677 const Environment &Env4 = Results[0].second.Env; in TEST()
699 const Environment &Env = Results[0].second.Env; in TEST() local
704 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
710 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
728 const Environment &Env = Results[0].second.Env; in TEST() local
733 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
739 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
758 const Environment &Env = Results[0].second.Env; in TEST() local
763 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
772 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
773 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), FooVal); in TEST()
793 const Environment &Env = Results[0].second.Env; in TEST() local
798 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
805 cast<PointerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
806 EXPECT_EQ(Env.getValue(BarVal->getPointeeLoc()), FooVal); in TEST()
811 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), FooVal); in TEST()
834 const Environment &Env1 = Results[0].second.Env; in TEST()
835 const Environment &Env2 = Results[1].second.Env; in TEST()
880 const Environment &Env = Results[0].second.Env; in TEST() local
886 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
889 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
896 Env.getStorageLocation(*BarDecl, SkipPast::None); in TEST()
899 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
921 const Environment &Env = Results[0].second.Env; in TEST() local
940 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
944 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
946 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
965 const Environment &Env = Results[0].second.Env; in TEST() local
971 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
975 dyn_cast<ReferenceValue>(Env.getValue(*FooLoc)); in TEST()
981 const Value *FooReferentVal = Env.getValue(FooReferentLoc); in TEST()
1001 const Environment &Env = Results[0].second.Env; in TEST() local
1007 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
1010 const PointerValue *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST()
1014 const Value *FooPointeeVal = Env.getValue(FooPointeeLoc); in TEST()
1036 const Environment &Env = Results[0].second.Env; in TEST() local
1055 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1056 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1062 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), BarVal); in TEST()
1097 const Environment &Env = Results[0].second.Env; in TEST() local
1152 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1153 const auto &FooVal = *cast<StructValue>(Env.getValue(FooLoc)); in TEST()
1165 EXPECT_EQ(Env.getValue(FooLoc.getChild(*APublicDecl)), in TEST()
1168 EXPECT_EQ(Env.getValue(FooLoc.getChild(*AProtectedDecl)), in TEST()
1173 EXPECT_EQ(Env.getValue(FooLoc.getChild(*BDefaultDecl)), in TEST()
1176 EXPECT_EQ(Env.getValue(FooLoc.getChild(*BProtectedDecl)), in TEST()
1179 EXPECT_EQ(Env.getValue(FooLoc.getChild(*BPrivateDecl)), in TEST()
1189 const Environment &Env = Results[0].second.Env; in derivedBaseMemberExpectations() local
1212 Env.getStorageLocation(*FooDecl, SkipPast::None)); in derivedBaseMemberExpectations()
1213 const auto &FooVal = *cast<StructValue>(Env.getValue(FooLoc)); in derivedBaseMemberExpectations()
1215 EXPECT_EQ(Env.getValue(FooLoc.getChild(*BarDecl)), FooVal.getChild(*BarDecl)); in derivedBaseMemberExpectations()
1273 const Environment &Env = Results[0].second.Env; in TEST() local
1292 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1293 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1299 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), BarVal); in TEST()
1363 const Environment &Env = Results[0].second.Env; in TEST() local
1382 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1383 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1386 cast<IntegerValue>(Env.getValue(BarVal->getReferentLoc())); in TEST()
1391 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), BarReferentVal); in TEST()
1419 const Environment &Env = Results[0].second.Env; in TEST() local
1422 Env.getThisPointeeStorageLocation()); in TEST()
1432 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
1437 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1457 const auto *QuxVal = dyn_cast<StructValue>(Env.getValue(*QuxLoc)); in TEST()
1463 EXPECT_EQ(Env.getValue(*BazLoc), BazVal); in TEST()
1467 EXPECT_EQ(Env.getValue(*QuuxDecl, SkipPast::None), BazVal); in TEST()
1496 const Environment &Env = Results[0].second.Env; in TEST() local
1499 cast<AggregateStorageLocation>(Env.getThisPointeeStorageLocation()); in TEST()
1508 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
1513 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1533 const auto *QuxVal = dyn_cast<StructValue>(Env.getValue(*QuxLoc)); in TEST()
1539 EXPECT_EQ(Env.getValue(*BazLoc), BazVal); in TEST()
1543 EXPECT_EQ(Env.getValue(*QuuxDecl, SkipPast::None), BazVal); in TEST()
1567 const Environment &Env = Results[0].second.Env; in TEST() local
1570 Env.getThisPointeeStorageLocation()); in TEST()
1580 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
1585 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1608 const Environment &Env = Results[0].second.Env; in TEST() local
1611 Env.getThisPointeeStorageLocation()); in TEST()
1621 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
1626 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), BarVal); in TEST()
1646 const Environment &Env = Results[0].second.Env; in TEST() local
1648 EXPECT_THAT(Env.getThisPointeeStorageLocation(), IsNull()); in TEST()
1670 const Environment &Env = Results[0].second.Env; in TEST() local
1673 Env.getThisPointeeStorageLocation()); in TEST()
1680 cast<IntegerValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
1684 EXPECT_EQ(Env.getValue(*QuxDecl, SkipPast::None), FooVal); in TEST()
1706 const Environment &Env = Results[0].second.Env; in TEST() local
1709 Env.getThisPointeeStorageLocation()); in TEST()
1716 cast<IntegerValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
1720 EXPECT_EQ(Env.getValue(*QuxDecl, SkipPast::None), FooVal); in TEST()
1742 const Environment &Env = Results[0].second.Env; in TEST() local
1745 Env.getThisPointeeStorageLocation()); in TEST()
1752 cast<ReferenceValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
1758 cast<ReferenceValue>(Env.getValue(*QuxDecl, SkipPast::None)); in TEST()
1780 const Environment &Env = Results[0].second.Env; in TEST() local
1789 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1793 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1795 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
1819 const Environment &Env = Results[0].second.Env; in TEST() local
1828 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1832 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1834 EXPECT_EQ(Env.getValue(*BarLoc), BarVal); in TEST()
1859 const Environment &Env1 = Results[0].second.Env; in TEST()
1860 const Environment &Env2 = Results[1].second.Env; in TEST()
1921 const Environment &Env = Results[0].second.Env; in TEST() local
1933 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1935 Env.getStorageLocation(*BarDecl, SkipPast::None)); in TEST()
1937 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1938 const auto *BarVal = cast<StructValue>(Env.getValue(*BarLoc)); in TEST()
1942 cast<IntegerValue>(Env.getValue(FooLoc->getChild(*BazDecl))); in TEST()
1944 cast<IntegerValue>(Env.getValue(BarLoc->getChild(*BazDecl))); in TEST()
1967 const Environment &Env = Results[0].second.Env; in TEST() local
1979 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1981 Env.getStorageLocation(*BarDecl, SkipPast::None)); in TEST()
1983 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST()
1984 const auto *BarVal = cast<StructValue>(Env.getValue(*BarLoc)); in TEST()
1988 cast<IntegerValue>(Env.getValue(FooLoc->getChild(*BazDecl))); in TEST()
1990 cast<IntegerValue>(Env.getValue(BarLoc->getChild(*BazDecl))); in TEST()
2029 const Environment &Env1 = Results[0].second.Env; in TEST()
2030 const Environment &Env2 = Results[1].second.Env; in TEST()
2086 const Environment &Env = Results[0].second.Env; in TEST() local
2098 *cast<StructValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2100 cast<IntegerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2118 const Environment &Env = Results[0].second.Env; in TEST() local
2126 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
2127 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST()
2147 const Environment &Env = Results[0].second.Env; in TEST() local
2155 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
2156 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST()
2176 const Environment &Env = Results[0].second.Env; in TEST() local
2184 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
2185 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST()
2205 const Environment &Env = Results[0].second.Env; in TEST() local
2213 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST()
2214 const auto *BarVal = Env.getValue(*BarDecl, SkipPast::None); in TEST()
2240 const Environment &Env = Results[0].second.Env; in TEST() local
2258 cast<PointerValue>(Env.getValue(*FooXDecl, SkipPast::None)); in TEST()
2260 cast<PointerValue>(Env.getValue(*FooYDecl, SkipPast::None)); in TEST()
2262 cast<PointerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2264 cast<PointerValue>(Env.getValue(*BazDecl, SkipPast::None)); in TEST()
2266 cast<PointerValue>(Env.getValue(*NullDecl, SkipPast::None)); in TEST()
2275 EXPECT_THAT(Env.getValue(FooPointeeLoc), IsNull()); in TEST()
2279 EXPECT_THAT(Env.getValue(BarPointeeLoc), IsNull()); in TEST()
2283 EXPECT_THAT(Env.getValue(BazPointeeLoc), IsNull()); in TEST()
2288 EXPECT_THAT(Env.getValue(NullPointeeLoc), IsNull()); in TEST()
2306 const Environment &Env = Results[0].second.Env; in TEST() local
2313 Env.getValue(*MemberPointerDecl, SkipPast::None)); in TEST()
2316 EXPECT_THAT(Env.getValue(MemberLoc), IsNull()); in TEST()
2334 const Environment &Env = Results[0].second.Env; in TEST() local
2343 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
2345 cast<PointerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2363 const Environment &Env = Results[0].second.Env; in TEST() local
2372 cast<PointerValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2374 cast<PointerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2393 const Environment &Env = Results[0].second.Env; in TEST() local
2402 cast<PointerValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2404 cast<ReferenceValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2424 const Environment &Env = Results[0].second.Env; in TEST() local
2436 cast<StructValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2438 cast<StructValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2441 dyn_cast<StructValue>(Env.getValue(*BazDecl, SkipPast::None)); in TEST()
2465 const Environment &Env = Results[0].second.Env; in TEST() local
2474 cast<PointerValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2476 cast<IntegerValue>(Env.getValue(FooVal->getPointeeLoc())); in TEST()
2479 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2526 const Environment &Env = Results[0].second.Env; in TEST() local
2553 cast<IntegerValue>(Env.getValue(*FooArgDecl, SkipPast::None)); in TEST()
2555 cast<IntegerValue>(Env.getValue(*BarArgDecl, SkipPast::None)); in TEST()
2557 cast<IntegerValue>(Env.getValue(*QuxArgDecl, SkipPast::None)); in TEST()
2560 cast<StructValue>(Env.getValue(*QuuxDecl, SkipPast::None)); in TEST()
2591 const Environment &Env = Results[0].second.Env; in TEST() local
2598 Env.getStorageLocation(*BazDecl, SkipPast::None)); in TEST()
2602 EXPECT_THAT(Env.getValue(*BazLoc), IsNull()); in TEST()
2620 const Environment &Env = Results[0].second.Env; in TEST() local
2626 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2633 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2636 EXPECT_EQ(FooVal, &Env.getBoolLiteralValue(true)); in TEST()
2637 EXPECT_EQ(BarVal, &Env.getBoolLiteralValue(false)); in TEST()
2655 const Environment &Env = Results[0].second.Env; in TEST() local
2661 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2668 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2675 Env.getValue(*QuxDecl, SkipPast::None)); in TEST()
2682 Env.getValue(*BazDecl, SkipPast::None)); in TEST()
2706 const Environment &Env = Results[0].second.Env; in TEST() local
2712 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2719 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2726 Env.getValue(*QuxDecl, SkipPast::None)); in TEST()
2733 Env.getValue(*BazDecl, SkipPast::None)); in TEST()
2758 const Environment &Env = Results[0].second.Env; in TEST() local
2764 dyn_cast_or_null<BoolValue>(Env.getValue(*ADecl, SkipPast::None)); in TEST()
2771 dyn_cast_or_null<BoolValue>(Env.getValue(*BDecl, SkipPast::None)); in TEST()
2778 dyn_cast_or_null<BoolValue>(Env.getValue(*CDecl, SkipPast::None)); in TEST()
2785 dyn_cast_or_null<BoolValue>(Env.getValue(*DDecl, SkipPast::None)); in TEST()
2792 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2821 const Environment &Env = Results[0].second.Env; in TEST() local
2827 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2834 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2854 const auto &Env = Results[0].second.Env; in TEST() local
2862 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), in TEST()
2863 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2883 const auto &Env = Results[0].second.Env; in TEST() local
2891 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), in TEST()
2892 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2914 const auto &Env = Results[0].second.Env; in TEST() local
2925 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), in TEST()
2926 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2948 const auto &Env = Results[0].second.Env; in TEST() local
2958 EXPECT_EQ(Env.getValue(*FooDecl, SkipPast::None), in TEST()
2959 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2981 const auto &Env = Results[0].second.Env; in TEST() local
2990 EXPECT_NE(Env.getValue(*FooDecl, SkipPast::None), in TEST()
2991 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3008 const Environment &Env = Results[0].second.Env; in TEST() local
3014 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
3017 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
3036 const Environment &Env = Results[0].second.Env; in TEST() local
3045 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
3049 Env.getStorageLocation(*BarDecl, SkipPast::None); in TEST()
3052 const Value *FooVal = Env.getValue(*FooLoc); in TEST()
3055 const Value *BarVal = Env.getValue(*BarLoc); in TEST()
3078 const Environment &Env = Results[0].second.Env; in TEST() local
3087 cast<IntegerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3089 cast<IntegerValue>(Env.getValue(*BazDecl, SkipPast::None)); in TEST()
3112 const Environment &Env = Results[0].second.Env; in TEST() local
3121 cast<IntegerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3123 cast<IntegerValue>(Env.getValue(*BazDecl, SkipPast::None)); in TEST()
3146 const Environment &Env = Results[0].second.Env; in TEST() local
3155 cast<IntegerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3157 cast<IntegerValue>(Env.getValue(*BazDecl, SkipPast::None)); in TEST()
3183 const Environment &Env = Results[0].second.Env; in TEST() local
3198 cast<IntegerValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3201 cast<StructValue>(Env.getValue(*A2Decl, SkipPast::None)); in TEST()
3225 const Environment &EnvElse = Results[0].second.Env; in TEST()
3226 const Environment &EnvThen = Results[1].second.Env; in TEST()
3260 const Environment &EnvElse = Results[0].second.Env; in TEST()
3261 const Environment &EnvThen = Results[1].second.Env; in TEST()
3306 const Environment &Env = Results[2].second.Env; in TEST() local
3309 auto &BVal = *cast<BoolValue>(Env.getValue(*BDecl, SkipPast::None)); in TEST()
3311 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BVal))); in TEST()
3316 const Environment &Env = Results[1].second.Env; in TEST() local
3317 auto &CVal = *cast<BoolValue>(Env.getValue(*CDecl, SkipPast::None)); in TEST()
3318 EXPECT_TRUE(Env.flowConditionImplies(CVal)); in TEST()
3323 const Environment &Env = Results[0].second.Env; in TEST() local
3324 auto &CVal = *cast<BoolValue>(Env.getValue(*CDecl, SkipPast::None)); in TEST()
3325 EXPECT_TRUE(Env.flowConditionImplies(CVal)); in TEST()
3353 const Environment &Env = Results[0].second.Env; in TEST() local
3358 auto &BarVal = *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::None)); in TEST()
3359 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()
3386 const Environment &Env = Results[0].second.Env; in TEST() local
3392 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST()
3393 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal))); in TEST()
3423 const Environment &OuterEnv = Results[0].second.Env; in TEST()
3424 const Environment &InnerEnv = Results[1].second.Env; in TEST()
3498 const Environment &Env = Results[0].second.Env; in TEST() local
3516 Env.getStorageLocation(*FooRefDecl, SkipPast::Reference); in TEST()
3520 Env.getStorageLocation(*BarRefDecl, SkipPast::Reference); in TEST()
3523 const Value *QuxVal = Env.getValue(*QuxDecl, SkipPast::None); in TEST()
3527 Env.getStorageLocation(*BoundFooRefDecl, SkipPast::Reference); in TEST()
3531 Env.getStorageLocation(*BoundBarRefDecl, SkipPast::Reference); in TEST()
3534 EXPECT_EQ(Env.getValue(*BoundFooRefDecl, SkipPast::Reference), QuxVal); in TEST()
3560 const Environment &Env = Results[0].second.Env; in TEST() local
3578 Env.getStorageLocation(*FooRefDecl, SkipPast::Reference); in TEST()
3582 Env.getStorageLocation(*BarRefDecl, SkipPast::Reference); in TEST()
3585 const Value *QuxVal = Env.getValue(*QuxDecl, SkipPast::None); in TEST()
3589 Env.getStorageLocation(*BoundFooRefDecl, SkipPast::Reference); in TEST()
3593 Env.getStorageLocation(*BoundBarRefDecl, SkipPast::Reference); in TEST()
3596 EXPECT_EQ(Env.getValue(*BoundFooRefDecl, SkipPast::Reference), QuxVal); in TEST()
3623 const Environment &Env = Results[0].second.Env; in TEST() local
3641 Env.getStorageLocation(*FooRefDecl, SkipPast::Reference); in TEST()
3645 Env.getStorageLocation(*BarRefDecl, SkipPast::Reference); in TEST()
3648 const Value *QuxVal = Env.getValue(*QuxDecl, SkipPast::None); in TEST()
3652 Env.getStorageLocation(*BoundFooDecl, SkipPast::Reference); in TEST()
3656 Env.getStorageLocation(*BoundBarDecl, SkipPast::Reference); in TEST()
3659 EXPECT_EQ(Env.getValue(*BoundFooDecl, SkipPast::Reference), QuxVal); in TEST()
3676 const Environment &Env = Results[0].second.Env; in TEST() local
3685 Env.getStorageLocation(*BarDecl, SkipPast::Reference); in TEST()
3689 Env.getStorageLocation(*BazDecl, SkipPast::Reference); in TEST()
3713 const Environment &ThenEnv = Results[1].second.Env; in TEST()
3714 const Environment &ElseEnv = Results[0].second.Env; in TEST()
3747 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST()
3748 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST()
3784 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST()
3785 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST()
3829 const Environment &LoopBodyEnv = Results[1].second.Env; in TEST()
3830 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST()
3861 const Environment &LoopBodyEnv = Results[0].second.Env; in TEST()
3889 const Environment &Env = Results[0].second.Env; in TEST() local
3895 *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
3896 EXPECT_FALSE(Env.flowConditionImplies(FooVal)); in TEST()
3897 EXPECT_FALSE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()
3920 const Environment &Env = Results[0].second.Env; in TEST() local
3926 *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
3927 EXPECT_TRUE(Env.flowConditionImplies(FooVal)); in TEST()
3950 const Environment &Env = Results[0].second.Env; in TEST() local
3956 *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
3957 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()