<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Crash in clang version 5.0.0 (tags/RELEASE_500/final)"
   href="https://bugs.llvm.org/show_bug.cgi?id=35620">35620</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Crash in clang version 5.0.0 (tags/RELEASE_500/final)
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>5.0
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>-New Bugs
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedclangbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>lucasccordeiro@gmail.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>0  clang-5.0                0x0000000109759042
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
1  clang-5.0                0x000000010975867c llvm::sys::RunSignalHandlers() +
83
2  clang-5.0                0x0000000109759455 SignalHandler(int) + 195
3  libsystem_platform.dylib 0x00007fff8f7d2f1a _sigtramp + 26
4  libsystem_platform.dylib 000000000000000000 _sigtramp + 1887621376
5  clang-5.0                0x000000010982ce27
clang::Diagnostic::FormatDiagnostic(char const*, char const*,
llvm::SmallVectorImpl<char>&) const + 865
6  clang-5.0                0x0000000109b854aa
clang::TextDiagnosticPrinter::HandleDiagnostic(clang::DiagnosticsEngine::Level,
clang::Diagnostic const&) + 84
7  clang-5.0                0x00000001098306ca
clang::DiagnosticIDs::EmitDiag(clang::DiagnosticsEngine&,
clang::DiagnosticIDs::Level) const + 54
8  clang-5.0                0x0000000109830625
clang::DiagnosticIDs::ProcessDiag(clang::DiagnosticsEngine&) const + 381
9  clang-5.0                0x000000010982ca03
clang::DiagnosticsEngine::EmitCurrentDiagnostic(bool) + 89
10 clang-5.0                0x000000010a13a914
clang::Sema::EmitCurrentDiagnostic(unsigned int) + 452
11 clang-5.0                0x000000010a3c5df5
clang::Sema::SemaDiagnosticBuilder::~SemaDiagnosticBuilder() + 53
12 clang-5.0                0x000000010a36174d
clang::Sema::DiagnoseUnusedLambdaCapture(clang::sema::CapturingScopeInfo::Capture
const&) + 167
13 clang-5.0                0x000000010a360353
clang::Sema::BuildLambdaExpr(clang::SourceLocation, clang::SourceLocation,
clang::sema::LambdaScopeInfo*) + 571
14 clang-5.0                0x000000010a35ff94
clang::Sema::ActOnLambdaExpr(clang::SourceLocation, clang::Stmt*,
clang::Scope*) + 102
15 clang-5.0                0x000000010a0007c1
clang::Parser::ParseLambdaExpressionAfterIntroducer(clang::LambdaIntroducer&) +
2923
16 clang-5.0                0x0000000109fff154
clang::Parser::ParseLambdaExpression() + 280
17 clang-5.0                0x0000000109ff4eef
clang::Parser::ParseCastExpression(bool, bool, bool&,
clang::Parser::TypeCastState, bool) + 7103
18 clang-5.0                0x0000000109ff1d99
clang::Parser::ParseCastExpression(bool, bool, clang::Parser::TypeCastState,
bool) + 41
19 clang-5.0                0x0000000109ff1058
clang::Parser::ParseAssignmentExpression(clang::Parser::TypeCastState) + 152
20 clang-5.0                0x0000000109ff9aac
clang::Parser::ParseExpressionList(llvm::SmallVectorImpl<clang::Expr*>&,
llvm::SmallVectorImpl<clang::SourceLocation>&, std::__1::function<void ()>) +
148
21 clang-5.0                0x0000000109ff25bf
clang::Parser::ParsePostfixExpressionSuffix(clang::ActionResult<clang::Expr*,
true>) + 1983
22 clang-5.0                0x0000000109ff4d96
clang::Parser::ParseCastExpression(bool, bool, bool&,
clang::Parser::TypeCastState, bool) + 6758
23 clang-5.0                0x0000000109ff1d99
clang::Parser::ParseCastExpression(bool, bool, clang::Parser::TypeCastState,
bool) + 41
24 clang-5.0                0x0000000109ff1058
clang::Parser::ParseAssignmentExpression(clang::Parser::TypeCastState) + 152
25 clang-5.0                0x0000000109ff0faa
clang::Parser::ParseExpression(clang::Parser::TypeCastState) + 14
26 clang-5.0                0x000000010a026b4a
clang::Parser::ParseExprStatement() + 54
27 clang-5.0                0x000000010a026658
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&) + 2442
28 clang-5.0                0x000000010a025c45
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*) + 165
29 clang-5.0                0x000000010a025b40
clang::Parser::ParseStatement(clang::SourceLocation*, bool) + 100
30 clang-5.0                0x000000010a027678
clang::Parser::ParseDefaultStatement() + 720
31 clang-5.0                0x000000010a02644f
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&) + 1921
32 clang-5.0                0x000000010a025c45
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*) + 165
33 clang-5.0                0x000000010a02aa61
clang::Parser::ParseCompoundStatementBody(bool) + 1137
34 clang-5.0                0x000000010a029eee
clang::Parser::ParseCompoundStatement(bool, unsigned int) + 40
35 clang-5.0                0x000000010a0265b3
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&) + 2277
36 clang-5.0                0x000000010a025c45
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*) + 165
37 clang-5.0                0x000000010a025b40
clang::Parser::ParseStatement(clang::SourceLocation*, bool) + 100
38 clang-5.0                0x000000010a027de5
clang::Parser::ParseSwitchStatement(clang::SourceLocation*) + 341
39 clang-5.0                0x000000010a026312
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&) + 1604
40 clang-5.0                0x000000010a025c45
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::AllowedConstructsKind, clang::SourceLocation*) + 165
41 clang-5.0                0x000000010a02aa61
clang::Parser::ParseCompoundStatementBody(bool) + 1137
42 clang-5.0                0x000000010a02b2e6
clang::Parser::ParseFunctionStatementBody(clang::Decl*,
clang::Parser::ParseScope&) + 160
43 clang-5.0                0x000000010a03b73c
clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*) +
2464
44 clang-5.0                0x0000000109fd43f4
clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, unsigned int,
clang::SourceLocation*, clang::Parser::ForRangeInit*) + 1594
45 clang-5.0                0x000000010a03ad02
clang::Parser::ParseDeclOrFunctionDefInternal(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec&, clang::AccessSpecifier) + 800
46 clang-5.0                0x000000010a03a7f5
clang::Parser::ParseDeclarationOrFunctionDefinition(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*, clang::AccessSpecifier) + 269
47 clang-5.0                0x000000010a03a0ae
clang::Parser::ParseExternalDeclaration(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*) + 2316
48 clang-5.0                0x000000010a039233
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&) + 415
49 clang-5.0                0x0000000109fc629c clang::ParseAST(clang::Sema&,
bool, bool) + 338
50 clang-5.0                0x0000000109b5745c clang::FrontendAction::Execute()
+ 74
51 clang-5.0                0x0000000109b2686e
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 608
52 clang-5.0                0x0000000109b891d4
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1972
53 clang-5.0                0x000000010875cf79 cc1_main(llvm::ArrayRef<char
const*>, char const*, void*) + 1491
54 clang-5.0                0x000000010875bb25 main + 8368
55 libdyld.dylib            0x00007fff89c485c9 start + 1
56 libdyld.dylib            0x0000000000000069 start + 1983609505
Stack dump:
0.      Program arguments: /usr/local/Cellar/llvm/5.0.0/bin/clang-5.0 -cc1
-triple x86_64-apple-macosx10.10.0 -Wdeprecated-objc-isa-usage
-Werror=deprecated-objc-isa-usage -emit-obj -disable-free
-disable-llvm-verifier -discard-value-names -main-file-name smt_conv.cpp
-mrelocation-model pic -pic-level 2 -mthread-model posix -mdisable-fp-elim
-masm-verbose -munwind-tables -faligned-alloc-unavailable -target-cpu core2
-target-linker-version 253.9 -dwarf-column-info -debug-info-kind=standalone
-dwarf-version=2 -debugger-tuning=lldb -coverage-notes-file
/Users/lucasccordeiro/esbmc-private/src/solvers/smt/.libs/smt_conv.gcno
-resource-dir /usr/local/Cellar/llvm/5.0.0/lib/clang/5.0.0 -D HAVE_CONFIG_H -I
. -I ../.. -I
/Users/lucasccordeiro/clang+llvm-4.0.0-x86_64-apple-darwin/include -I
/usr/local/include -I /Users/lucasccordeiro/z3/include -I
/Users/lucasccordeiro/boolector/boolector/src -I
/Users/lucasccordeiro/yices/include -I /Users/lucasccordeiro/mathsat/include -I
../.. -I /Users/lucasccordeiro/clang+llvm-4.0.0-x86_64-apple-darwin/include -I
/Users/lucasccordeiro/z3/include -I
/Users/lucasccordeiro/boolector/boolector/src -I
/Users/lucasccordeiro/yices/include -I /Users/lucasccordeiro/mathsat/include -D
PIC -cxx-isystem /usr/local/Cellar/llvm/4.0.0_1/include -cxx-isystem .
-stdlib=libc++ -O2 -Wall -Wextra -W -Wno-unused-local-typedefs
-Wno-deprecated-declarations -Wno-missing-field-initializers
-Wno-strict-aliasing -std=c++11 -fdeprecated-macro -fdebug-compilation-dir
/Users/lucasccordeiro/esbmc-private/src/solvers/smt -ferror-limit 19
-fmessage-length 0 -stack-protector 1 -fblocks -fobjc-runtime=macosx-10.10.0
-fencode-extended-block-signature -fcxx-exceptions -fexceptions
-fmax-type-align=16 -fno-common -fdiagnostics-show-option -fcolor-diagnostics
-vectorize-loops -vectorize-slp -o .libs/smt_conv.o -x c++ smt_conv.cpp 
1.      smt_conv.cpp:410:7: current parser token ')'
2.      smt_conv.cpp:382:1: parsing function body 'smt_convt::convert_ast'
3.      smt_conv.cpp:382:1: in compound statement ('{}')
4.      smt_conv.cpp:395:26: in compound statement ('{}')
5.      smt_conv.cpp:406:9: lambda expression parsing
clang-5.0: error: unable to execute command: Segmentation fault: 11
clang-5.0: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 5.0.0 (tags/RELEASE_500/final)
Target: x86_64-apple-darwin14.5.0
Thread model: posix
InstalledDir: /usr/local/opt/llvm/bin
clang-5.0: note: diagnostic msg: PLEASE submit a bug report to
<a href="http://llvm.org/bugs/">http://llvm.org/bugs/</a> and include the crash backtrace, preprocessed source, and
associated run script.
clang-5.0: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-5.0: note: diagnostic msg:
/var/folders/q7/32nflztj36d04lqfwg68t5500000gn/T/smt_conv-420a27.cpp
clang-5.0: note: diagnostic msg:
/var/folders/q7/32nflztj36d04lqfwg68t5500000gn/T/smt_conv-420a27.sh
clang-5.0: note: diagnostic msg:
/var/folders/q7/32nflztj36d04lqfwg68t5500000gn/T/smt_conv-420a27.crash
clang-5.0: note: diagnostic msg: 

********************
make[3]: *** [smt_conv.lo] Error 1
make[3]: *** Waiting for unfinished jobs....
mv -f .deps/smt_tuple_node.Tpo .deps/smt_tuple_node.Plo
mv -f .deps/smt_overflow.Tpo .deps/smt_overflow.Plo
make[2]: *** [all-recursive] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>