boost::optional doesn't compile in trunk: Assertion failed: (FromType->isIntegralOrUnscopedEnumerationType()), function endsWithNarrowing, file SemaInit.cpp, line 2326

[llvmbot]

Bugzilla Link	10694
Resolution	FIXED
Resolved on	Aug 30, 2011 17:38
Version	trunk
OS	MacOS X
Attachments	Preprocessed sources (/tmp/cc-ZmphkT.ii) zipped
Reporter	LLVM Bugzilla Contributor

Extended Description

LLVM revision: 137864
Clang revision: 137864
Attached are the preprocessed sources; at the end mentioned as /tmp/cc-ZmphkT.ii.

Assertion failed: (FromType->isIntegralOrUnscopedEnumerationType()), function endsWithNarrowing, file SemaInit.cpp, line 2326.
0 clang 0x00000001019e6b12 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 818
1 clang 0x00000001019e7a93 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 4787
2 libSystem.B.dylib 0x00007fff875511ba _sigtramp + 26
3 libSystem.B.dylib 0x00007fff5fbec6d0 _sigtramp + 3630806320
4 clang 0x00000001019e6f92 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 1970
5 clang 0x0000000100581b88 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 31704
6 clang 0x000000010058a984 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 68052
7 clang 0x000000010058b939 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 72073
8 clang 0x000000010058bb8d llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 72669
9 clang 0x00000001005928ee llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 100670
10 clang 0x000000010058c337 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 74631
11 clang 0x000000010058cf30 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 77696
12 clang 0x000000010059415c llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 106924
13 clang 0x000000010058834c llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 58268
14 clang 0x0000000100447e37 clang::CodeCompletionBuilder::AddTypedTextChunk(char const*) + 119479
15 clang 0x000000010031df67 clang::Parser::LexedMethod::~LexedMethod() + 6551
16 clang 0x0000000100327df2 clang::Parser::LexedMethod::~LexedMethod() + 47138
17 clang 0x000000010033204c clang::Parser::LexedMethod::~LexedMethod() + 88700
18 clang 0x0000000100332135 clang::Parser::LexedMethod::~LexedMethod() + 88933
19 clang 0x000000010036eba2 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 11762
20 clang 0x000000010036f7a6 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 14838
21 clang 0x000000010036fd59 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 16297
22 clang 0x00000001003871ea llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 49898
23 clang 0x00000001003285ac clang::Parser::LexedMethod::~LexedMethod() + 49116
24 clang 0x00000001003848b8 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 39352
25 clang 0x0000000100384d3e llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 40510
26 clang 0x0000000100389a43 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 60227
27 clang 0x000000010033a821 clang::Parser::DeclaratorScopeObj::EnterDeclaratorScope() + 29697
28 clang 0x000000010033b28a clang::Parser::DeclaratorScopeObj::EnterDeclaratorScope() + 32362
29 clang 0x00000001003323e3 clang::Parser::LexedMethod::~LexedMethod() + 89619
30 clang 0x0000000100389528 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 58920
31 clang 0x0000000100389e7a llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 61306
32 clang 0x0000000100318e8b llvm::IRBuilder<true, llvm::ConstantFolder, llvm::IRBuilderDefaultInserter >::CreateGEP(llvm::Value*, llvm::Value*, llvm::Twine const&) + 859
33 clang 0x00000001002e3d1c llvm::DenseMap<clang::GlobalDecl, long long, llvm::DenseMapInfoclang::GlobalDecl, llvm::DenseMapInfo >::grow(unsigned int) + 3852
34 clang 0x000000010002e871 llvm::DenseMap<clang::IdentifierInfo const*, unsigned int, llvm::DenseMapInfo<clang::IdentifierInfo const*>, llvm::DenseMapInfo >::grow(unsigned int) + 9649
35 clang 0x000000010000b7b3 llvm::raw_ostream::operator<<(char const*) + 1891
36 clang 0x0000000100001f4c
37 clang 0x000000010000a4fe std::vector<std::string, std::allocatorstd::string >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::string*, std::vector<std::string, std::allocatorstd::string > >, std::string const&) + 13598
38 clang 0x0000000100001334
39 clang 0x000000000000008a
Stack dump:
0. Program arguments: /Users/tobias/llvm/bin/clang -cc1 -triple x86_64-apple-macosx10.6.8 -emit-obj -disable-free -main-file-name QtUserSearchWindow.cpp -pic-level 1 -mdisable-fp-elim -masm-verbose -munwind-tables -target-cpu core2 -target-linker-version 123.2 -g -coverage-file Swift/QtUI/UserSearch/QtUserSearchWindow.o -resource-dir /Users/tobias/llvm/bin/../lib/clang/3.0 -isystem /Users/tobias/dev/gsoc/swift-jingle/3rdParty/Boost/src -D IDNA_STATIC -D BOOST_FILESYSTEM_VERSION=2 -D BOOST_SYSTEM_NO_DEPRECATED -D BOOST_ALL_NO_LIB -D HAVE_GROWL -D QT_CORE_LIB -D QT_GUI_LIB -I /Library/Frameworks/QtCore.framework/Versions/4/Headers -I /Library/Frameworks/QtGui.framework/Versions/4/Headers -I /Library/Frameworks/QtWebKit.framework/Versions/4/Headers -I . -I . -I 3rdParty/LibIDN/src -I 3rdParty/LibMiniUPnPc/src -I /usr/include/libxml2 -I Swift/QtUI -F/Library/Frameworks -O2 -Wextra -Wall -Wnon-virtual-dtor -Wundef -Wold-style-cast -Wno-long-long -Woverloaded-virtual -Wredundant-decls -W#warnings -Wc++0x-compat -Waddress-of-temporary -Wambiguous-member-template -Warray-bounds -Watomic-properties -Wbind-to-temporary-copy -Wbuiltin-macro-redefined -Wc++-compat -Wc++0x-extensions -Wcomments -Wconditional-uninitialized -Wconstant-logical-operand -Wdeclaration-after-statement -Wdeprecated -Wdeprecated-implementations -Wdeprecated-writable-strings -Wduplicate-method-arg -Wempty-body -Wendif-labels -Wenum-compare -Wformat=2 -Wfour-char-constants -Wgnu -Wincomplete-implementation -Winvalid-noreturn -Winvalid-offsetof -Winvalid-token-paste -Wlocal-type-template-args -Wmethod-signatures -Wmicrosoft -Wmissing-declarations -Wnon-pod-varargs -Wnonfragile-abi2 -Wnull-dereference -Wout-of-line-declaration -Woverlength-strings -Wpacked -Wpointer-arith -Wpointer-sign -Wprotocol -Wreadonly-setter-attrs -Wselector -Wshift-overflow -Wshift-sign-overflow -Wstrict-selector-match -Wsuper-class-method-mismatch -Wtautological-compare -Wtypedef-redefinition -Wundeclared-selector -Wunknown-warning-option -Wunnamed-type-template-args -Wunused-exception-parameter -Wunused-member-function -Wused-but-marked-unused -Wvariadic-macros -fdeprecated-macro -ferror-limit 19 -fmessage-length 202 -stack-protector 1 -fblocks -fcxx-exceptions -fexceptions -fdiagnostics-show-option -o Swift/QtUI/UserSearch/QtUserSearchWindow.o -x c++ Swift/QtUI/UserSearch/QtUserSearchWindow.cpp

