[llvm-bugs] [Bug 25306] New: __attribute__((returns_nonnull)) does not work for std::add_pointer_t<T>

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=25306

            Bug ID: 25306
           Summary: __attribute__((returns_nonnull)) does not work for
                    std::add_pointer_t<T>
           Product: clang
           Version: 3.7
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: Frontend
          Assignee: unassignedclangbugs at nondot.org
          Reporter: frankhb1989 at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Case:
// clang++ -std=c++14 a.cc
#include <type_traits>

template<typename T>
__attribute__((returns_nonnull)) std::add_pointer_t<T> t()
{
    static T obj;
    return &obj;
}

int main()
{}

Diagnostics:
a.cc:4:16: warning: 'returns_nonnull' attribute only applies to return values
that are pointers
      [-Wignored-attributes]
__attribute__((returns_nonnull)) std::add_pointer_t<T> t()

On the other hand, G++ works.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20151024/d7c64cbe/attachment.html>