{"owner":"nuudlman","repo":"llvm","channel":"main","channels":["main"],"can_delete":true,"inode":{"File":{"path":[{"basename":"clang","pos":"7OVOGA6QKF5OI.EJBFAJQ","meta":576},{"basename":"test","pos":"7OVOGA6QKF5OI.RXSO6JQ","meta":576},{"basename":"SemaCXX","pos":"7OVOGA6QKF5OI.HPUBWJY","meta":576},{"basename":"attr-gsl-owner-pointer-std.cpp","pos":"7OVOGA6QKF5OI.OWDFKJY","meta":0}],"file":"// RUN: %clang_cc1 -ast-dump %s | \\\n// RUN: FileCheck --implicit-check-not OwnerAttr --implicit-check-not PointerAttr %s\n\n// Test attribute inference for types in the standard library.\nnamespace std {\n// Attributes are inferred for a (complete) class.\nclass any {\n // CHECK: CXXRecordDecl {{.*}} any\n // CHECK: OwnerAttr {{.*}}\n};\n\n// Attributes are inferred for instantiations of a complete template.\ntemplate \nclass vector {\npublic:\n class iterator {};\n // CHECK: ClassTemplateDecl {{.*}} vector\n // CHECK: OwnerAttr {{.*}}\n // CHECK: CXXRecordDecl {{.*}} iterator\n // CHECK: PointerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} vector\n // CHECK: TemplateArgument type 'int'\n // CHECK: OwnerAttr\n // CHECK: CXXRecordDecl {{.*}} iterator\n // CHECK: PointerAttr {{.*}}\n};\nstatic_assert(sizeof(vector), \"\"); // Force instantiation.\nstatic_assert(sizeof(vector::iterator), \"\"); // Force instantiation.\n\n// If std::container::iterator is a using declaration, attributes are inferred\n// for the underlying class.\ntemplate \nclass __set_iterator {};\n// CHECK: ClassTemplateDecl {{.*}} __set_iterator\n// CHECK: PointerAttr\n// CHECK: ClassTemplateSpecializationDecl {{.*}} __set_iterator\n// CHECK: TemplateArgument type 'int'\n// CHECK: PointerAttr\n\ntemplate \nclass set {\n // CHECK: ClassTemplateDecl {{.*}} set\n // CHECK: OwnerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} set\n // CHECK: OwnerAttr {{.*}}\npublic:\n using iterator = __set_iterator;\n};\nstatic_assert(sizeof(set::iterator), \"\"); // Force instantiation.\n\n// If std::container::iterator is a typedef, attributes are inferred for the\n// underlying class.\ntemplate \nclass __map_iterator {};\n// CHECK: ClassTemplateDecl {{.*}} __map_iterator\n// CHECK: PointerAttr\n// CHECK: ClassTemplateSpecializationDecl {{.*}} __map_iterator\n// CHECK: TemplateArgument type 'int'\n// CHECK: PointerAttr\n\ntemplate \nclass map {\n // CHECK: ClassTemplateDecl {{.*}} map\n // CHECK: OwnerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} map\n // CHECK: OwnerAttr {{.*}}\npublic:\n typedef __map_iterator iterator;\n};\nstatic_assert(sizeof(map::iterator), \"\"); // Force instantiation.\n\n// Inline namespaces are ignored when checking if\n// the class lives in the std namespace.\ninline namespace inlinens {\ntemplate \nclass __unordered_map_iterator {};\n// CHECK: ClassTemplateDecl {{.*}} __unordered_map_iterator\n// CHECK: PointerAttr\n// CHECK: ClassTemplateSpecializationDecl {{.*}} __unordered_map_iterator\n// CHECK: TemplateArgument type 'int'\n// CHECK: PointerAttr\n\ntemplate \nclass unordered_map {\n // CHECK: ClassTemplateDecl {{.*}} unordered_map\n // CHECK: OwnerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} unordered_map\n // CHECK: OwnerAttr {{.*}}\npublic:\n typedef __unordered_map_iterator iterator;\n};\nstatic_assert(sizeof(unordered_map::iterator), \"\"); // Force instantiation.\n} // namespace inlinens\n\n// The iterator typedef is a DependentNameType.\ntemplate \nclass __unordered_multimap_iterator {};\n// CHECK: ClassTemplateDecl {{.*}} __unordered_multimap_iterator\n// CHECK: ClassTemplateSpecializationDecl {{.*}} __unordered_multimap_iterator\n// CHECK: TemplateArgument type 'int'\n// CHECK: PointerAttr\n\ntemplate \nclass __unordered_multimap_base {\npublic:\n using iterator = __unordered_multimap_iterator;\n};\n\ntemplate \nclass unordered_multimap {\n // CHECK: ClassTemplateDecl {{.*}} unordered_multimap\n // CHECK: OwnerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} unordered_multimap\n // CHECK: OwnerAttr {{.*}}\npublic:\n using _Mybase = __unordered_multimap_base;\n using iterator = typename _Mybase::iterator;\n};\nstatic_assert(sizeof(unordered_multimap::iterator), \"\"); // Force instantiation.\n\n// The canonical declaration of the iterator template is not its definition.\ntemplate \nclass __unordered_multiset_iterator;\n// CHECK: ClassTemplateDecl {{.*}} __unordered_multiset_iterator\n// CHECK: PointerAttr\n// CHECK: ClassTemplateSpecializationDecl {{.*}} __unordered_multiset_iterator\n// CHECK: TemplateArgument type 'int'\n// CHECK: PointerAttr\n\ntemplate \nclass __unordered_multiset_iterator {\n // CHECK: ClassTemplateDecl {{.*}} prev {{.*}} __unordered_multiset_iterator\n // CHECK: PointerAttr\n};\n\ntemplate \nclass unordered_multiset {\n // CHECK: ClassTemplateDecl {{.*}} unordered_multiset\n // CHECK: OwnerAttr {{.*}}\n // CHECK: ClassTemplateSpecializationDecl {{.*}} unordered_multiset\n // CHECK: OwnerAttr {{.*}}\npublic:\n using iterator = __unordered_multiset_iterator;\n};\n\nstatic_assert(sizeof(unordered_multiset::iterator), \"\"); // Force instantiation.\n\n// std::list has an implicit gsl::Owner attribute,\n// but explicit attributes take precedence.\ntemplate \nclass [[gsl::Pointer]] list{};\n// CHECK: ClassTemplateDecl {{.*}} list\n// CHECK: PointerAttr {{.*}}\n// CHECK: ClassTemplateSpecializationDecl {{.*}} list\n// CHECK: PointerAttr {{.*}}\n\nstatic_assert(sizeof(list), \"\"); // Force instantiation.\n\n// Forward declared template (Owner).\ntemplate <\n class CharT,\n class Traits>\nclass basic_regex;\n// CHECK: ClassTemplateDecl {{.*}} basic_regex\n// CHECK: OwnerAttr {{.*}}\n\n// Forward declared template (Pointer).\ntemplate \nclass reference_wrapper;\n// CHECK: ClassTemplateDecl {{.*}} reference_wrapper\n// CHECK: PointerAttr {{.*}}\n\nclass some_unknown_type;\n// CHECK: CXXRecordDecl {{.*}} some_unknown_type\n\n} // namespace std\n\nnamespace user {\n// If a class is not in the std namespace, we don't infer the attributes.\nclass any {\n};\n} // namespace user\n"}},"token":"TCwNfZTXacoF4NK1PhtLHOAFUbQo+DCgaFb7lkxxHQQ=","login":null}