search

llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
http://llvm.org
Other
29.1k stars 12.01k forks source link

Assertion failed: (ParmVarDeclBits.ParameterIndex == parameterIndex && "truncation!"), function setScopeInfo #10910

Closed llvmbot closed 13 years ago

llvmbot commented 13 years ago
Bugzilla Link 10538
Resolution FIXED
Resolved on Oct 06, 2011 00:01
Version trunk
OS MacOS X
Attachments Source file that reproduces the bug
Reporter LLVM Bugzilla Contributor
CC @tkremenek

Extended Description

The attached preprocessed file causes a clang error using the command:

clang++ -c preprocessed_aaa_resolve_main.cpp

clang version 3.0 (trunk 136432) Target: x86_64-apple-darwin10.8.0 Thread model: posix

Assertion failed: (ParmVarDeclBits.ParameterIndex == parameterIndex && "truncation!"), function setScopeInfo, file /Users/rjgildea/llvm_clang/llvm/tools/clang/lib/Sema/../../include/clang/AST/Decl.h, line 1215.0 clang 0x00000001019a3642 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 818 1 clang 0x00000001019a45c3 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 4787 2 libSystem.B.dylib 0x00007fff809c51ba _sigtramp + 26 3 libSystem.B.dylib 0x00007fff5fbfa3b0 _sigtramp + 3743633936 4 clang 0x00000001019a3ac2 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 1970 5 clang 0x0000000100457659 clang::CodeCompletionBuilder::AddPlaceholderChunk(char const) + 216457 6 clang 0x0000000100325b17 clang::Parser::LexedMethod::~LexedMethod() + 58871 7 clang 0x0000000100326c8a clang::Parser::LexedMethod::~LexedMethod() + 63338 8 clang 0x000000010032d1c2 clang::Parser::LexedMethod::~LexedMethod() + 89250 9 clang 0x000000010031ec58 clang::Parser::LexedMethod::~LexedMethod() + 30520 10 clang 0x00000001003207cc clang::Parser::LexedMethod::~LexedMethod() + 37548 11 clang 0x000000010037d608 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 39336 12 clang 0x000000010037da8e llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 40494 13 clang 0x0000000100382793 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 60211 14 clang 0x00000001003309d1 clang::Parser::DeclaratorScopeObj::EnterDeclaratorScope() + 12913 15 clang 0x000000010033c2f7 clang::Parser::DeclaratorScopeObj::EnterDeclaratorScope() + 60311 16 clang 0x000000010032bc18 clang::Parser::LexedMethod::~LexedMethod() + 83704 17 clang 0x0000000100382278 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 58904 18 clang 0x0000000100382bca llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 61290 19 clang 0x0000000100313ddb llvm::IRBuilder<true, llvm::ConstantFolder, llvm::IRBuilderDefaultInserter >::CreateGEP(llvm::Value, llvm::Value, llvm::Twine const&) + 859 20 clang 0x00000001002dfa6c llvm::DenseMap<clang::GlobalDecl, long long, llvm::DenseMapInfo, llvm::DenseMapInfo >::grow(unsigned int) + 2204 21 clang 0x000000010002ea01 llvm::DenseMap<clang::IdentifierInfo const, unsigned int, llvm::DenseMapInfo<clang::IdentifierInfo const>, llvm::DenseMapInfo >::grow(unsigned int) + 9617 22 clang 0x000000010000b8af llvm::raw_ostream::operator<<(char const) + 1711 23 clang 0x000000010000214c 24 clang 0x000000010000a6ce std::vector<std::string, std::allocator >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::string*, std::vector<std::string, std::allocator > >, std::string const&) + 13550 25 clang 0x0000000100001534 Stack dump:

  1. Program arguments: /usr/local/bin/clang -cc1 -triple x86_64-apple-macosx10.6.8 -emit-obj -mrelax-all -disable-free -main-file-name preprocessed_aaa_resolve_main.cpp -pic-level 1 -mdisable-fp-elim -masm-verbose -munwind-tables -target-cpu core2 -target-linker-version 123.2 -coverage-file preprocessed_aaa_resolve_main.o -resource-dir /usr/local/bin/../lib/clang/3.0 -fdeprecated-macro -ferror-limit 19 -fmessage-length 191 -stack-protector 1 -fblocks -fcxx-exceptions -fexceptions -fdiagnostics-show-option -fcolor-diagnostics -o preprocessed_aaa_resolve_main.o -x c++ preprocessed_aaa_resolve_main.cpp
  2. solve_resolve/resolve/get_inputs.hpp:278:20: current parser token ','
  3. solve_resolve/resolve/get_inputs.hpp:18:1: parsing namespace 'resolve' clang: error: unable to execute command: Illegal instruction clang: error: clang frontend command failed due to signal 2 (use -v to see invocation)
