Lines Matching refs:FooVal
117 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
118 EXPECT_TRUE(isa_and_nonnull<BoolValue>(FooVal)); in TEST()
144 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
145 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
189 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
190 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
237 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
238 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
283 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
284 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
315 const ReferenceValue *FooVal = in TEST() local
317 const StorageLocation &FooReferentLoc = FooVal->getReferentLoc(); in TEST()
403 const auto *FooVal = cast<ReferenceValue>(Env.getValue(*FooLoc)); in TEST() local
405 cast<StructValue>(Env.getValue(FooVal->getReferentLoc())); in TEST()
460 const PointerValue *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST() local
461 const StorageLocation &FooPointeeLoc = FooVal->getPointeeLoc(); in TEST()
560 const auto *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST() local
562 cast<StructValue>(Env.getValue(FooVal->getPointeeLoc())); in TEST()
621 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
622 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
704 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
705 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
710 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
733 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
734 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
739 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
763 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
764 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
772 EXPECT_EQ(Env.getValue(*BarDecl, SkipPast::None), FooVal); in TEST()
773 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), FooVal); in TEST()
798 const Value *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
799 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
806 EXPECT_EQ(Env.getValue(BarVal->getPointeeLoc()), FooVal); in TEST()
811 EXPECT_EQ(Env.getValue(*BazDecl, SkipPast::None), FooVal); in TEST()
840 const Value *FooVal = Env1.getValue(*FooDecl, SkipPast::None); in TEST() local
841 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
852 EXPECT_EQ(Env1.getValue(*BazDecl, SkipPast::Reference), FooVal); in TEST()
889 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
890 ASSERT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
944 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
945 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
974 const ReferenceValue *FooVal = in TEST() local
976 ASSERT_THAT(FooVal, NotNull()); in TEST()
978 const StorageLocation &FooReferentLoc = FooVal->getReferentLoc(); in TEST()
1010 const PointerValue *FooVal = cast<PointerValue>(Env.getValue(*FooLoc)); in TEST() local
1011 const StorageLocation &FooPointeeLoc = FooVal->getPointeeLoc(); in TEST()
1056 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1057 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
1153 const auto &FooVal = *cast<StructValue>(Env.getValue(FooLoc)); in TEST() local
1161 EXPECT_THAT(FooVal.getChild(*ADefaultDecl), NotNull()); in TEST()
1162 EXPECT_THAT(FooVal.getChild(*APrivateDecl), NotNull()); in TEST()
1164 EXPECT_THAT(FooVal.getChild(*AProtectedDecl), NotNull()); in TEST()
1166 FooVal.getChild(*APublicDecl)); in TEST()
1167 EXPECT_THAT(FooVal.getChild(*APublicDecl), NotNull()); in TEST()
1169 FooVal.getChild(*AProtectedDecl)); in TEST()
1172 EXPECT_THAT(FooVal.getChild(*BDefaultDecl), NotNull()); in TEST()
1174 FooVal.getChild(*BDefaultDecl)); in TEST()
1175 EXPECT_THAT(FooVal.getChild(*BProtectedDecl), NotNull()); in TEST()
1177 FooVal.getChild(*BProtectedDecl)); in TEST()
1178 EXPECT_THAT(FooVal.getChild(*BPrivateDecl), NotNull()); in TEST()
1180 FooVal.getChild(*BPrivateDecl)); in TEST()
1213 const auto &FooVal = *cast<StructValue>(Env.getValue(FooLoc)); in derivedBaseMemberExpectations() local
1214 EXPECT_THAT(FooVal.getChild(*BarDecl), NotNull()); in derivedBaseMemberExpectations()
1215 EXPECT_EQ(Env.getValue(FooLoc.getChild(*BarDecl)), FooVal.getChild(*BarDecl)); in derivedBaseMemberExpectations()
1293 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1294 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
1383 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1384 const auto *BarVal = cast<ReferenceValue>(FooVal->getChild(*BarDecl)); in TEST()
1679 const auto *FooVal = in TEST() local
1684 EXPECT_EQ(Env.getValue(*QuxDecl, SkipPast::None), FooVal); in TEST()
1715 const auto *FooVal = in TEST() local
1720 EXPECT_EQ(Env.getValue(*QuxDecl, SkipPast::None), FooVal); in TEST()
1751 const auto *FooVal = in TEST() local
1759 EXPECT_EQ(&QuxVal->getReferentLoc(), &FooVal->getReferentLoc()); in TEST()
1793 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1794 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
1832 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1833 const auto *BarVal = cast<IntegerValue>(FooVal->getChild(*BarDecl)); in TEST()
1937 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1939 EXPECT_EQ(FooVal, BarVal); in TEST()
1983 const auto *FooVal = cast<StructValue>(Env.getValue(*FooLoc)); in TEST() local
1985 EXPECT_EQ(FooVal, BarVal); in TEST()
2097 const auto &FooVal = in TEST() local
2101 EXPECT_EQ(BarVal, FooVal.getChild(*BazDecl)); in TEST()
2126 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
2128 EXPECT_TRUE(isa<IntegerValue>(FooVal)); in TEST()
2130 EXPECT_EQ(FooVal, BarVal); in TEST()
2155 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
2157 EXPECT_TRUE(isa<IntegerValue>(FooVal)); in TEST()
2159 EXPECT_EQ(FooVal, BarVal); in TEST()
2184 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
2186 EXPECT_TRUE(isa<IntegerValue>(FooVal)); in TEST()
2213 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST() local
2215 EXPECT_TRUE(isa<BoolValue>(FooVal)); in TEST()
2217 EXPECT_EQ(FooVal, BarVal); in TEST()
2371 const auto *FooVal = in TEST() local
2375 EXPECT_EQ(&BarVal->getPointeeLoc(), &FooVal->getPointeeLoc()); in TEST()
2401 const auto *FooVal = in TEST() local
2405 EXPECT_EQ(&BarVal->getReferentLoc(), &FooVal->getPointeeLoc()); in TEST()
2435 const auto *FooVal = in TEST() local
2444 EXPECT_NE(BazVal, FooVal); in TEST()
2473 const auto *FooVal = in TEST() local
2476 cast<IntegerValue>(Env.getValue(FooVal->getPointeeLoc())); in TEST()
2625 const auto *FooVal = dyn_cast_or_null<AtomicBoolValue>( in TEST() local
2627 ASSERT_THAT(FooVal, NotNull()); in TEST()
2636 EXPECT_EQ(FooVal, &Env.getBoolLiteralValue(true)); in TEST()
2660 const auto *FooVal = dyn_cast_or_null<BoolValue>( in TEST() local
2662 ASSERT_THAT(FooVal, NotNull()); in TEST()
2684 EXPECT_EQ(&BazVal->getLeftSubValue(), FooVal); in TEST()
2711 const auto *FooVal = dyn_cast_or_null<BoolValue>( in TEST() local
2713 ASSERT_THAT(FooVal, NotNull()); in TEST()
2738 EXPECT_EQ(&BazLeftSubValVal->getLeftSubValue(), FooVal); in TEST()
2791 const auto *FooVal = dyn_cast_or_null<ConjunctionValue>( in TEST() local
2793 ASSERT_THAT(FooVal, NotNull()); in TEST()
2796 cast<ConjunctionValue>(FooVal->getLeftSubValue()); in TEST()
2802 EXPECT_EQ(&FooVal->getRightSubValue(), DVal); in TEST()
2826 const auto *FooVal = dyn_cast_or_null<AtomicBoolValue>( in TEST() local
2828 ASSERT_THAT(FooVal, NotNull()); in TEST()
2837 EXPECT_EQ(&BarVal->getSubVal(), FooVal); in TEST()
3017 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
3018 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
3052 const Value *FooVal = Env.getValue(*FooLoc); in TEST() local
3053 EXPECT_TRUE(isa_and_nonnull<IntegerValue>(FooVal)); in TEST()
3058 EXPECT_NE(FooVal, BarVal); in TEST()
3894 auto &FooVal = in TEST() local
3896 EXPECT_FALSE(Env.flowConditionImplies(FooVal)); in TEST()
3897 EXPECT_FALSE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()
3925 auto &FooVal = in TEST() local
3927 EXPECT_TRUE(Env.flowConditionImplies(FooVal)); in TEST()
3955 auto &FooVal = in TEST() local
3957 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(FooVal))); in TEST()