[LLVMbugs] [Bug 20032] New: assert if 'operator auto' is matched against a member template conversion operator

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=20032

            Bug ID: 20032
           Summary: assert if 'operator auto' is matched against a member
                    template conversion operator
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++1y
          Assignee: unassignedclangbugs at nondot.org
          Reporter: richard-llvm at metafoo.co.uk
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

We should reject this, because 'S' has no member named 'operator auto':

  struct S {
    template<typename T> operator T();
  };
  auto x = S().operator auto();

Instead, we instantiate the member template to form an 'operator auto' and
assert in IR generation.

-- 
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/20140613/e2653001/attachment.html>