1. Swift/QtUI/UserSearch/QtUserSearchWindow.cpp:188:176: current parser token ';'
2. Swift/QtUI/UserSearch/QtUserSearchWindow.cpp:25:1: parsing namespace 'Swift'
3. Swift/QtUI/UserSearch/QtUserSearchWindow.cpp:183:83: parsing function body 'setSearchFields'
4. Swift/QtUI/UserSearch/QtUserSearchWindow.cpp:183:83: in compound statement ('{}')
   clang: error: unable to execute command: Illegal instruction
   clang: error: clang frontend command failed due to signal 2 (use -v to see invocation)
   clang: note: diagnostic msg: Please submit a bug report to http://llvm.org/bugs/ and include command line arguments and all diagnostic information.
   clang: note: diagnostic msg: Preprocessed source(s) are located at:
   clang: note: diagnostic msg: /tmp/cc-ZmphkT.ii
   scons: *** [Swift/QtUI/UserSearch/QtUserSearchWindow.o] Error 254
   scons: building terminated because of errors.
   make: *** [default] Error 2

[llvmbot]

#include <boost/optional.hpp>

bool foo() {
boost::optional bang;
bool enable[1] = {bang};
return enable[0];
}

This small example also fails (with similar stack dump) for latest clang trunk and works for g++ 4.2.1 (Apple Inc. build 5666).
The version of Boost being 1.46.1.

Following is the output of the compilation:

tobias$ /Users/tobias/llvm/bin/clang -cc1 -triple x86_64-apple-macosx10.6.8 -emit-obj -disable-free -main-file-name ClangBug.cpp -pic-level 1 -mdisable-fp-elim -masm-verbose -munwind-tables -target-cpu core2 -target-linker-version 123.2 -g -resource-dir /Users/tobias/llvm/bin/../lib/clang/3.0 -isystem /Users/tobias/dev/rep/swift-trunk/3rdParty/Boost/src -D BOOST_FILESYSTEM_VERSION=2 -D BOOST_SYSTEM_NO_DEPRECATED -D BOOST_ALL_NO_LIB -O2 -fdeprecated-macro -ferror-limit 19 -fmessage-length 202 -stack-protector 1 -fblocks -fcxx-exceptions -fexceptions -fdiagnostics-show-option -o Swift/QtUI/UserSearch/ClangBug.o -x c++ Swift/QtUI/UserSearch/ClangBug.cpp
Assertion failed: (FromType->isIntegralOrUnscopedEnumerationType()), function endsWithNarrowing, file SemaInit.cpp, line 2344.
0 clang 0x00000001019ff802 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 818
1 clang 0x0000000101a00783 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 4787
2 libSystem.B.dylib 0x00007fff875511ba _sigtramp + 26
3 libSystem.B.dylib 0x00000001025aea80 _sigtramp + 2063980768
4 clang 0x00000001019ffc82 llvm::SmallVectorTemplateBase<llvm_regmatch_t, false>::grow(unsigned long) + 1970
5 clang 0x0000000100591e38 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 27608
6 clang 0x000000010059cc39 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 72153
7 clang 0x000000010059dc29 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 76233
8 clang 0x000000010059de7d llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 76829
9 clang 0x00000001005a472e llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 103630
10 clang 0x000000010059e627 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 78791
11 clang 0x000000010059f220 llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 81856
12 clang 0x0000000100599a8c llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 59436
13 clang 0x000000010059a60c llvm::cast_retty<clang::PointerType, clang::CanQualclang::Type >::ret_type llvm::cast<clang::PointerType, clang::CanQualclang::Type >(clang::CanQualclang::Type const&) + 62380
14 clang 0x00000001004683b4 clang::CodeCompletionBuilder::AddTypedTextChunk(char const*) + 185220
15 clang 0x000000010031fc97 clang::Parser::ConsumeAnyToken() + 7335
16 clang 0x0000000100329b32 clang::Parser::ConsumeAnyToken() + 47938
17 clang 0x0000000100333d9c clang::Parser::ConsumeAnyToken() + 89516
18 clang 0x0000000100333e85 clang::Parser::ConsumeAnyToken() + 89749
19 clang 0x0000000100370c72 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 11762
20 clang 0x0000000100371876 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 14838
21 clang 0x0000000100371e29 clang::PragmaOpenCLExtensionHandler::~PragmaOpenCLExtensionHandler() + 16297
22 clang 0x000000010038952a llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 50442
23 clang 0x000000010032a2ec clang::Parser::ConsumeAnyToken() + 49916
24 clang 0x0000000100385698 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 34424
25 clang 0x0000000100385bcf llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 35759
26 clang 0x000000010038b2b3 llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 58003
27 clang 0x000000010038b9ba llvm::SmallVectorTemplateBase<clang::ParsedTemplateArgument, false>::grow(unsigned long) + 59802
28 clang 0x000000010031a86b llvm::IRBuilder<true, llvm::ConstantFolder, llvm::IRBuilderDefaultInserter >::CreateGEP(llvm::Value*, llvm::Value*, llvm::Twine const&) + 859
29 clang 0x00000001002e5a1c llvm::DenseMap<clang::GlobalDecl, long long, llvm::DenseMapInfoclang::GlobalDecl, llvm::DenseMapInfo >::grow(unsigned int) + 3820
30 clang 0x000000010002ec61 llvm::DenseMap<clang::IdentifierInfo const*, unsigned int, llvm::DenseMapInfo<clang::IdentifierInfo const*>, llvm::DenseMapInfo >::grow(unsigned int) + 9649
31 clang 0x000000010000bcd7 llvm::raw_ostream::operator<<(char const*) + 1895
32 clang 0x000000010000244c
33 clang 0x000000010000aa1e std::vector<std::string, std::allocatorstd::string >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::string*, std::vector<std::string, std::allocatorstd::string > >, std::string const&) + 13614
34 clang 0x0000000100001834
35 clang 0x000000000000002d
Stack dump:
0. Program arguments: /Users/tobias/llvm/bin/clang -cc1 -triple x86_64-apple-macosx10.6.8 -emit-obj -disable-free -main-file-name ClangBug.cpp -pic-level 1 -mdisable-fp-elim -masm-verbose -munwind-tables -target-cpu core2 -target-linker-version 123.2 -g -resource-dir /Users/tobias/llvm/bin/../lib/clang/3.0 -isystem /Users/tobias/dev/rep/swift-trunk/3rdParty/Boost/src -D BOOST_FILESYSTEM_VERSION=2 -D BOOST_SYSTEM_NO_DEPRECATED -D BOOST_ALL_NO_LIB -O2 -fdeprecated-macro -ferror-limit 19 -fmessage-length 202 -stack-protector 1 -fblocks -fcxx-exceptions -fexceptions -fdiagnostics-show-option -o Swift/QtUI/UserSearch/ClangBug.o -x c++ Swift/QtUI/UserSearch/ClangBug.cpp

