Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[Flang] fatal internal error: CHECK(!start.IsTopLevel()) failed at /root/llvm-project/flang/lib/Semantics/tools.cpp(41) #158405

@k-arrows

Description

@k-arrows

Reproducer:
https://godbolt.org/z/4brzd6Ee8

subroutine s()

interface f
  procedure s
  procedure ss
end interface

entry ss()

end subroutine

Backtrace:

fatal internal error: CHECK(!start.IsTopLevel()) failed at /root/llvm-project/flang/lib/Semantics/tools.cpp(41)
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
Stack dump:
0.	Program arguments: /cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang -fc1 -triple x86_64-unknown-linux-gnu -S -mrelocation-model pic -pic-level 2 -pic-is-pie -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -resource-dir /cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/lib/clang/22 -mframe-pointer=all -o /app/output.s -x f95 /app/example.f90
 #0 0x0000000004202618 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4202618)
 #1 0x00000000041ff7e4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007f28dea42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007f28dea969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007f28dea42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007f28dea287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x0000000006351519 (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x6351519)
 #7 0x0000000004d8b843 (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4d8b843)
 #8 0x0000000004f06fc2 Fortran::semantics::DistinguishabilityHelper::AttachDeclaration(Fortran::parser::Message&, Fortran::semantics::Scope const&, Fortran::semantics::Symbol const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f06fc2)
 #9 0x0000000004f0755c Fortran::semantics::DistinguishabilityHelper::SayNotDistinguishable(Fortran::semantics::Scope const&, Fortran::parser::CharBlock const&, Fortran::semantics::GenericKind, Fortran::semantics::Symbol const&, Fortran::semantics::Symbol const&, bool) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f0755c)
#10 0x0000000004f07def Fortran::semantics::DistinguishabilityHelper::Check(Fortran::semantics::Scope const&) (.part.0) check-declarations.cpp:0:0
#11 0x0000000004f20d46 Fortran::semantics::CheckHelper::CheckGeneric(Fortran::semantics::Symbol const&, Fortran::semantics::GenericDetails const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f20d46)
#12 0x0000000004f22310 Fortran::semantics::CheckHelper::Check(Fortran::semantics::Symbol const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f22310)
#13 0x0000000004f225f4 Fortran::semantics::CheckHelper::Check(Fortran::semantics::Scope const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f225f4)
#14 0x0000000004f22660 Fortran::semantics::CheckHelper::Check(Fortran::semantics::Scope const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f22660)
#15 0x0000000004f22cad Fortran::semantics::CheckDeclarations(Fortran::semantics::SemanticsContext&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4f22cad)
#16 0x0000000004d81fd5 Fortran::semantics::Semantics::Perform() (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4d81fd5)
#17 0x0000000004261318 Fortran::frontend::FrontendAction::runSemanticChecks() (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4261318)
#18 0x0000000004509bc0 Fortran::frontend::CodeGenAction::beginSourceFileAction() (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x4509bc0)
#19 0x000000000425ff75 Fortran::frontend::FrontendAction::beginSourceFile(Fortran::frontend::CompilerInstance&, Fortran::frontend::FrontendInputFile const&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x425ff75)
#20 0x000000000424ddff Fortran::frontend::CompilerInstance::executeAction(Fortran::frontend::FrontendAction&) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x424ddff)
#21 0x000000000426991b Fortran::frontend::executeCompilerInvocation(Fortran::frontend::CompilerInstance*) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x426991b)
#22 0x00000000025725e2 fc1_main(llvm::ArrayRef<char const*>, char const*) (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x25725e2)
#23 0x0000000002409e21 main (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x2409e21)
#24 0x00007f28dea29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#25 0x00007f28dea29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#26 0x0000000002570fd5 _start (/cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin/flang+0x2570fd5)
flang-22: error: unable to execute command: Aborted (core dumped)
flang-22: error: flang frontend command failed due to signal (use -v to see invocation)
flang version 22.0.0git (https://github.com/llvm/llvm-project.git 98d14ad50e42f36a7e02b126ca3fb8b15d39a73b)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /cefs/48/4846a4c93190b797ba46a612_clang-llvmflang-trunk-20250912/bin
flang-22: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
flang-22: note: diagnostic msg: /tmp/example-eff788
flang-22: note: diagnostic msg: /tmp/example-eff788.sh
flang-22: note: diagnostic msg: 

********************
Compiler returned: 254

Metadata

Metadata

Assignees

No one assigned

    Labels

    crashPrefer [crash-on-valid] or [crash-on-invalid]flang:frontend

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions