<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - non-canonical or dependent type in IR-generation"
   href="https://bugs.llvm.org/show_bug.cgi?id=42494">42494</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>non-canonical or dependent type in IR-generation
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>C++
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedclangbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>sguelton@redhat.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>blitzrakete@gmail.com, dgregor@apple.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
          </td>
        </tr></table>
      <p>
        <div>
        <pre>The following code triggers an abort when compiled with clang 

```C++
template<typename>
struct T
{
        template<typename Type>
        constexpr static Type value = 1;

        float foo()
        {
                return value<float>;
        }
};

int main()
{
        T<int> {}.foo();
}
```

Associated backtrace:

```
 #0 0x00007f14cbd60110 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
/home/sguelton/sources/llvm-project/llvm/lib/Support/Unix/Signals.inc:494:22
 #1 0x00007f14cbd601a3 PrintStackTraceSignalHandler(void*)
/home/sguelton/sources/llvm-project/llvm/lib/Support/Unix/Signals.inc:558:1
 #2 0x00007f14cbd5e45b llvm::sys::RunSignalHandlers()
/home/sguelton/sources/llvm-project/llvm/lib/Support/Signals.cpp:68:20
 #3 0x00007f14cbd5fc06 SignalHandler(int)
/home/sguelton/sources/llvm-project/llvm/lib/Support/Unix/Signals.inc:357:1
 #4 0x00007f14cab1e680 __restore_rt (/lib64/libpthread.so.0+0xf680)
 #5 0x00007f14c6ed7207 raise (/lib64/libc.so.6+0x36207)
 #6 0x00007f14c6ed88f8 abort (/lib64/libc.so.6+0x378f8)
 #7 0x00007f14cbc25b30 bindingsErrorHandler(void*, std::string const&, bool)
/home/sguelton/sources/llvm-project/llvm/lib/Support/ErrorHandling.cpp:230:55
 #8 0x00007f14c991a683
clang::CodeGen::CodeGenFunction::getEvaluationKind(clang::QualType)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenFunction.cpp:205:7
 #9 0x00007f14c98aef2c
clang::CodeGen::CodeGenFunction::EmitReturnStmt(clang::ReturnStmt const&)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CGStmt.cpp:1095:30
#10 0x00007f14c98ab01d clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*, llvm::ArrayRef<clang::Attr const*>)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CGStmt.cpp:144:75
#11 0x00007f14c98abc3b
clang::CodeGen::CodeGenFunction::EmitCompoundStmtWithoutScope(clang::CompoundStmt
const&, bool, clang::CodeGen::AggValueSlot)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CGStmt.cpp:384:3
#12 0x00007f14c9920fa8
clang::CodeGen::CodeGenFunction::EmitFunctionBody(clang::Stmt const*)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenFunction.cpp:1031:36
#13 0x00007f14c9921b58
clang::CodeGen::CodeGenFunction::GenerateCode(clang::GlobalDecl,
llvm::Function*, clang::CodeGen::CGFunctionInfo const&)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenFunction.cpp:1196:21
#14 0x00007f14c9943a07
clang::CodeGen::CodeGenModule::EmitGlobalFunctionDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:4314:3
#15 0x00007f14c993d544
clang::CodeGen::CodeGenModule::EmitGlobalDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:2749:28
#16 0x00007f14c993a92e clang::CodeGen::CodeGenModule::EmitDeferred()
(.localalias.2)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:2123:31
#17 0x00007f14c9932640 clang::CodeGen::CodeGenModule::Release()
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:394:31
#18 0x00007f14c9ab2113 (anonymous
namespace)::CodeGeneratorImpl::HandleTranslationUnit(clang::ASTContext&)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/ModuleBuilder.cpp:260:11
#19 0x00007f14c9912e58
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:240:9
#20 0x00007f14bfbdeba8 clang::ParseAST(clang::Sema&, bool, bool)
/home/sguelton/sources/llvm-project/clang/lib/Parse/ParseAST.cpp:178:14
#21 0x00007f14c8879b55 clang::ASTFrontendAction::ExecuteAction()
/home/sguelton/sources/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1041:11
#22 0x00007f14c99100b6 clang::CodeGenAction::ExecuteAction()
/home/sguelton/sources/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:1060:1
#23 0x00007f14c88794cb clang::FrontendAction::Execute()
/home/sguelton/sources/llvm-project/clang/lib/Frontend/FrontendAction.cpp:938:38
#24 0x00007f14c8806ef1
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/home/sguelton/sources/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:944:42
#25 0x00007f14c82d32cf
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/home/sguelton/sources/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:291:38
#26 0x00000000004464c7 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*)
/home/sguelton/sources/llvm-project/clang/tools/driver/cc1_main.cpp:250:40
#27 0x000000000043c31c ExecuteCC1Tool(llvm::ArrayRef<char const*>,
llvm::StringRef)
/home/sguelton/sources/llvm-project/clang/tools/driver/driver.cpp:309:64
#28 0x000000000043c96e main
/home/sguelton/sources/llvm-project/clang/tools/driver/driver.cpp:381:26
```</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>