[llvm-bugs] [Bug 44850] New: Assertion `NumBits >= MIN_INT_BITS && "bitwidth too small"' failed

via llvm-bugs llvm-bugs at lists.llvm.org
Sat Feb 8 12:18:35 PST 2020


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

            Bug ID: 44850
           Summary: Assertion `NumBits >= MIN_INT_BITS && "bitwidth too
                    small"' failed
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: -New Bugs
          Assignee: unassignedclangbugs at nondot.org
          Reporter: changochen1 at gmail.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org,
                    neeilans at live.com, richard-llvm at metafoo.co.uk

POC:
---
# 1 "<built-in>"
# 1 "test1.c"
b(struct {
  char a[12.340000 >= 56.779999];
  char c[]
} d) {
  e(d);
}
---

Run script:
---
# Crash reproducer for clang version 11.0.0
(https://github.com/llvm/llvm-project.git
56b7f595d2b402ff177ca42214325c8fdea10fb0)
# Driver args: "-x" "c" "-o" "tmp" "test1.c"
# Original command:  "/data/rxz226/llvm-project/bld/bin/clang-11" "-cc1"
"-triple" "x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "-disable-free"
"-main-file-name" "test1.c" "-mrelocation-model" "static" "-mthread-model"
"posix" "-mframe-pointer=all" "-fmath-errno" "-fno-rounding-math"
"-masm-verbose" "-mconstructor-aliases" "-munwind-tables" "-target-cpu"
"x86-64" "-dwarf-column-info" "-fno-split-dwarf-inlining"
"-debugger-tuning=gdb" "-resource-dir"
"/data/rxz226/llvm-project/bld/lib/clang/11.0.0" "-internal-isystem"
"/usr/local/include" "-internal-isystem"
"/data/rxz226/llvm-project/bld/lib/clang/11.0.0/include"
"-internal-externc-isystem" "/usr/include/x86_64-linux-gnu"
"-internal-externc-isystem" "/include" "-internal-externc-isystem"
"/usr/include" "-fdebug-compilation-dir" "/home/rxz226/c_reduce"
"-ferror-limit" "19" "-fmessage-length" "0" "-fgnuc-version=4.2.1"
"-fobjc-runtime=gcc" "-fdiagnostics-show-option" "-fcolor-diagnostics"
"-faddrsig" "-o" "/tmp/test1-818572.o" "-x" "c" "test1.c"
 "/data/rxz226/llvm-project/bld/bin/clang-11" "-cc1" "-triple"
"x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "-disable-free"
"-main-file-name" "test1.c" "-mrelocation-model" "static" "-mthread-model"
"posix" "-mframe-pointer=all" "-fmath-errno" "-fno-rounding-math"
"-masm-verbose" "-mconstructor-aliases" "-munwind-tables" "-target-cpu"
"x86-64" "-dwarf-column-info" "-fno-split-dwarf-inlining"
"-debugger-tuning=gdb" "-ferror-limit" "19" "-fmessage-length" "0"
"-fgnuc-version=4.2.1" "-fobjc-runtime=gcc" "-fdiagnostics-show-option"
"-fcolor-diagnostics" "-faddrsig" "-x" "c" "test1-280168.c"
---


Stack dump:
---
test1.c:3:11: warning: expected ';' at end of declaration list
  char c[]
          ^
          ;