1. Swift/QtUI/UserSearch/ClangBug.cpp:5:25: current parser token ';'
2. Swift/QtUI/UserSearch/ClangBug.cpp:3:12: parsing function body 'foo'
3. Swift/QtUI/UserSearch/ClangBug.cpp:3:12: in compound statement ('{}')
   Illegal instruction

[llvmbot]

The zipped preprocessed source file from the example in the previous comment in case you don't have boost optional at hand.

[llvmbot]

With further efforts and help of the beautiful delta-tool I was able to reduce a test-case even further which still produces the error message/crashes and compiles with g++ but not with clang. If there's something wrong with the test-case please let me know.

#######

namespace optional_detail {
struct optional_tag {
};
template class optional_base : public optional_tag {
typedef optional_base this_type ;
protected:
typedef bool (this_type::*unspecified_bool_type)() const;
};
}
template class optional : public optional_detail::optional_base {
typedef optional_detail::optional_base base ;
typedef typename base::unspecified_bool_type unspecified_bool_type ;
public :
operator unspecified_bool_type() const {
}
};

int main() {
optional bang;
bool enable[1] = { bang };
return 0;
}

[llvmbot]

Should be fixed by r138838. I'd forgotten that boolean conversions can come from pointers. Sorry for the trouble.

[llvmbot]

Should be fixed by r138838. I'd forgotten that boolean conversions can come
from pointers. Sorry for the trouble.

Yeah. Can confirm this. It fixed the problem and my original code now compiles without an error/crash.
Thanks for the fast fix again.