[llvm-bugs] [Bug 26134] New: VarDecl::checkInitIsIce() !Init->isValueDependent Assertion failure

[via llvm-bugs]

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

            Bug ID: 26134
           Summary: VarDecl::checkInitIsIce() !Init->isValueDependent
                    Assertion failure
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
          Assignee: unassignedclangbugs at nondot.org
          Reporter: saugustine at google.com
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org
    Classification: Unclassified

This looks quite similar to these bugs, but they have been marked fixed for a
while. So this is either a regression, or a new code path.

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

The following code and command line results in an assertion failure at inside a
debug copy of trunk:

clang++ orig.ii -std=gnu++11

template<typename GebpKernel, bool UseRotatingKernel =
GebpKernel::UseRotatingKernel>
struct PossiblyRotatingKernelHelper {};

template<bool B> struct gebp_kernel {
  void f() { PossiblyRotatingKernelHelper<gebp_kernel>
possiblyRotatingKernelHelper; }
  static const bool UseRotatingKernel = B;
};

clang-3.8:
/usr/local/google/home/saugustine/llvm/llvm/tools/clang/lib/AST/Decl.cpp:2181:
bool clang::VarDecl::checkInitIsICE() const: Assertion
`!Init->isValueDependent()' failed.

....

Incidentally, if I comment out this assertion, an identical one fires very soon
after, and if I comment out that one, another identical one fires very soon
after.

-- 
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/20160113/289d4b65/attachment.html>