en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp#f64f4886 Reland [LifetimeAnalysis] Support more STL idioms (template forward declaration and DependentNameType)Reland after https://reviews.llvm.org/D66806 fixed the false-positive diagnostics.Summary:This fixes inference of gsl::Pointer on std::set::iterator with libstdc++ (the typedef for iteratoron the template is a DependentNameType - we can only put the gsl::Pointer attributeon the underlaying record after instantiation)inference of gsl::Pointer on std::vector::iterator with libc++ (the class was forward-declared,we added the gsl::Pointer on the canonical decl (the forward decl), and later when thetemplate was instantiated, there was no attribute on the definition so it was not instantiated).and a duplicate gsl::Pointer on some class with libstdc++ (we first added an attribute toa incomplete instantiation, and then another was copied from the template definitionwhen the instantiation was completed).We now add the attributes to all redeclarations to fix thos issues and make their usage easier.Reviewers: gribozavrSubscribers: Szelethus, xazax.hun, cfe-commitsTags: #clangDifferential Revision: https://reviews.llvm.org/D66179llvm-svn: 371182 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp Fri, 06 Sep 2019 08:56:30 +0000 Matthias Gehre <M.Gehre@gmx.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp#966eea91 Revert "[LifetimeAnalysis] Support more STL idioms (template forward declaration and DependentNameType)"This reverts commit r369591, because it causes the formerly-reliable-Wreturn-stack-address warning to start issuing false positives.Testcase provided on the commit thread.llvm-svn: 369677 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp Thu, 22 Aug 2019 17:48:11 +0000 Richard Smith <richard-llvm@metafoo.co.uk> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp#b1c78012 [LifetimeAnalysis] Support more STL idioms (template forward declaration and DependentNameType)Summary:This fixes inference of gsl::Pointer on std::set::iterator with libstdc++ (the typedef for iteratoron the template is a DependentNameType - we can only put the gsl::Pointer attributeon the underlaying record after instantiation)inference of gsl::Pointer on std::vector::iterator with libc++ (the class was forward-declared,we added the gsl::Pointer on the canonical decl (the forward decl), and later when thetemplate was instantiated, there was no attribute on the definition so it was not instantiated).and a duplicate gsl::Pointer on some class with libstdc++ (we first added an attribute toa incomplete instantiation, and then another was copied from the template definitionwhen the instantiation was completed).We now add the attributes to all redeclarations to fix thos issues and make their usage easier.Reviewers: gribozavrSubscribers: Szelethus, xazax.hun, cfe-commitsTags: #clangDifferential Revision: https://reviews.llvm.org/D66179llvm-svn: 369591 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp Wed, 21 Aug 2019 22:08:59 +0000 Matthias Gehre <M.Gehre@gmx.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp#23092ca9 gsl::Owner/gsl::Pointer: Add implicit annotations for some std typesSummary:Hard code gsl::Owner/gsl::Pointer for std types. The paper mentionssome types explicitly. Generally, all containers and their iterators arecovered. For iterators, we cover both the case that they are definedas an nested class or as an typedef/using. I have started to test thisimplementation against some real standard library implementations, namelylibc++ 7.1.0, libc++ 8.0.1rc2, libstdc++ 4.6.4, libstdc++ 4.8.5,libstdc++ 4.9.4, libstdc++ 5.4.0, libstdc++ 6.5.0, libstdc++ 7.3.0,libstdc++ 8.3.0 and libstdc++ 9.1.0.The tests are currently here https://github.com/mgehre/llvm-project/blob/lifetime-ci/lifetime-attr-test.sh https://github.com/mgehre/llvm-project/blob/lifetime-ci/lifetime-attr-test.cppI think due to their dependency on a standard library, they are not a good fitfor clang/test/. Where else could I put them?Reviewers: gribozavr, xazax.hunSubscribers: rnkovacs, cfe-commitsTags: #clangDifferential Revision: https://reviews.llvm.org/D64448llvm-svn: 368147 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/attr-gsl-owner-pointer-std.cpp Wed, 07 Aug 2019 10:45:36 +0000 Matthias Gehre <M.Gehre@gmx.de>