Lines Matching defs:ASTCtx
147 const BindingDecl *findBindingDecl(ASTContext &ASTCtx, std::string_view Name) {
151 ast_matchers::match(bindingDecl(hasName(Name)).bind("v"), ASTCtx);
196 ASTContext &ASTCtx) {
200 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
219 ASTContext &ASTCtx) {
223 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
244 ASTContext &ASTCtx) {
248 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
271 ASTContext &ASTCtx) {
275 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
307 ASTContext &ASTCtx) {
311 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
331 StorageLocation &UnmodeledXLoc = getFieldLoc(UnmodeledLoc, "X", ASTCtx);
334 const ValueDecl *ZabDecl = findValueDecl(ASTCtx, "Zab");
355 ASTContext &ASTCtx) {
359 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
398 ASTContext &ASTCtx) {
402 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
436 ASTContext &ASTCtx) {
439 const ValueDecl *ArrayDecl = findValueDecl(ASTCtx, "Array");
462 ASTContext &ASTCtx) {
466 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
502 ASTContext &ASTCtx) {
506 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
544 ASTContext &ASTCtx) {
548 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
633 ASTContext &ASTCtx) {
637 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
680 ASTContext &ASTCtx) {
684 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
776 ASTContext &ASTCtx) {
778 const ValueDecl *SelfDecl = findValueDecl(ASTCtx, "self");
796 ASTContext &ASTCtx) {
800 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
803 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
838 ASTContext &ASTCtx) {
841 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
844 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
847 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
886 ASTContext &ASTCtx) {
890 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
896 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
915 ASTContext &ASTCtx) {
921 getValueForDecl<IntegerValue>(ASTCtx, Before, "Foo");
923 getValueForDecl<IntegerValue>(ASTCtx, After, "Foo");
939 ASTContext &ASTCtx) {
943 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
949 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
968 ASTContext &ASTCtx) {
972 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
978 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
981 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1002 ASTContext &ASTCtx) {
1006 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1012 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
1018 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1041 ASTContext &ASTCtx) {
1046 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1052 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
1058 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1066 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
1070 const ValueDecl *QuuxDecl = findValueDecl(ASTCtx, "Quux");
1086 ASTContext &ASTCtx) {
1090 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1099 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
1124 ASTContext &ASTCtx) {
1128 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1162 ASTContext &ASTCtx) {
1166 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1186 ASTContext &ASTCtx) {
1190 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1216 ASTContext &ASTCtx) {
1220 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1241 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1265 ASTContext &ASTCtx) {
1311 ASTContext &ASTCtx) {
1315 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1374 ASTContext &ASTCtx) {
1378 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1456 ASTContext &ASTCtx) {
1460 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1481 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1549 ASTContext &ASTCtx) {
1552 ASTCtx, Env),
1579 ASTContext &ASTCtx) {
1584 ASTCtx, Env),
1587 ASTCtx, Env),
1634 ASTContext &ASTCtx) {
1637 auto &SLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s");
1645 findValueDecl(ASTCtx, "Ptr"), findValueDecl(ASTCtx, "PtrNonConst"),
1646 findValueDecl(ASTCtx, "Int"), findValueDecl(ASTCtx, "IntRef")));
1682 ASTContext &ASTCtx) {
1684 auto &SLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s");
1689 UnorderedElementsAre(findValueDecl(ASTCtx, "Poly")));
1724 ASTContext &ASTCtx) {
1729 auto &MDLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "MD");
1734 findValueDecl(ASTCtx, "base1_2"),
1735 findValueDecl(ASTCtx, "intermediate_2"),
1736 findValueDecl(ASTCtx, "base2_2"),
1737 findValueDecl(ASTCtx, "most_derived_2")));
1764 ASTContext &ASTCtx) {
1770 auto &MD = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "MD");
1772 getFieldValue(&MD, *findValueDecl(ASTCtx, "base1"), Env)),
1775 getFieldValue(&MD, *findValueDecl(ASTCtx, "intermediate"), Env)),
1778 getFieldValue(&MD, *findValueDecl(ASTCtx, "base2"), Env)),
1781 getFieldValue(&MD, *findValueDecl(ASTCtx, "most_derived"), Env)),
1800 ASTContext &ASTCtx) {
1804 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1825 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
1853 ASTContext &ASTCtx) {
1860 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
1870 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1874 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
1896 const ValueDecl *QuuxDecl = findValueDecl(ASTCtx, "Quux");
1924 ASTContext &ASTCtx) {
1930 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
1940 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
1944 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
1966 const ValueDecl *QuuxDecl = findValueDecl(ASTCtx, "Quux");
1990 ASTContext &ASTCtx) {
1997 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2007 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2035 ASTContext &ASTCtx) {
2042 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2052 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2073 ASTContext &ASTCtx) {
2080 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2090 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2108 ASTContext &ASTCtx) {
2131 ASTContext &ASTCtx) {
2138 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2143 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
2164 ASTContext &ASTCtx) {
2171 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2176 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
2197 ASTContext &ASTCtx) {
2204 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2209 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
2232 ASTContext &ASTCtx) {
2236 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2239 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2265 ASTContext &ASTCtx) {
2269 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2272 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2301 ASTContext &ASTCtx) {
2302 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2305 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2308 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2338 EXPECT_EQ(&getLocForDecl(ASTCtx, Env2, "Rval"), FooLoc2);
2386 ASTContext &ASTCtx) {
2388 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2391 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Foo");
2393 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Bar");
2423 ASTContext &ASTCtx) {
2430 getLocForDecl<RecordStorageLocation>(ASTCtx, EnvBefore, "B");
2432 getLocForDecl<RecordStorageLocation>(ASTCtx, EnvBefore, "D");
2434 EXPECT_NE(getFieldValue(&BLoc, "base", ASTCtx, EnvBefore),
2435 getFieldValue(&DLoc, "base", ASTCtx, EnvBefore));
2436 EXPECT_EQ(getFieldValue(&BLoc, "base", ASTCtx, EnvAfter),
2437 getFieldValue(&DLoc, "base", ASTCtx, EnvAfter));
2439 EXPECT_EQ(getFieldValue(&DLoc, "derived", ASTCtx, EnvBefore),
2440 getFieldValue(&DLoc, "derived", ASTCtx, EnvAfter));
2457 ASTContext &ASTCtx) {
2481 ASTContext &ASTCtx) {});
2499 ASTContext &ASTCtx) {});
2523 ASTContext &ASTCtx) {
2524 const ValueDecl *S1Decl = findValueDecl(ASTCtx, "S1");
2525 const ValueDecl *S2Decl = findValueDecl(ASTCtx, "S2");
2526 const ValueDecl *S3Decl = findValueDecl(ASTCtx, "S3");
2566 ASTContext &ASTCtx) {});
2585 ASTContext &ASTCtx) {});
2599 ASTContext &ASTCtx) {
2601 const auto &FooVal = getValueForDecl<BoolValue>(ASTCtx, Env, "Foo");
2616 ASTContext &ASTCtx) {
2641 ASTContext &ASTCtx) {
2645 *Env.getThisPointeeStorageLocation(), "F", ASTCtx);
2646 auto *AVal = cast<PointerValue>(getFieldValue(&FLoc, "a", ASTCtx, Env));
2647 EXPECT_EQ(AVal, &getValueForDecl<PointerValue>(ASTCtx, Env, "null"));
2648 EXPECT_EQ(getFieldValue(&FLoc, "b", ASTCtx, Env), nullptr);
2676 ASTContext &ASTCtx) {
2680 *Env.getThisPointeeStorageLocation(), "F", ASTCtx);
2681 auto *AVal = cast<PointerValue>(getFieldValue(&FLoc, "a", ASTCtx, Env));
2682 EXPECT_EQ(AVal, &getValueForDecl<PointerValue>(ASTCtx, Env, "null"));
2683 EXPECT_EQ(getFieldValue(&FLoc, "b", ASTCtx, Env), nullptr);
2706 ASTContext &ASTCtx) {
2710 *Env.getThisPointeeStorageLocation(), "F", ASTCtx);
2711 auto *AVal = cast<PointerValue>(getFieldValue(&FLoc, "a", ASTCtx, Env));
2713 &getValueForDecl<PointerValue>(ASTCtx, Env, "NullIntPtr"));
2714 auto *BVal = cast<PointerValue>(getFieldValue(&FLoc, "b", ASTCtx, Env));
2716 &getValueForDecl<PointerValue>(ASTCtx, Env, "NullBoolPtr"));
2737 ASTContext &ASTCtx) {
2738 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2741 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2744 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2807 ASTContext &ASTCtx) {
2811 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2814 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2817 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2850 ASTContext &ASTCtx) {
2854 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2857 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2860 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2892 ASTContext &ASTCtx) {
2895 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
2898 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Foo");
2900 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Bar");
2922 ASTContext &ASTCtx) {});
2957 ASTContext &ASTCtx) {
2962 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
2965 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
2968 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
3010 ASTContext &ASTCtx) {
3014 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
3017 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
3020 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
3054 ASTContext &ASTCtx) {
3072 ASTCtx);
3109 ASTContext &ASTCtx) {
3114 match(cxxDefaultArgExpr().bind("default_arg"), ASTCtx));
3141 ASTContext &ASTCtx) {
3144 const ValueDecl *SField = findValueDecl(ASTCtx, "s");
3148 match(cxxCtorInitializer().bind("ctor_initializer"), ASTCtx));
3181 ASTContext &ASTCtx) {
3186 match(cxxOperatorCallExpr().bind("call_expr"), ASTCtx));
3212 ASTContext &ASTCtx) {
3219 ASTCtx));
3223 &getFieldLoc(getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "O"),
3224 "I", ASTCtx));
3248 ASTContext &ASTCtx) {
3255 ASTCtx));
3259 &getFieldLoc(getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "O"),
3260 "I", ASTCtx));
3303 ASTContext &ASTCtx) {
3308 match(binaryOperator(hasOperatorName("<=>")).bind("op"), ASTCtx));
3312 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "ordering"));
3336 ASTContext &ASTCtx) {
3341 match(cxxStdInitializerListExpr().bind("std_init_list"), ASTCtx));
3345 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "list"));
3364 ASTContext &ASTCtx) {
3368 "construct", match(cxxConstructExpr().bind("construct"), ASTCtx));
3371 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s"));
3390 ASTContext &ASTCtx) {
3394 "cast", match(explicitCastExpr().bind("cast"), ASTCtx));
3397 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s"));
3416 ASTContext &ASTCtx) {
3420 "atomic", match(atomicExpr().bind("atomic"), ASTCtx));
3423 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s"));
3448 ASTContext &ASTCtx) {
3455 ASTCtx));
3460 ASTCtx));
3462 auto &ALoc = getLocForDecl<StorageLocation>(ASTCtx, Env, "a");
3487 ASTContext &ASTCtx) {});
3499 ASTContext &ASTCtx) {},
3554 ASTContext &ASTCtx) {
3558 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
3561 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
3582 ASTContext &ASTCtx) {
3585 const auto &FooVal = getValueForDecl<IntegerValue>(ASTCtx, Env, "Foo");
3586 const auto &BarVal = getValueForDecl<IntegerValue>(ASTCtx, Env, "Bar");
3601 ASTContext &ASTCtx) {
3604 const auto &FooVal = getValueForDecl(ASTCtx, Env, "Foo");
3605 const auto &BarVal = getValueForDecl(ASTCtx, Env, "Bar");
3622 ASTContext &ASTCtx) {
3625 const auto &FooVal = getValueForDecl<BoolValue>(ASTCtx, Env, "Foo");
3626 const auto &BarVal = getValueForDecl<BoolValue>(ASTCtx, Env, "Bar");
3671 ASTContext &ASTCtx) {
3675 const ValueDecl *FooXDecl = findValueDecl(ASTCtx, "FooX");
3678 const ValueDecl *FooYDecl = findValueDecl(ASTCtx, "FooY");
3681 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
3684 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
3687 const ValueDecl *NullDecl = findValueDecl(ASTCtx, "Null");
3733 ASTContext &ASTCtx) {
3737 findValueDecl(ASTCtx, "MemberPointer");
3756 ASTContext &ASTCtx) {
3760 findValueDecl(ASTCtx, "MemberPointer");
3777 ASTContext &ASTCtx) {
3782 findValueDecl(ASTCtx, "MemberPointer");
3799 ASTContext &ASTCtx) {
3803 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
3806 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
3826 ASTContext &ASTCtx) {
3830 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
3833 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
3853 ASTContext &ASTCtx) {
3859 EXPECT_EQ(&getLocForDecl(ASTCtx, EnvAfter, "IRef"),
3860 &getLocForDecl(ASTCtx, EnvBefore, "I"));
3862 const ValueDecl *IDecl = findValueDecl(ASTCtx, "I");
3879 ASTContext &ASTCtx) {
3885 EXPECT_EQ(&getValueForDecl(ASTCtx, EnvBefore, "I"),
3886 &getValueForDecl(ASTCtx, EnvAfter, "OldVal"));
3888 const ValueDecl *IDecl = findValueDecl(ASTCtx, "I");
3905 ASTContext &ASTCtx) {
3908 EXPECT_EQ(&getLocForDecl(ASTCtx, Env, "IRef"),
3909 &getLocForDecl(ASTCtx, Env, "I"));
3951 ASTContext &ASTCtx) {
3955 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Foo"), "i",
3956 ASTCtx, Env));
3958 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Bar"), "i",
3959 ASTCtx, Env));
3961 &getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "Baz"), "i",
3962 ASTCtx, Env));
3983 ASTContext &ASTCtx) {
3989 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
3992 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4018 ASTContext &ASTCtx) {
4064 ASTContext &ASTCtx) {
4068 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4071 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4074 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4077 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
4080 const ValueDecl *FooArgDecl = findValueDecl(ASTCtx, "FooArg");
4083 const ValueDecl *BarArgDecl = findValueDecl(ASTCtx, "BarArg");
4086 const ValueDecl *QuxArgDecl = findValueDecl(ASTCtx, "QuxArg");
4089 const ValueDecl *QuuxDecl = findValueDecl(ASTCtx, "Quux");
4108 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "OtherB");
4130 ASTContext &ASTCtx) {
4133 const ValueDecl *RefFieldDecl = findValueDecl(ASTCtx, "RefField");
4135 auto &ILoc = getLocForDecl<StorageLocation>(ASTCtx, Env, "i");
4136 auto &SLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s");
4157 ASTContext &ASTCtx) {
4160 const ValueDecl *I1FieldDecl = findValueDecl(ASTCtx, "i1");
4161 const ValueDecl *I2FieldDecl = findValueDecl(ASTCtx, "i2");
4163 auto &SLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "s");
4165 auto &IValue = getValueForDecl<IntegerValue>(ASTCtx, Env, "i");
4192 ASTContext &ASTCtx) {});
4210 ASTContext &ASTCtx) {
4214 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4236 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4256 ASTContext &ASTCtx) {
4260 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4267 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4290 ASTContext &ASTCtx) {
4294 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4301 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4308 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
4315 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4338 ASTContext &ASTCtx) {
4342 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4349 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4356 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
4363 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4386 ASTContext &ASTCtx) {
4390 const ValueDecl *ADecl = findValueDecl(ASTCtx, "A");
4396 const ValueDecl *BDecl = findValueDecl(ASTCtx, "B");
4402 const ValueDecl *CDecl = findValueDecl(ASTCtx, "C");
4408 const ValueDecl *DDecl = findValueDecl(ASTCtx, "D");
4414 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4441 ASTContext &ASTCtx) {
4445 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4452 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4473 ASTContext &ASTCtx) {
4477 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4480 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4500 ASTContext &ASTCtx) {
4504 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4507 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4529 ASTContext &ASTCtx) {
4533 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4536 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4561 ASTContext &ASTCtx) {
4565 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4568 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4592 ASTContext &ASTCtx) {
4596 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4599 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4617 ASTContext &ASTCtx) {
4621 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4643 ASTContext &ASTCtx) {
4647 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4650 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4682 ASTContext &ASTCtx) {
4686 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4689 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4713 ASTContext &ASTCtx) {
4717 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4720 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4744 ASTContext &ASTCtx) {
4748 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4751 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
4778 ASTContext &ASTCtx) {
4782 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
4785 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4788 const ValueDecl *A1Decl = findValueDecl(ASTCtx, "A1");
4791 const ValueDecl *A2Decl = findValueDecl(ASTCtx, "A2");
4818 ASTContext &ASTCtx) {
4825 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4852 ASTContext &ASTCtx) {
4859 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
4900 ASTContext &ASTCtx) {
4905 EXPECT_NE(&getValueForDecl<PointerValue>(ASTCtx, Env, "p1"),
4906 &getValueForDecl<PointerValue>(ASTCtx, Env, "p2"));
4908 EXPECT_EQ(&getValueForDecl<BoolValue>(ASTCtx, Env, "p1_eq_p1"),
4910 EXPECT_EQ(&getValueForDecl<BoolValue>(ASTCtx, Env, "p1_eq_p2"),
4913 getValueForDecl<BoolValue>(ASTCtx, Env, "p1_eq_p_other")));
4916 getValueForDecl<BoolValue>(ASTCtx, Env, "p1_eq_null")));
4918 getValueForDecl<BoolValue>(ASTCtx, Env, "p1_eq_nullptr")));
4919 EXPECT_EQ(&getValueForDecl<BoolValue>(ASTCtx, Env, "null_eq_nullptr"),
4922 &getValueForDecl<BoolValue>(ASTCtx, Env, "nullptr_eq_nullptr"),
4925 EXPECT_EQ(&getValueForDecl<BoolValue>(ASTCtx, Env, "p1_ne_p1"),
4946 ASTContext &ASTCtx) {
4954 getValueForDecl<BoolValue>(ASTCtx, Env, "i1_eq_i2")));
4968 ASTContext &ASTCtx) {
4972 getValueForDecl<BoolValue>(ASTCtx, Env, "equal").formula();
4998 ASTContext &ASTCtx) {
5001 const ValueDecl *CDecl = findValueDecl(ASTCtx, "C");
5006 const ValueDecl *BDecl = findValueDecl(ASTCtx, "B");
5046 ASTContext &ASTCtx) {
5050 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
5076 ASTContext &ASTCtx) {
5080 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
5082 const ValueDecl *ErrDecl = findValueDecl(ASTCtx, "Err");
5113 ASTContext &ASTCtx) {
5117 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
5147 ASTContext &ASTCtx) {
5154 const ValueDecl *ValDecl = findValueDecl(ASTCtx, "val");
5157 const ValueDecl *LDecl = findValueDecl(ASTCtx, "l");
5253 ASTContext &ASTCtx) {
5255 auto &BVal = getValueForDecl<BoolValue>(ASTCtx, Env, "b");
5318 ASTContext &ASTCtx) {
5322 const ValueDecl *FooRefDecl = findValueDecl(ASTCtx, "FooRef");
5325 const ValueDecl *BarRefDecl = findValueDecl(ASTCtx, "BarRef");
5328 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
5331 const ValueDecl *BoundFooRefDecl = findValueDecl(ASTCtx, "BoundFooRef");
5334 const ValueDecl *BoundBarRefDecl = findValueDecl(ASTCtx, "BoundBarRef");
5377 ASTContext &ASTCtx) {
5381 const ValueDecl *FooRefDecl = findValueDecl(ASTCtx, "FooRef");
5384 const ValueDecl *BarRefDecl = findValueDecl(ASTCtx, "BarRef");
5387 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
5390 const ValueDecl *BoundFooRefDecl = findValueDecl(ASTCtx, "BoundFooRef");
5393 const ValueDecl *BoundBarRefDecl = findValueDecl(ASTCtx, "BoundBarRef");
5437 ASTContext &ASTCtx) {
5441 const ValueDecl *FooRefDecl = findValueDecl(ASTCtx, "FooRef");
5444 const ValueDecl *BarRefDecl = findValueDecl(ASTCtx, "BarRef");
5447 const ValueDecl *BoundFooDecl = findValueDecl(ASTCtx, "BoundFoo");
5450 const ValueDecl *BoundBarDecl = findValueDecl(ASTCtx, "BoundBar");
5453 const ValueDecl *QuxDecl = findValueDecl(ASTCtx, "Qux");
5524 ASTContext &ASTCtx) {
5528 const ValueDecl *BoundFooDecl = findBindingDecl(ASTCtx, "BoundFoo");
5531 const ValueDecl *BoundBarDecl = findBindingDecl(ASTCtx, "BoundBar");
5534 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
5605 ASTContext &ASTCtx) {
5609 const ValueDecl *BoundFooDecl = findBindingDecl(ASTCtx, "BoundFoo");
5612 const ValueDecl *BoundBarDecl = findBindingDecl(ASTCtx, "BoundBar");
5615 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
5650 ASTContext &ASTCtx) {
5654 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
5657 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
5679 ASTContext &ASTCtx) {
5682 auto &B1 = getValueForDecl<BoolValue>(ASTCtx, Env, "B1");
5683 auto &B2 = getValueForDecl<BoolValue>(ASTCtx, Env, "B2");
5684 auto &JoinSame = getValueForDecl<BoolValue>(ASTCtx, Env, "JoinSame");
5686 getValueForDecl<BoolValue>(ASTCtx, Env, "JoinDifferent");
5713 ASTContext &ASTCtx) {
5716 StorageLocation &I1 = getLocForDecl(ASTCtx, Env, "I1");
5717 StorageLocation &I2 = getLocForDecl(ASTCtx, Env, "I2");
5718 StorageLocation &JoinSame = getLocForDecl(ASTCtx, Env, "JoinSame");
5720 getLocForDecl(ASTCtx, Env, "JoinDifferent");
5743 ASTContext &ASTCtx) {
5747 getValueForDecl<BoolValue>(ASTCtx, Env, "JoinTrueTrue");
5755 getValueForDecl<BoolValue>(ASTCtx, Env, "JoinTrueFalse");
5776 ASTContext &ASTCtx) {
5783 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5808 ASTContext &ASTCtx) {
5816 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5844 ASTContext &ASTCtx) {
5853 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5856 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
5885 ASTContext &ASTCtx) {
5893 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5917 ASTContext &ASTCtx) {
5922 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5944 ASTContext &ASTCtx) {
5948 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
5969 ASTContext &ASTCtx) {
5972 const ValueDecl *SDecl = findValueDecl(ASTCtx, "s");
5995 ASTContext &ASTCtx) {
5999 const ValueDecl *SDecl = findValueDecl(ASTCtx, "s");
6034 ASTContext &ASTCtx) {
6037 const ValueDecl *S1 = findValueDecl(ASTCtx, "s1");
6039 const ValueDecl *S2 = findValueDecl(ASTCtx, "s2");
6041 const ValueDecl *ReturnS1 = findValueDecl(ASTCtx, "return_s1");
6043 const ValueDecl *ReturnS2 = findValueDecl(ASTCtx, "return_s2");
6046 findValueDecl(ASTCtx, "return_dont_know");
6078 ASTContext &ASTCtx) {
6082 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6106 ASTContext &ASTCtx) {
6110 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6133 ASTContext &ASTCtx) {
6137 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6162 ASTContext &ASTCtx) {
6167 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6170 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
6199 ASTContext &ASTCtx) {
6203 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6228 ASTContext &ASTCtx) {
6232 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6257 ASTContext &ASTCtx) {
6261 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6287 ASTContext &ASTCtx) {
6291 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6328 ASTContext &ASTCtx) {
6333 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6361 ASTContext &ASTCtx) {
6365 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6368 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
6403 ASTContext &ASTCtx) {
6407 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
6410 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
6436 ASTContext &ASTCtx) {
6455 ASTContext &ASTCtx) {
6459 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6480 ASTContext &ASTCtx) {
6484 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6508 ASTContext &ASTCtx) {
6512 const ValueDecl *BazDecl = findValueDecl(ASTCtx, "Baz");
6533 ASTContext &ASTCtx) {
6557 ASTContext &ASTCtx) {
6561 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "FalseS");
6563 getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "TrueS");
6565 EXPECT_EQ(getFieldValue(&FalseSLoc, "B", ASTCtx, Env),
6567 EXPECT_EQ(getFieldValue(&TrueSLoc, "B", ASTCtx, Env),
6593 ASTContext &ASTCtx) {
6596 auto &MySLoc = getLocForDecl<RecordStorageLocation>(ASTCtx, Env, "MyS");
6599 cast<PointerValue>(getFieldValue(&MySLoc, "self", ASTCtx, Env));
6621 ASTContext &ASTCtx) {
6625 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6653 ASTContext &ASTCtx) {
6657 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6685 ASTContext &ASTCtx) {
6689 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6719 ASTContext &ASTCtx) {
6723 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6753 ASTContext &ASTCtx) {
6758 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6787 ASTContext &ASTCtx) {
6792 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6819 ASTContext &ASTCtx) {
6823 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6850 ASTContext &ASTCtx) {
6854 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6881 ASTContext &ASTCtx) {
6885 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
6913 ASTContext &ASTCtx) {
6916 const ValueDecl *MyObjDecl = findValueDecl(ASTCtx, "MyObj");
6919 const ValueDecl *SelfDecl = findValueDecl(ASTCtx, "SelfPtr");
6947 ASTContext &ASTCtx) {
6966 ASTContext &ASTCtx) {
6968 auto &B = getValueForDecl<BoolValue>(ASTCtx, Env, "b").formula();
7008 ASTContext &ASTCtx) {
7016 auto &B1 = getValueForDecl<BoolValue>(ASTCtx, Env, "b1").formula();
7020 getValueForDecl<BoolValue>(ASTCtx, Env, "NoreturnOnRhsOfAnd").formula();
7023 auto &B2 = getValueForDecl<BoolValue>(ASTCtx, Env, "b2").formula();
7027 getValueForDecl<BoolValue>(ASTCtx, Env, "NoreturnOnRhsOfOr")
7032 ASTCtx, Env, "NoreturnOnLhsMakesAndUnreachable").formula();
7036 ASTCtx, Env, "NoreturnOnLhsMakesOrUnreachable").formula();
7051 ASTContext &ASTCtx) {
7055 auto &P = getValueForDecl<PointerValue>(ASTCtx, Env, "p");
7082 ASTContext &ASTCtx) {
7086 const ValueDecl *OuterField = findValueDecl(ASTCtx, "OuterField");
7087 const ValueDecl *InnerField = findValueDecl(ASTCtx, "InnerField");
7089 auto &P = getValueForDecl<PointerValue>(ASTCtx, Env, "p");
7122 ASTContext &ASTCtx) {
7126 getValueForDecl<PointerValue>(ASTCtx, Env, "non_member_p1");
7128 getValueForDecl<PointerValue>(ASTCtx, Env, "non_member_p2");
7132 getValueForDecl<PointerValue>(ASTCtx, Env, "member_p1");
7134 getValueForDecl<PointerValue>(ASTCtx, Env, "member_p2");
7151 ASTContext &ASTCtx) {
7165 ASTCtx));
7194 ASTContext &ASTCtx) {
7203 traverse(TK_AsIs, cxxOperatorCallExpr().bind("call")), ASTCtx);
7242 ASTContext &ASTCtx) {
7244 const ValueDecl *SDecl = findValueDecl(ASTCtx, "s");
7245 const ValueDecl *BDecl = findValueDecl(ASTCtx, "b");
7247 findIndirectFieldDecl(ASTCtx, "b");
7273 ASTContext &ASTCtx) {
7275 const ValueDecl *BDecl = findValueDecl(ASTCtx, "b");
7277 findIndirectFieldDecl(ASTCtx, "b");
7305 ASTContext &ASTCtx) {
7307 const ValueDecl *GlobalIDecl = findValueDecl(ASTCtx, "global_i");
7308 const ValueDecl *IDecl = findValueDecl(ASTCtx, "i");
7310 findIndirectFieldDecl(ASTCtx, "i");
7339 ASTContext &ASTCtx) {});
7354 ASTContext &ASTCtx) {
7358 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7367 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
7387 ASTContext &ASTCtx) {
7391 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7400 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
7420 ASTContext &ASTCtx) {
7424 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7433 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
7453 ASTContext &ASTCtx) {
7457 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7466 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
7488 ASTContext &ASTCtx) {
7492 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7501 const ValueDecl *BarDecl = findValueDecl(ASTCtx, "Bar");
7527 ASTContext &ASTCtx) {
7535 const ValueDecl *FooDecl = findValueDecl(ASTCtx, "Foo");
7567 ASTContext &ASTCtx) {
7570 auto &VarA = getValueForDecl<BoolValue>(ASTCtx, Env, "a").formula();
7571 auto &VarB = getValueForDecl<BoolValue>(ASTCtx, Env, "b").formula();