[llvm-bugs] [Bug 38164] New: Crash on valid: Local instantiation of template using module-exported type

via llvm-bugs llvm-bugs at lists.llvm.org
Fri Jul 13 14:42:19 PDT 2018


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

            Bug ID: 38164
           Summary: Crash on valid: Local instantiation of template using
                    module-exported type
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Modules
          Assignee: unassignedclangbugs at nondot.org
          Reporter: dblaikie at gmail.com
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org,
                    richard-llvm at metafoo.co.uk

Reproduction steps:

m1.cppm:
  export module m1;
  export class t1 { };

m1.cpp:
  module m1;
  template <typename T> void f2() {}
  void f1() { f2<t1>(); }

$ clang++-tot -fmodules-ts -c -std=c++17 --precompile m1.cppm
$ clang++-tot -fmodules-ts -c -std=c++17 m1.cpp -fmodule-file=m1.pcm

Crashes:

./build.sh
clang-5.0:
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/AST/Decl.cpp:1422:
clang::LinkageInfo clang::LinkageComputer::getLVForDecl(const clang::NamedDecl
*, clang::LVComputationKind): Assertion `D->getCachedLinkage() ==
LV.getLinkage()' failed.
Stack dump:
0.      Program arguments:
/usr/local/google/home/blaikie/dev/llvm/build/default/bin/clang-5.0 -cc1
-triple x86_64-unknown-linux-gnu -emit-obj -mrelax-all -disable-free
-main-file-name m1.cpp -mrelocation-model static -mthread-model posix
-mdisable-fp-elim -fmath-errno -masm-verbose -mconstructor-aliases
-munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info
-debugger-tuning=gdb -coverage-notes-file
/usr/local/google/home/blaikie/dev/scratch/modules_crash/m1.gcno -resource-dir
/usr/local/google/home/blaikie/dev/llvm/build/default/lib/clang/7.0.0
-internal-isystem
/usr/local/google/home/blaikie/install/bin/../lib/gcc/x86_64-pc-linux-gnu/8.1.0/../../../../include/c++/8.1.0
-internal-isystem
/usr/local/google/home/blaikie/install/bin/../lib/gcc/x86_64-pc-linux-gnu/8.1.0/../../../../include/c++/8.1.0/x86_64-pc-linux-gnu
-internal-isystem
/usr/local/google/home/blaikie/install/bin/../lib/gcc/x86_64-pc-linux-gnu/8.1.0/../../../../include/c++/8.1.0/backward
-internal-isystem /usr/local/include -internal-isystem
/usr/local/google/home/blaikie/dev/llvm/build/default/lib/clang/7.0.0/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include
-std=c++17 -fdeprecated-macro -fdebug-compilation-dir
/usr/local/google/home/blaikie/dev/scratch/modules_crash -ferror-limit 19
-fmessage-length 278 -fmodules-ts -fno-implicit-modules -fmodule-file=m1.pcm
-fobjc-runtime=gcc -fcxx-exceptions -fexceptions -fdiagnostics-show-option
-fcolor-diagnostics -o m1.o -x c++ m1.cpp 
1.      <eof> parser at end of file
2.      Per-file LLVM IR generation
3.      m1.cpp:3:28: Generating code for declaration 'f2'
#0 0x0000000006c5f2b9 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
/usr/local/google/home/blaikie/dev/llvm/src/lib/Support/Unix/Signals.inc:490:11
#1 0x0000000006c5f469 PrintStackTraceSignalHandler(void*)
/usr/local/google/home/blaikie/dev/llvm/src/lib/Support/Unix/Signals.inc:554:1
#2 0x0000000006c5d756 llvm::sys::RunSignalHandlers()
/usr/local/google/home/blaikie/dev/llvm/src/lib/Support/Signals.cpp:66:5
#3 0x0000000006c5fa97 SignalHandler(int)
/usr/local/google/home/blaikie/dev/llvm/src/lib/Support/Unix/Signals.inc:353:1
#4 0x00007f97e777f0c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x110c0)
#5 0x00007f97e6315fcf gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x32fcf)
#6 0x00007f97e63173fa abort (/lib/x86_64-linux-gnu/libc.so.6+0x343fa)
#7 0x00007f97e630ee37 (/lib/x86_64-linux-gnu/libc.so.6+0x2be37)
#8 0x00007f97e630eee2 (/lib/x86_64-linux-gnu/libc.so.6+0x2bee2)
#9 0x000000000aaafea9 clang::LinkageComputer::getLVForDecl(clang::NamedDecl
const*, clang::LVComputationKind)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/AST/Decl.cpp:1422:5
#10 0x000000000aab1443
clang::LinkageComputer::getDeclLinkageAndVisibility(clang::NamedDecl const*)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/AST/Decl.cpp:1455:10
#11 0x000000000aab2e0b clang::NamedDecl::getLinkageAndVisibility() const
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/AST/Decl.cpp:1071:28
#12 0x000000000715c91e
clang::CodeGen::CodeGenModule::setGlobalVisibility(llvm::GlobalValue*,
clang::NamedDecl const*) const
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:715:23
#13 0x000000000715ce37
clang::CodeGen::CodeGenModule::setGlobalVisibilityAndLocal(llvm::GlobalValue*,
clang::NamedDecl const*) const
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:824:15
#14 0x000000000715cdf8
clang::CodeGen::CodeGenModule::setGVProperties(llvm::GlobalValue*,
clang::GlobalDecl) const
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:813:1
#15 0x0000000007168cbf
clang::CodeGen::CodeGenModule::EmitGlobalFunctionDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:3710:30
#16 0x0000000007162bad
clang::CodeGen::CodeGenModule::EmitGlobalDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:2340:12
#17 0x0000000007159c2e clang::CodeGen::CodeGenModule::EmitDeferred()
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:1756:10
#18 0x00000000071582f5 clang::CodeGen::CodeGenModule::Release()
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenModule.cpp:393:3
#19 0x0000000007b43192 (anonymous
namespace)::CodeGeneratorImpl::HandleTranslationUnit(clang::ASTContext&)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/ModuleBuilder.cpp:269:11
#20 0x0000000007b3deee
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenAction.cpp:236:14
#21 0x00000000095df013 clang::ParseAST(clang::Sema&, bool, bool)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/Parse/ParseAST.cpp:177:12
#22 0x0000000007992562 clang::ASTFrontendAction::ExecuteAction()
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/Frontend/FrontendAction.cpp:1013:1
#23 0x0000000007b3ba22 clang::CodeGenAction::ExecuteAction()
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/CodeGen/CodeGenAction.cpp:1044:1
#24 0x0000000007991fa0 clang::FrontendAction::Execute()
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/Frontend/FrontendAction.cpp:914:7
#25 0x00000000078670e9
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/Frontend/CompilerInstance.cpp:962:7
#26 0x0000000007b25fef
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:257:8
#27 0x00000000041d818e cc1_main(llvm::ArrayRef<char const*>, char const*,
void*)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/tools/driver/cc1_main.cpp:216:11
#28 0x00000000041cb462 ExecuteCC1Tool(llvm::ArrayRef<char const*>,
llvm::StringRef)
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/tools/driver/driver.cpp:310:5
#29 0x00000000041ca094 main
/usr/local/google/home/blaikie/dev/llvm/src/tools/clang/tools/driver/driver.cpp:382:5
#30 0x00007f97e63032b1 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x202b1)
#31 0x00000000041c902a _start
(/usr/local/google/home/blaikie/dev/llvm/build/default/bin/clang-5.0+0x41c902a)

-- 
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/20180713/4a7675e9/attachment-0001.html>


More information about the llvm-bugs mailing list