test1.c:1:1: warning: type specifier missing, defaults to 'int'
[-Wimplicit-int]
b(struct {
^
test1.c:5:3: warning: implicit declaration of function 'e' is invalid in C99
[-Wimplicit-function-declaration]
  e(d);
  ^
test1.c:6:1: warning: non-void function does not return a value [-Wreturn-type]
}
^
clang: /home/rxz226/llvm-project/llvm/lib/IR/Type.cpp:245: static
llvm::IntegerType* llvm::IntegerType::get(llvm::LLVMContext&, unsigned int):
Assertion `NumBits >= MIN_INT_BITS && "bitwidth too small"' failed.
Stack dump:
0.      Program arguments: /home/rxz226/llvm-project/bld/bin/clang -x c -o tmp
test1.c
1.      <eof> parser at end of file
2.      test1.c:1:1: LLVM IR generation of declaration 'b'
3.      test1.c:1:1: Generating code for declaration 'b'
 #0 0x000000000511679b llvm::sys::PrintStackTrace(llvm::raw_ostream&)
/home/rxz226/llvm-project/llvm/lib/Support/Unix/Signals.inc:564:0
 #1 0x000000000511682e PrintStackTraceSignalHandler(void*)
/home/rxz226/llvm-project/llvm/lib/Support/Unix/Signals.inc:625:0
 #2 0x00000000051145b6 llvm::sys::RunSignalHandlers()
/home/rxz226/llvm-project/llvm/lib/Support/Signals.cpp:68:0
 #3 0x0000000005115fd7 llvm::sys::CleanupOnSignal(unsigned long)
/home/rxz226/llvm-project/llvm/lib/Support/Unix/Signals.inc:361:0
 #4 0x000000000501be1f (anonymous
namespace)::CrashRecoveryContextImpl::HandleCrash(int, unsigned long)
/home/rxz226/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:80:0
 #5 0x000000000501c2fe CrashRecoverySignalHandler(int)
/home/rxz226/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:362:0
 #6 0x00007fdd45bc2390 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
 #7 0x00007fdd448d1428 raise
/build/glibc-LK5gWL/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
 #8 0x00007fdd448d302a abort /build/glibc-LK5gWL/glibc-2.23/stdlib/abort.c:91:0
 #9 0x00007fdd448c9bd7 __assert_fail_base
/build/glibc-LK5gWL/glibc-2.23/assert/assert.c:92:0
#10 0x00007fdd448c9c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
#11 0x00000000047d5084 llvm::IntegerType::get(llvm::LLVMContext&, unsigned int)
/home/rxz226/llvm-project/llvm/lib/IR/Type.cpp:246:0
#12 0x000000000570be6c (anonymous
namespace)::X86_64ABIInfo::getIndirectResult(clang::QualType, unsigned int)
const /home/rxz226/llvm-project/clang/lib/CodeGen/TargetInfo.cpp:3010:0
#13 0x000000000570d4b0 (anonymous
namespace)::X86_64ABIInfo::classifyArgumentType(clang::QualType, unsigned int,
unsigned int&, unsigned int&, bool) const
/home/rxz226/llvm-project/clang/lib/CodeGen/TargetInfo.cpp:3477:0
#14 0x00000000057094da (anonymous
namespace)::X86_64ABIInfo::isPassedUsingAVXType(clang::QualType) const
/home/rxz226/llvm-project/clang/lib/CodeGen/TargetInfo.cpp:2232:0
#15 0x0000000005709847 (anonymous
namespace)::X86_64TargetCodeGenInfo::isNoProtoCallVariadic(clang::CodeGen::CallArgList
const&, clang::FunctionNoProtoType const*) const
/home/rxz226/llvm-project/clang/lib/CodeGen/TargetInfo.cp$
:2353:0
#16 0x000000000581d981
arrangeFreeFunctionLikeCall(clang::CodeGen::CodeGenTypes&,
clang::CodeGen::CodeGenModule&, clang::CodeGen::CallArgList const&,
clang::FunctionType const*, unsigned int, bool) /home/rxz226/llvm-project/cla$
g/lib/CodeGen/CGCall.cpp:590:0
#17 0x000000000581dba1
clang::CodeGen::CodeGenTypes::arrangeFreeFunctionCall(clang::CodeGen::CallArgList
const&, clang::FunctionType const*, bool)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGCall.cpp:616:0
#18 0x00000000058b3594
clang::CodeGen::CodeGenFunction::EmitCall(clang::QualType,
clang::CodeGen::CGCallee const&, clang::CallExpr const*,
clang::CodeGen::ReturnValueSlot, llvm::Value*)
/home/rxz226/llvm-project/clang/lib/CodeGe
n/CGExpr.cpp:4998:0
#19 0x00000000058b0f19
clang::CodeGen::CodeGenFunction::EmitCallExpr(clang::CallExpr const*,
clang::CodeGen::ReturnValueSlot)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExpr.cpp:4613:0
#20 0x00000000058e82db (anonymous
namespace)::ScalarExprEmitter::VisitCallExpr(clang::CallExpr const*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExprScalar.cpp:583:0
#21 0x00000000058ffc7d clang::StmtVisitorBase<std::add_pointer, (anonymous
namespace)::ScalarExprEmitter, llvm::Value*>::Visit(clang::Stmt*)
/home/rxz226/llvm-project/bld/tools/clang/include/clang/AST/StmtNodes.inc:801:0
#22 0x00000000058e74f7 (anonymous
namespace)::ScalarExprEmitter::Visit(clang::Expr*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExprScalar.cpp:426:0
#23 0x00000000058fd1ab
clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr const*, bool)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExprScalar.cpp:4573:0
#24 0x0000000005896d07 clang::CodeGen::CodeGenFunction::EmitAnyExpr(clang::Expr
const*, clang::CodeGen::AggValueSlot, bool)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExpr.cpp:199:0
#25 0x0000000005896c72
clang::CodeGen::CodeGenFunction::EmitIgnoredExpr(clang::Expr const*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGExpr.cpp:184:0
#26 0x00000000054ddba3 clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt
const*, llvm::ArrayRef<clang::Attr const*>)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGStmt.cpp:115:0
#27 0x00000000054dec5c
clang::CodeGen::CodeGenFunction::EmitCompoundStmtWithoutScope(clang::CompoundStmt
const&, bool, clang::CodeGen::AggValueSlot)
/home/rxz226/llvm-project/clang/lib/CodeGen/CGStmt.cpp:409:0
#28 0x000000000556a613
clang::CodeGen::CodeGenFunction::EmitFunctionBody(clang::Stmt const*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenFunction.cpp:1159:0
#29 0x000000000556b27f
clang::CodeGen::CodeGenFunction::GenerateCode(clang::GlobalDecl,
llvm::Function*, clang::CodeGen::CGFunctionInfo const&)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenFunction.cpp:1324:0
#30 0x0000000005594130
clang::CodeGen::CodeGenModule::EmitGlobalFunctionDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:4476:0
#31 0x000000000558cdb9
clang::CodeGen::CodeGenModule::EmitGlobalDefinition(clang::GlobalDecl,
llvm::GlobalValue*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:2866:0
#32 0x000000000558b8ae
clang::CodeGen::CodeGenModule::EmitGlobal(clang::GlobalDecl)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:2570:0
#33 0x000000000559825c
clang::CodeGen::CodeGenModule::EmitTopLevelDecl(clang::Decl*)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenModule.cpp:5284:0
#34 0x00000000064fc35d (anonymous
namespace)::CodeGeneratorImpl::HandleTopLevelDecl(clang::DeclGroupRef)
/home/rxz226/llvm-project/clang/lib/CodeGen/ModuleBuilder.cpp:169:0
#35 0x00000000064f58f0
clang::BackendConsumer::HandleTopLevelDecl(clang::DeclGroupRef)
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:216:0
#36 0x00000000079f981f clang::ParseAST(clang::Sema&, bool, bool)
/home/rxz226/llvm-project/clang/lib/Parse/ParseAST.cpp:162:0
#37 0x0000000005c0bed1 clang::ASTFrontendAction::ExecuteAction()
/home/rxz226/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1044:0
#38 0x00000000064f371e clang::CodeGenAction::ExecuteAction()
/home/rxz226/llvm-project/clang/lib/CodeGen/CodeGenAction.cpp:1177:0
#39 0x0000000005c0b820 clang::FrontendAction::Execute()
/home/rxz226/llvm-project/clang/lib/Frontend/FrontendAction.cpp:940:0
#40 0x0000000005ba0092
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/home/rxz226/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:965:0
#41 0x0000000005d7818e
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/home/rxz226/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:290:0
#42 0x000000000272848c cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) /home/rxz226/llvm-project/clang/tools/driver/cc1_main.cpp:239:0
#43 0x000000000271d97a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
/home/rxz226/llvm-project/clang/tools/driver/driver.cpp:328:0
#44 0x0000000005aa1824
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const::'lambda'()::operator()($
 const /home/rxz226/llvm-project/clang/lib/Driver/Job.cpp:402:0
#45 0x0000000005aa1fd1 void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<c$
ar> >*, bool*) const::'lambda'()>(long)
/home/rxz226/llvm-project/llvm/include/llvm/ADT/STLExtras.h:110:0
#46 0x000000000501c944 llvm::function_ref<void ()>::operator()() const
/home/rxz226/llvm-project/llvm/include/llvm/ADT/STLExtras.h:126:0
#47 0x000000000501c4e5
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
/home/rxz226/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:397:0
#48 0x0000000005aa19fd
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const /home/rxz226/llvm-projec$
/clang/lib/Driver/Job.cpp:402:0
#49 0x0000000005a57b08
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const
/home/rxz226/llvm-project/clang/lib/Driver/Compilation.cpp:182:0
...
---

-- 
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/20200208/d83151df/attachment.html>


More information about the llvm-bugs mailing list