[llvm-bugs] [Bug 52023] New: clang crash at "LoopInfo.h:123" under -O1

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Sep 30 07:13:15 PDT 2021


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

            Bug ID: 52023
           Summary: clang crash at "LoopInfo.h:123" under -O1
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: suochenyao at 163.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org

*******************************************************************************
OS and Platform:
CentOS Linux release 7.8.2003 (Core), x86_64 GNU/Linux
*******************************************************************************
Program:
short a;
char b;
int c;
void d() {
e : {
  int f;
  a = 2;
  for (; a >= 0; a--) {
    int g;
    ++b;
    if (a)  goto e;
    for (; c; c++)  ;
  }
}
}
void main() {}
*******************************************************************************
clang version:
$ clang -v
clang version 14.0.0 (/data/src/llvm-dev/llvm-project/clang
ae0e037f532b2ac118712c50823348a7acb6f850)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /data/bin/llvm-dev/bin
Found candidate GCC installation:
/opt/rh/devtoolset-7/root/usr/lib/gcc/x86_64-redhat-linux/7
Selected GCC installation:
/opt/rh/devtoolset-7/root/usr/lib/gcc/x86_64-redhat-linux/7
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
Found CUDA installation: /usr/local/cuda, version 10.2
*******************************************************************************
Command Lines:
$ clang -O1 a.c
a.c:16:1: warning: return type of 'main' is not 'int' [-Wmain-return-type]
void main() {}
^
a.c:16:1: note: change return type to 'int'
void main() {}
^~~~
int
clang-14:
/data/src/llvm-dev/llvm-project/llvm/include/llvm/Analysis/LoopInfo.h:123: bool
llvm::LoopBase<N, M>::contains(const LoopT*) const [with BlockT =
llvm::BasicBlock; LoopT = llvm::Loop]: Assertion `!isInvalid() && "Loop not in
a valid state!"' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /data/bin/llvm-dev/bin/clang-14 -cc1 -triple
x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -disable-free
-main-file-name a.c -mrelocation-model static -mframe-pointer=none -fmath-errno
-fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64
-tune-cpu generic -debugger-tuning=gdb
-fcoverage-compilation-dir=/data/code/dev-test/RECO/llvm/test_dir/1027-47
-resource-dir /data/bin/llvm-dev/lib/clang/14.0.0 -internal-isystem
/data/bin/llvm-dev/lib/clang/14.0.0/include -internal-isystem
/usr/local/include -internal-isystem
/opt/rh/devtoolset-7/root/usr/lib/gcc/x86_64-redhat-linux/7/../../../../x86_64-redhat-linux/include
-internal-externc-isystem /include -internal-externc-isystem /usr/include -O1
-fdebug-compilation-dir=/data/code/dev-test/RECO/llvm/test_dir/1027-47
-ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -faddrsig
-D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/a-092b90.o -x c a.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x0000000002ffa74f PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x0000000002ff81e9 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f3bcf74f630 __restore_rt sigaction.c:0:0
 #3 0x00007f3bce33c3d7 raise (/usr/lib64/libc.so.6+0x363d7)
 #4 0x00007f3bce33dac8 abort (/usr/lib64/libc.so.6+0x37ac8)
 #5 0x00007f3bce3351a6 __assert_fail_base (/usr/lib64/libc.so.6+0x2f1a6)
 #6 0x00007f3bce335252 (/usr/lib64/libc.so.6+0x2f252)
 #7 0x00000000020ba2d3 (/data/bin/llvm-dev/bin/clang-14+0x20ba2d3)
 #8 0x0000000002108865 llvm::ScalarEvolution::computeSCEVAtScope(llvm::SCEV
const*, llvm::Loop const*) (.part.1848) ScalarEvolution.cpp:0:0
 #9 0x00000000021089e3 llvm::ScalarEvolution::getSCEVAtScope(llvm::SCEV const*,
llvm::Loop const*) (/data/bin/llvm-dev/bin/clang-14+0x21089e3)
#10 0x00000000030e6cca llvm::rewriteLoopExitValues(llvm::Loop*,
llvm::LoopInfo*, llvm::TargetLibraryInfo*, llvm::ScalarEvolution*,
llvm::TargetTransformInfo const*, llvm::SCEVExpander&, llvm::DominatorTree*,
llvm::ReplaceExitVal, llvm::SmallVector<llvm::WeakTrackingVH, 16u>&)
(/data/bin/llvm-dev/bin/clang-14+0x30e6cca)
#11 0x0000000002d57c79 (anonymous namespace)::IndVarSimplify::run(llvm::Loop*)
IndVarSimplify.cpp:0:0
#12 0x0000000002d58a1f llvm::IndVarSimplifyPass::run(llvm::Loop&,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&)
(/data/bin/llvm-dev/bin/clang-14+0x2d58a1f)
#13 0x00000000040218ad llvm::detail::PassModel<llvm::Loop,
llvm::IndVarSimplifyPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>::run(llvm::Loop&,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&)
(/data/bin/llvm-dev/bin/clang-14+0x40218ad)
#14 0x0000000005962bd2 llvm::Optional<llvm::PreservedAnalyses>
llvm::PassManager<llvm::Loop, llvm::AnalysisManager<llvm::Loop,
llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&,
llvm::LPMUpdater&>::runSinglePass<llvm::Loop,
std::unique_ptr<llvm::detail::PassConcept<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>,
std::default_delete<llvm::detail::PassConcept<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&> > > >(llvm::Loop&,
std::unique_ptr<llvm::detail::PassConcept<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>,
std::default_delete<llvm::detail::PassConcept<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&> > >&,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&,
llvm::PassInstrumentation&) (/data/bin/llvm-dev/bin/clang-14+0x5962bd2)
#15 0x0000000005962e2e llvm::PassManager<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&,
llvm::LPMUpdater&>::runWithoutLoopNestPasses(llvm::Loop&,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&)
(/data/bin/llvm-dev/bin/clang-14+0x5962e2e)
#16 0x00000000059640c8 llvm::PassManager<llvm::Loop,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>::run(llvm::Loop&,
llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&,
llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&)
(/data/bin/llvm-dev/bin/clang-14+0x59640c8)
#17 0x00000000059654fd llvm::FunctionToLoopPassAdaptor::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(/data/bin/llvm-dev/bin/clang-14+0x59654fd)
#18 0x000000000401ff0d llvm::detail::PassModel<llvm::Function,
llvm::FunctionToLoopPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(/data/bin/llvm-dev/bin/clang-14+0x401ff0d)
#19 0x00000000027defd8 llvm::PassManager<llvm::Function,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(/data/bin/llvm-dev/bin/clang-14+0x27defd8)
#20 0x0000000000de24dd llvm::detail::PassModel<llvm::Function,
llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >,
llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>
>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&)
(/data/bin/llvm-dev/bin/clang-14+0xde24dd)
#21 0x0000000001f4d2ae
llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0x1f4d2ae)
#22 0x0000000000de2ecd llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::CGSCCToFunctionPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0xde2ecd)
#23 0x0000000001f46065 llvm::PassManager<llvm::LazyCallGraph::SCC,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0x1f46065)
#24 0x00000000028e8d0d llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::PassManager<llvm::LazyCallGraph::SCC,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0x28e8d0d)
#25 0x0000000001f493a0
llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0x1f493a0)
#26 0x00000000028e8ced llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::DevirtSCCRepeatedPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/data/bin/llvm-dev/bin/clang-14+0x28e8ced)
#27 0x0000000001f4798f
llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x1f4798f)
#28 0x00000000028e8d2d llvm::detail::PassModel<llvm::Module,
llvm::ModuleToPostOrderCGSCCPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x28e8d2d)
#29 0x00000000027dd099 llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x27dd099)
#30 0x00000000028eb537 llvm::ModuleInlinerWrapperPass::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x28eb537)
#31 0x00000000040213cd llvm::detail::PassModel<llvm::Module,
llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x40213cd)
#32 0x00000000027dd099 llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/data/bin/llvm-dev/bin/clang-14+0x27dd099)
#33 0x00000000032ecb5e (anonymous
namespace)::EmitAssemblyHelper::EmitAssemblyWithNewPassManager(clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >) BackendUtil.cpp:0:0
#34 0x00000000032f182d clang::EmitBackendOutput(clang::DiagnosticsEngine&,
clang::HeaderSearchOptions const&, clang::CodeGenOptions const&,
clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef,
llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >)
(/data/bin/llvm-dev/bin/clang-14+0x32f182d)
#35 0x0000000003fbe716
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/data/bin/llvm-dev/bin/clang-14+0x3fbe716)
#36 0x0000000004ade799 clang::ParseAST(clang::Sema&, bool, bool)
(/data/bin/llvm-dev/bin/clang-14+0x4ade799)
#37 0x0000000003fbd5a0 clang::CodeGenAction::ExecuteAction()
(/data/bin/llvm-dev/bin/clang-14+0x3fbd5a0)
#38 0x000000000391e9a9 clang::FrontendAction::Execute()
(/data/bin/llvm-dev/bin/clang-14+0x391e9a9)
#39 0x00000000038c176a
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/data/bin/llvm-dev/bin/clang-14+0x38c176a)
#40 0x00000000039e73ba
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/data/bin/llvm-dev/bin/clang-14+0x39e73ba)
#41 0x0000000000b4c6cc cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/data/bin/llvm-dev/bin/clang-14+0xb4c6cc)
#42 0x0000000000b47031 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
driver.cpp:0:0
#43 0x0000000000a7bd41 main (/data/bin/llvm-dev/bin/clang-14+0xa7bd41)
#44 0x00007f3bce328555 __libc_start_main (/usr/lib64/libc.so.6+0x22555)
#45 0x0000000000b469b5 _start (/data/bin/llvm-dev/bin/clang-14+0xb469b5)
clang-14: error: unable to execute command: Aborted (core dumped)
clang-14: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 14.0.0 (/data/src/llvm-dev/llvm-project/clang
ae0e037f532b2ac118712c50823348a7acb6f850)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /data/bin/llvm-dev/bin
clang-14: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-14: note: diagnostic msg: /tmp/a-a0a5b1.c
clang-14: note: diagnostic msg: /tmp/a-a0a5b1.sh
clang-14: note: diagnostic msg:

********************

-- 
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/20210930/0133c231/attachment-0001.html>


More information about the llvm-bugs mailing list