This revision was automatically updated to reflect the committed changes. Closed by commit rL368939: Remove LVALUE / RVALUE workarounds (authored by jfb, committed by ). Herald added a subscriber: kristina.
Changed prior to commit: https://reviews.llvm.org/D66240?vs=215202&id=215275#toc Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D66240/new/ https://reviews.llvm.org/D66240 Files: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h llvm/trunk/include/llvm/ADT/Optional.h llvm/trunk/include/llvm/Support/Compiler.h llvm/trunk/unittests/ADT/OptionalTest.cpp
Index: llvm/trunk/unittests/ADT/OptionalTest.cpp =================================================================== --- llvm/trunk/unittests/ADT/OptionalTest.cpp +++ llvm/trunk/unittests/ADT/OptionalTest.cpp @@ -382,8 +382,6 @@ EXPECT_EQ(0u, Immovable::Destructions); } -#if LLVM_HAS_RVALUE_REFERENCE_THIS - TEST_F(OptionalTest, MoveGetValueOr) { Optional<MoveOnly> A; @@ -401,8 +399,6 @@ EXPECT_EQ(2u, MoveOnly::Destructions); } -#endif // LLVM_HAS_RVALUE_REFERENCE_THIS - struct EqualTo { template <typename T, typename U> static bool apply(const T &X, const U &Y) { return X == Y; Index: llvm/trunk/include/llvm/Support/Compiler.h =================================================================== --- llvm/trunk/include/llvm/Support/Compiler.h +++ llvm/trunk/include/llvm/Support/Compiler.h @@ -83,26 +83,6 @@ #define LLVM_MSC_PREREQ(version) 0 #endif -/// Does the compiler support ref-qualifiers for *this? -/// -/// Sadly, this is separate from just rvalue reference support because GCC -/// and MSVC implemented this later than everything else. -#if __has_feature(cxx_rvalue_references) || LLVM_GNUC_PREREQ(4, 8, 1) -#define LLVM_HAS_RVALUE_REFERENCE_THIS 1 -#else -#define LLVM_HAS_RVALUE_REFERENCE_THIS 0 -#endif - -/// Expands to '&' if ref-qualifiers for *this are supported. -/// -/// This can be used to provide lvalue/rvalue overrides of member functions. -/// The rvalue override should be guarded by LLVM_HAS_RVALUE_REFERENCE_THIS -#if LLVM_HAS_RVALUE_REFERENCE_THIS -#define LLVM_LVALUE_FUNCTION & -#else -#define LLVM_LVALUE_FUNCTION -#endif - /// LLVM_LIBRARY_VISIBILITY - If a class marked with this attribute is linked /// into a shared library, then the class should be private to the library and /// not accessible from outside it. Can also be used to mark variables and Index: llvm/trunk/include/llvm/ADT/Optional.h =================================================================== --- llvm/trunk/include/llvm/ADT/Optional.h +++ llvm/trunk/include/llvm/ADT/Optional.h @@ -69,20 +69,18 @@ bool hasValue() const noexcept { return hasVal; } - T &getValue() LLVM_LVALUE_FUNCTION noexcept { + T &getValue() & noexcept { assert(hasVal); return value; } - T const &getValue() const LLVM_LVALUE_FUNCTION noexcept { + T const &getValue() const & noexcept { assert(hasVal); return value; } -#if LLVM_HAS_RVALUE_REFERENCE_THIS T &&getValue() && noexcept { assert(hasVal); return std::move(value); } -#endif template <class... Args> void emplace(Args &&... args) { reset(); @@ -169,20 +167,19 @@ bool hasValue() const noexcept { return hasVal; } - T &getValue() LLVM_LVALUE_FUNCTION noexcept { + T &getValue() & noexcept { assert(hasVal); return value; } - T const &getValue() const LLVM_LVALUE_FUNCTION noexcept { + T const &getValue() const & noexcept { assert(hasVal); return value; } -#if LLVM_HAS_RVALUE_REFERENCE_THIS + T &&getValue() && noexcept { assert(hasVal); return std::move(value); } -#endif template <class... Args> void emplace(Args &&... args) { reset(); @@ -252,22 +249,21 @@ const T *getPointer() const { return &Storage.getValue(); } T *getPointer() { return &Storage.getValue(); } - const T &getValue() const LLVM_LVALUE_FUNCTION { return Storage.getValue(); } - T &getValue() LLVM_LVALUE_FUNCTION { return Storage.getValue(); } + const T &getValue() const & { return Storage.getValue(); } + T &getValue() & { return Storage.getValue(); } explicit operator bool() const { return hasValue(); } bool hasValue() const { return Storage.hasValue(); } const T *operator->() const { return getPointer(); } T *operator->() { return getPointer(); } - const T &operator*() const LLVM_LVALUE_FUNCTION { return getValue(); } - T &operator*() LLVM_LVALUE_FUNCTION { return getValue(); } + const T &operator*() const & { return getValue(); } + T &operator*() & { return getValue(); } template <typename U> - constexpr T getValueOr(U &&value) const LLVM_LVALUE_FUNCTION { + constexpr T getValueOr(U &&value) const & { return hasValue() ? getValue() : std::forward<U>(value); } -#if LLVM_HAS_RVALUE_REFERENCE_THIS T &&getValue() && { return std::move(Storage.getValue()); } T &&operator*() && { return std::move(Storage.getValue()); } @@ -275,7 +271,6 @@ T getValueOr(U &&value) && { return hasValue() ? std::move(getValue()) : std::forward<U>(value); } -#endif }; template <typename T, typename U> Index: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h =================================================================== --- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h +++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h @@ -167,7 +167,7 @@ const ProgramStateRef &getState() const { return State; } template <typename T> - Optional<T> getLocationAs() const LLVM_LVALUE_FUNCTION { + Optional<T> getLocationAs() const & { return Location.getAs<T>(); }
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits