Lines Matching defs:AssumeQueryAPI

41       Err.print("AssumeQueryAPI", errs());
72 TEST(AssumeQueryAPI, hasAttributeInAssume) {
249 TEST(AssumeQueryAPI, fillMapFromAssume) {
417   std::unique_ptr<Module> Mod = std::make_unique<Module>("AssumeQueryAPI", C);
419     Err.print("AssumeQueryAPI", errs());
487 TEST(AssumeQueryAPI, getKnowledgeFromUseInAssume) {
504 TEST(AssumeQueryAPI, AssumptionCache) {
517     Err.print("AssumeQueryAPI", errs());
566 TEST(AssumeQueryAPI, Alignment) {
579     Err.print("AssumeQueryAPI", errs());