[llvm-bugs] [Bug 47211] New: Assert in SemaExprMember.cpp after 61700724

[via llvm-bugs]

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

            Bug ID: 47211
           Summary: Assert in SemaExprMember.cpp after 61700724
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Frontend
          Assignee: unassignedclangbugs at nondot.org
          Reporter: paul_robinson at playstation.sony.com
                CC: llvm-bugs at lists.llvm.org, neeilans at live.com,
                    richard-llvm at metafoo.co.uk

Created attachment 23856
  --> https://bugs.llvm.org/attachment.cgi?id=23856&action=edit
crash log

The following source used to get an error diagnostic, now it asserts.

class C {
    public:
        template <class T> static constexpr T G = T(6.675e-11);
};
template <class T> T F() {
    C object;
    return object.G<T>;
}

int foo() {
  return F<int>();
}


Bisected to 61700724:

commit 617007240cbfb97c8ccf6d61b0c4ca0bb62d43c9 (HEAD)
Author: Richard Smith <richard at metafoo.co.uk>
Date:   Wed Jul 15 19:37:15 2020 -0700

    Improve modeling of variable template specializations with dependent
    arguments.

    Don't build a variable template specialization declaration until its
    scope and template arguments are non-dependent.

    No functionality change intended, but the AST representation is now more
    consistent with how we model other templates.

-- 
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/20200817/cc9bb439/attachment.html>