tkremenek commented 13 years ago

Fixed: r141273

tkremenek commented 13 years ago

Thanks for your response. What is the likely outcome for this problem? Is the maximum number of arguments for a function likely to be increased, or a command line option to increase the number added? Or will the only way be to alter the code itself to use fewer function arguments?

I discussed this offline with John McCall, and I think we'll extend Clang to support arbitrary number of arguments, but once we hit a certain threshold we'll hit a slow path in the compiler for storing the number of arguments.

llvmbot commented 13 years ago

Thanks for your response. What is the likely outcome for this problem? Is the maximum number of arguments for a function likely to be increased, or a command line option to increase the number added? Or will the only way be to alter the code itself to use fewer function arguments?

tkremenek commented 13 years ago

For example, this reproduces the problem:

void foo( int x0, int x1, int x2, int x3, int x4, int x5, int x6, int x7, int x8, int x9, int x10, int x11, int x12, int x13, int x14, int x15, int x16, int x17, int x18, int x19, int x20, int x21, int x22, int x23, int x24, int x25, int x26, int x27, int x28, int x29, int x30, int x31, int x32, int x33, int x34, int x35, int x36, int x37, int x38, int x39, int x40, int x41, int x42, int x43, int x44, int x45, int x46, int x47, int x48, int x49, int x50, int x51, int x52, int x53, int x54, int x55, int x56, int x57, int x58, int x59, int x60, int x61, int x62, int x63, int x64, int x65, int x66, int x67, int x68, int x69, int x70, int x71, int x72, int x73, int x74, int x75, int x76, int x77, int x78, int x79, int x80, int x81, int x82, int x83, int x84, int x85, int x86, int x87, int x88, int x89, int x90, int x91, int x92, int x93, int x94, int x95, int x96, int x97, int x98, int x99, int x100, int x101, int x102, int x103, int x104, int x105, int x106, int x107, int x108, int x109, int x110, int x111, int x112, int x113, int x114, int x115, int x116, int x117, int x118, int x119, int x120, int x121, int x122, int x123, int x124, int x125, int x126, int x127, int x128, int x129, int x130, int x131, int x132, int x133, int x134, int x135, int x136, int x137, int x138, int x139, int x140, int x141, int x142, int x143, int x144, int x145, int x146, int x147, int x148, int x149, int x150, int x151, int x152, int x153, int x154, int x155, int x156, int x157, int x158, int x159, int x160, int x161, int x162, int x163, int x164, int x165, int x166, int x167, int x168, int x169, int x170, int x171, int x172, int x173, int x174, int x175, int x176, int x177, int x178, int x179, int x180, int x181, int x182, int x183, int x184, int x185, int x186, int x187, int x188, int x189, int x190, int x191, int x192, int x193, int x194, int x195, int x196, int x197, int x198, int x199, int x200, int x201, int x202, int x203, int x204, int x205, int x206, int x207, int x208, int x209, int x210, int x211, int x212, int x213, int x214, int x215, int x216, int x217, int x218, int x219, int x220, int x221, int x222, int x223, int x224, int x225, int x226, int x227, int x228, int x229, int x230, int x231, int x232, int x233, int x234, int x235, int x236, int x237, int x238, int x239, int x240, int x241, int x242, int x243, int x244, int x245, int x246, int x247, int x248, int x249, int x250, int x251, int x252, int x253, int x254, int x255, int x256, int x257, int x258, int x259, int x260, int x261, int x262, int x263, int x264, int x265, int x266, int x267, int x268, int x269, int x270, int x271, int x272, int x273, int x274, int x275, int x276, int x277, int x278, int x279, int x280, int x281, int x282, int x283, int x284, int x285, int x286, int x287, int x288, int x289, int x290, int x291, int x292, int x293, int x294, int x295, int x296, int x297, int x298, int x299 );

tkremenek commented 13 years ago

The culprit is that this function takes more that 256 arguments:

include/clang/AST/Decl.h: unsigned ParameterIndex : 8;

tkremenek commented 13 years ago

delta-reduced example delta-reduced example that reproduces the assertion failure

tkremenek commented 13 years ago

I can reproduce the assertion failure with the attached file.