TransferTest.cpp - OpenGrok cross reference for /llvm-project/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

Lines Matching full:results
195       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
197         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
198         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
218       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
220         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
221         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
243       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
245         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
246         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
270       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
272         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
273         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
306       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
308         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
309         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
354       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
356         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
357         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
397       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
399         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
400         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
435       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
437         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
461       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
463         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
464         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
501       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
503         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
504         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
543                            &Results,
545     ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
546     const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
632       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
634         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
635         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
679       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
681         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
682         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
775       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
777         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
795       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
797         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
798         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
837                            &Results,
839     ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1", "p2", "p3", "p4"));
850     const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
857     const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
862     const Environment &Env3 = getEnvironmentAtAnnotation(Results, "p3");
867     const Environment &Env4 = getEnvironmentAtAnnotation(Results, "p4");
885       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
887         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
888         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
914       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
917             getEnvironmentAtAnnotation(Results, "before");
918         const Environment &After = getEnvironmentAtAnnotation(Results, "after");
938       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
940         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
941         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
967       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
969         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
970         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1001       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1003         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1004         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1040       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1042         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1", "p2"));
1043         const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
1044         const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
1085       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1087         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1088         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1123       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1125         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1126         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1161       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1163         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1164         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1185       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1187         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1188         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1215       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1217         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1218         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1264       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1266         EXPECT_THAT(Results.keys(), UnorderedElementsAre("p"));
1310       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1312         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1313         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1373     const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1375   ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1376   const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1455       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1457         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1458         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1519           [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1525             EXPECT_THAT(Results.keys(), UnorderedElementsAre("p"));
1548       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1550         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1578       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1580         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1633       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1636               getEnvironmentAtAnnotation(Results, "p");
1681       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1683         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1723       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1726               getEnvironmentAtAnnotation(Results, "p");
1763       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1766               getEnvironmentAtAnnotation(Results, "p");
1799       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1801         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1802         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1852       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1854         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1855         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1923       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1925         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1926         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
1989       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
1991         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
1992         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2034       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2036         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1"));
2037         const Environment &Env = getEnvironmentAtAnnotation(Results, "p1");
2072       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2074         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p2"));
2075         const Environment &Env = getEnvironmentAtAnnotation(Results, "p2");
2107       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2109         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p3"));
2110         const Environment &Env = getEnvironmentAtAnnotation(Results, "p3");
2130       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2132         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2133         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2163       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2165         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2166         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2196       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2198         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2199         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2231       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2233         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2234         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2264       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2266         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2267         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2300       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2313           const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
2330           const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
2349           const Environment &Env3 = getEnvironmentAtAnnotation(Results, "p3");
2385       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2387         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2422       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2425             getEnvironmentAtAnnotation(Results, "before");
2427             getEnvironmentAtAnnotation(Results, "after");
2456       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2480       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2498       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2522       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2529             getEnvironmentAtAnnotation(Results, "before");
2539             getEnvironmentAtAnnotation(Results, "after");
2565       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2584       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2598       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2600         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2615       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2640       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2642         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2675       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2677         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2705       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2707         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2736       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2750               getEnvironmentAtAnnotation(Results, "after_copy");
2771               getEnvironmentAtAnnotation(Results, "after_update");
2806       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2808         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2809         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2849       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2851         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
2852         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2891       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2893         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
2921       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2956       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
2958         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1", "p2"));
2959         const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
2960         const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
3009       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3011         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3012         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3053       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3055         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3108       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3110         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3140       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3142         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3180       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3182         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3211       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3213         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3247       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3249         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3302       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3304         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3335       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3337         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3363       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3365         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3389       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3391         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3415       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3417         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3447       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3449         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3486       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3498         [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3553       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3555         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3556         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3581       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3583         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3600       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3602         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3621       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3623         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3670       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3672         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3673         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3732       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3734         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3755       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3757         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3776       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3778         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3779         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3798       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3800         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3801         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3825       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3827         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
3828         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3852       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3855             getEnvironmentAtAnnotation(Results, "before");
3857             getEnvironmentAtAnnotation(Results, "after");
3878       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3881             getEnvironmentAtAnnotation(Results, "before");
3883             getEnvironmentAtAnnotation(Results, "after");
3904       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3906         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3950       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3952         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
3982       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
3985             getEnvironmentAtAnnotation(Results, "in_loop");
3987             getEnvironmentAtAnnotation(Results, "after_loop");
4017       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4021         ASSERT_TRUE(Results.empty());
4063         [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4065           ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4066           const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4129       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4131         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4156       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4158         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4191       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4209       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4211         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4212         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4255       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4257         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4258         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4289         [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4291           ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4292           const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4337         [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4339           ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4340           const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4385         [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4387           ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4388           const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4440       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4442         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4443         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4472       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4474         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4475         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4499       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4501         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4502         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4528       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4530         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4531         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4560       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4562         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4563         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4591       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4593         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4594         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4616       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4618         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4619         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4642       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4644         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4645         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4681       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4683         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4684         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4712       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4714         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4715         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4743       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4745         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4746         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4777       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4779         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
4780         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4817       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4819         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p-then", "p-else"));
4821             getEnvironmentAtAnnotation(Results, "p-then");
4823             getEnvironmentAtAnnotation(Results, "p-else");
4851       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4853         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p-then", "p-else"));
4855             getEnvironmentAtAnnotation(Results, "p-then");
4857             getEnvironmentAtAnnotation(Results, "p-else");
4899       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4901         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4945       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4947         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4967       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4969         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
4997       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
4999         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p0", "p1", "p2"));
5005           const Environment &Env = getEnvironmentAtAnnotation(Results, "p0");
5014           const Environment &Env = getEnvironmentAtAnnotation(Results, "p1");
5020           const Environment &Env = getEnvironmentAtAnnotation(Results, "p2");
5045       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5047         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5048         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5075       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5077         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5078         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5112       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5114         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5115         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5146       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5148         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p-inner", "p-outer"));
5150             getEnvironmentAtAnnotation(Results, "p-inner");
5152             getEnvironmentAtAnnotation(Results, "p-outer");
5252       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5254         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5317       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5319         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5320         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5376       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5378         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5379         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5436       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5438         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5439         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5523       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5525         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1", "p2"));
5526         const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
5550         const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
5604       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5606         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1", "p2"));
5607         const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
5632         const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2");
5649       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5651         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5652         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5678       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5680         Environment Env = getEnvironmentAtAnnotation(Results, "p").fork();
5712       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5714         Environment Env = getEnvironmentAtAnnotation(Results, "p").fork();
5742       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5744         Environment Env = getEnvironmentAtAnnotation(Results, "p").fork();
5775       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5777         ASSERT_THAT(Results.keys(), UnorderedElementsAre("if_then", "if_else"));
5779             getEnvironmentAtAnnotation(Results, "if_then");
5781             getEnvironmentAtAnnotation(Results, "if_else");
5807       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5809         ASSERT_THAT(Results.keys(),
5812             getEnvironmentAtAnnotation(Results, "loop_body");
5814             getEnvironmentAtAnnotation(Results, "after_loop");
5843       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5845         ASSERT_THAT(Results.keys(),
5848             getEnvironmentAtAnnotation(Results, "loop_body");
5850             getEnvironmentAtAnnotation(Results, "after_loop");
5884       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5886         ASSERT_THAT(Results.keys(),
5889             getEnvironmentAtAnnotation(Results, "loop_body");
5891             getEnvironmentAtAnnotation(Results, "after_loop");
5916       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5918         ASSERT_THAT(Results.keys(), UnorderedElementsAre("loop_body"));
5920             getEnvironmentAtAnnotation(Results, "loop_body");
5943       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5945         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5946         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5968       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5970         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
5994       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
5996         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
5997         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6033       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6035         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6077       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6079         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6080         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6105       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6107         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6108         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6132       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6134         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6135         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6161       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6163         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6164         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6198       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6200         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6201         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6227       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6229         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6230         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6256       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6258         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6259         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6286       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6288         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6289         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6327       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6329         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6331         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6360       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6362         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6363         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6402       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6404         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6405         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6435       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6437         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6454       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6456         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6457         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6479       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6481         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6482         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6507       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6509         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6510         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6532       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6534         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6556       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6558         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6592       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6594         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6620       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6622         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6623         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6652       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6654         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6655         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6684       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6686         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6687         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6718       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6720         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6721         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6752       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6754         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6756         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6786       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6788         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6790         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6818       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6820         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6821         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6849       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6851         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6852         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6880       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6882         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6883         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6912       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6914         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
6922         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
6946       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6965       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
6967         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7007       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7009         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7010         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7050       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7053             getEnvironmentAtAnnotation(Results, "after_new");
7081       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7084             getEnvironmentAtAnnotation(Results, "after_new");
7121       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7123         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7150       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7158         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7193       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7200         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7241       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7243         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7272       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7274         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7304       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7306         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7338       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7353       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7355         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7356         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7386       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7388         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7389         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7419       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7421         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7422         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7452       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7454         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7455         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7487       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7489         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7490         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7526       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7528         ASSERT_THAT(Results.keys(), UnorderedElementsAre("p"));
7529         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
7566       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
7568         const Environment &Env = getEnvironmentAtAnnotation(Results, "p");