<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/63454>63454</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Clang frontend command failed with exit code 135 (Lean 4 compiler)
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
langfield
</td>
</tr>
</table>
<pre>
Here is the backtrace:
```console
error: > /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/leanc -c -o ./lake-packages/std/build/ir/Std/Data/RBMap/Basic.o ./lake-packages/std/build/ir/Std/Data/RBMap/Basic.c -O3 -DNDEBUG
error: stderr:
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/clang -I /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/include -fstack-clash-protection -fPIC -fvisibility=hidden -nostdinc -isystem /home/mal/.ela
n/toolchains/leanprover--lean4---nightly-2023-06-10/include/clang -c -o ./lake-packages/std/build/ir/Std/Data/RBMap/Basic.o ./lake-packages/std/build/ir/Std/Data/RBMap/Basic.c -O3 -DNDEBUG -L /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib -L
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/glibc /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/glibc/libc_nonshared.a -Wl,--as-needed -static-libgcc -Wl,-Bstatic -lgmp -lunwind -Wl,-Bdynamic -Wl,--no-as-needed -f
use-ld=lld -L /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/lean -Wl,--start-group -lleancpp -lLean -Wl,--end-group -Wl,--start-group -lInit -lleanrt -Wl,--end-group -Wl,-Bstatic -lc++ -lc++abi -Wl,-Bdynamic -Wl,--as-needed -lgmp -Wl,--no-a
s-needed -lm -ldl -pthread -Wno-unused-command-line-argument
1. <unknown> parser at unknown location
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libLLVM-15.so(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamEi+0x23)[0x7f8f6700a953]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libLLVM-15.so(_ZN4llvm3sys17RunSignalHandlersEv+0xee)[0x7f8f6700892e]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libLLVM-15.so(_ZN4llvm3sys15CleanupOnSignalEm+0xd3)[0x7f8f67009da3]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libLLVM-15.so(+0x1608cc0)[0x7f8f66f2ecc0]
/lib/x86_64-linux-gnu/libc.so.6(+0x3bf90)[0x7f8f65532f90]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang5Lexer16LexTokenInternalERNS_5TokenEb+0x60)[0x7f8f6a686680]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang12Preprocessor3LexERNS_5TokenE+0x59)[0x7f8f6a6eac39]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(+0x12c0f5b)[0x7f8f6a6f7f5b]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser16ExpectAndConsumeENS_3tok9TokenKindEjN4llvm9StringRefE+0xb46)[0x7f8f6a7c1c36]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser18ParseGNUAttributesERNS_16ParsedAttributesEPNS0_18LateParsedAttrListEPNS_10DeclaratorE+0xbce)[0x7f8f6a6fb13e]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser26ParseDeclarationSpecifiersERNS_8DeclSpecERKNS0_18ParsedTemplateInfoENS_15AccessSpecifierENS0_15DeclSpecContextEPNS0_18LateParsedAttrListE+0x2bc)[0x7f8f6a7069
fc]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser30ParseDeclOrFunctionDefInternalERNS_16ParsedAttributesERNS_15ParsingDeclSpecENS_15AccessSpecifierE+0x50)[0x7f8f6a7c74a0]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser36ParseDeclarationOrFunctionDefinitionERNS_16ParsedAttributesEPNS_15ParsingDeclSpecENS_15AccessSpecifierE+0x191)[0x7f8f6a7c7271]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser24ParseExternalDeclarationERNS_16ParsedAttributesEPNS_15ParsingDeclSpecE+0x7de)[0x7f8f6a7c65be]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6Parser17ParseTopLevelDeclERNS_9OpaquePtrINS_12DeclGroupRefEEERNS_4Sema17ModuleImportStateE+0x3dc)[0x7f8f6a7c462c]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang8ParseASTERNS_4SemaEbb+0x2ae)[0x7f8f6a6f14de]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang14FrontendAction7ExecuteEv+0x57)[0x7f8f6c1e1db7]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang16CompilerInstance13ExecuteActionERNS_14FrontendActionE+0x356)[0x7f8f6c164b36]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang25ExecuteCompilerInvocationEPNS_16CompilerInstanceE+0x2ac)[0x7f8f6c25800c]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/clang(_Z8cc1_mainN4llvm8ArrayRefIPKcEES2_Pv+0x837)[0x55cef5f42397]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/clang(+0xf55a)[0x55cef5f4055a]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(+0x29aec12)[0x7f8f6bde5c12]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libLLVM-15.so(_ZN4llvm20CrashRecoveryContext9RunSafelyENS_12function_refIFvvEEE+0xde)[0x7f8f66f2ea5e]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZNK5clang6driver10CC1Command7ExecuteEN4llvm8ArrayRefINS2_8OptionalINS2_9StringRefEEEEEPNSt3__112basic_stringIcNS8_11char_traitsIcEENS8_9allocatorIcEEEEPb+0x134)[0x7f8f6bde588
4]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZNK5clang6driver11Compilation14ExecuteCommandERKNS0_7CommandERPS3_b+0x43f)[0x7f8f6bdacc9f]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZNK5clang6driver11Compilation11ExecuteJobsERKNS0_7JobListERN4llvm15SmallVectorImplINSt3__14pairIiPKNS0_7CommandEEEEEb+0x8e)[0x7f8f6bdacf0e]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/lib/libclang-cpp.so.15(_ZN5clang6driver6Driver18ExecuteCompilationERNS0_11CompilationERN4llvm15SmallVectorImplINSt3__14pairIiPKNS0_7CommandEEEEE+0x380)[0x7f8f6bdc89e0]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/clang(_Z10clang_mainiPPc+0x29fb)[0x55cef5f3fd4b]
/lib/x86_64-linux-gnu/libc.so.6(+0x2718a)[0x7f8f6551e18a]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85)[0x7f8f6551e245]
/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/clang(_start+0x2a)[0x55cef5f3d02a]
clang: error: clang frontend command failed with exit code 135 (use -v to see invocation)
clang version 15.0.1 (https://github.com/llvm/llvm-project b73d2c8c720a8c8e6e73b11be4e27afa6cb75bdf)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin
clang: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang: note: diagnostic msg: /tmp/Basic-025252.c
clang: note: diagnostic msg: /tmp/libc_nonshared-812315.c
clang: note: diagnostic msg: /tmp/Basic-025252.sh
clang: note: diagnostic msg:
********************
error: external command `/home/mal/.elan/toolchains/leanprover--lean4---nightly-2023-06-10/bin/leanc` exited with code 1
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWt1y4jiwfhrnRmXKkn-wL3KREDPDDpNQIbtbZ28oWW6DNrbkI8lMcp7-lCRCgMzu1sxOlqFSsWn98PXXrW7Jbao1XwuAyyC9DtKbCzqYjVSXLRXrhkNbX1Syfr78CAoQ18hsAFWUPRpFGQTxVRDdBNHL_yzyf0wKLVvwUlBKqiC-QkFcooBMN7KDgEw72gZkOoKWioBMjZQt21AudECmLVDRK7kFFYb2PgnDUPD1xrTPIYlIHEZZiKOATCsudt0ZChkKJRrZ7_QRwp6yR7oGO502te078NZeuQrIdOlEN9TQgEzvrz_TPiDTa6o5G_2IORgK72IU3tzelNe_fjihQZsalNpTt5iXV8sS6aHquEEUVcMaKeilMshItDGm17YvmQZkuuZmM1QjJjsLsd2-XMJeyT-BGQtN68EhRlTUiAvWDjU4qzFF9ebAdmSCegW9kgy0hhppOSgvtiOp1pJxaqBGahBIM8V7M_KQl4ayR1QPXb_XIhqhhZJrRTtE1XroQBjtbP4O9mbWNVE4-8GTv3AVNtrqF7KW6o1l1gAzXAoUNovZBIXNlmte8Zab5yC-2fC6BoFCIbWpufVDrp-1ge6r6DxZ_xrjKwk_rdOjcP6D7dPyCoVzz-CPn9qurpZX7P1m9t_YSkihN1RBPaIo_L0NyCQMqQ4FQA01CrWhhrOw5dWasZcO116Kwnbd9ShsB_GFi3rfWj8L2vF971DIwxkbz9mgIWzrIL5p2_pdrLPrvkehDVUmXCs5WMguSvf2bn7YCUT90uWrw2aCm91oZf561CtBLCDXAbl-vaMV_0uiDljyzB4Q6Fk76NChsK1bFPZmo4Ba9oUMBzFoqEMmu46KOmy5gPAlAvoZ8Ai5TxBPBvEo5BdhE2FPlQaFqEE7IWolozbOnMZY9IWbjRwM0s9dJVskaAcaBSQHoQcF6FkOaEO3gFwm8J34_4FCXNg2hRZXDx-RVEiDcYkAxJYrKSxCtKUKBVk0n__2ebX8n8_Xd_PZH-X9yg4JsshmoF5y4VIRNwEpXjP-e3gPryyQEKcjLQOSr_64TaxSsX7WOF0oLoyj5cHmr_L-drnCWNEvK6mNAtqVPCDX0ROJLc70OnoaN3mTjaOIFmkcpDdnAj6-H8SSrwVtP1JRt6B0uXVAAU6B5gWB8wFNJ3aGob_bwS07B7N-w2dR0_-WT4cDZ1HOWHQEJmsIWNkBGD_DU56tssQux-EpXIthF3xHWo6ylwnjqimOp0vTmFjZO-vmcnfI-t7Cwam3Q-qk6RyeQOFsDk8P8hHETBhQ1hbW21MnKiuHPjuGTrM8y_JzQsdksd9OShXP4ekQtMOcFieYgbK4-O8xe38iLGrS6gRRM7ay87GYLVxiwFn51AMzV6KeSKGHDsrb5So28rFwfH7ioi7_9Iu3WBrFxfoeGs9ylWTHSo0ZZnH2EyiVu-uH21-vjFG8GgxoH8Z9h_pAvLhdRiucz6mB17Y518a2rHB0A6ylihqpdkozOLVkheN3j6b_rDTx1xe8XIplD4w33CYCq3xum6ysvP_klfYKP0DXt9TATDTSGh-nV8yurf3w0vVOX4ZPpDDwZP6GOZ8e7U70yDuirPAcNez8dMXRnq47NR2EO3rdQHMUCL_iL06cWjEX6z2jX6XNh6LodI2ME3rO8Pmi_xt3OaKBC27v_mbVfBMLuMBvaCBjfH4aSOKu5ZO3-gEd36a603Jcw6mWWVr9BLEBj931QfZz2ILT0qlX3PX0fwdYGDWzWhHb8MEed2yML12XZAkdxePPsh5amHW9VHZvbMBrHNeni5wlGTnn8vZB7Wr58Iq-rPxOhtA3oRsn9TnNg5OpstFU1Fdu4Y3LJ2CDgd3GPR0f4WUYcF2Nz4k3m8iu5y2omdCGCgY43kH2CvhFc6LVzlXS7ESbLKnOulsg6Q77q1Lb3dnYr_I32u4yGz12ekbSPIrey-kPnkU68DljeNVRLvymLL9Sij7fQzNbfGJluSSrhXeePN57T5oyaNImIXHxXt5zjNIBaNKUniKIrOw823BSUGCYHFmuqiG1snMchUk0UVRv7oHZqZ53u6rCHuJpA-2zy6ak2aXklYJmNt1uy9L74EmmsedTmp4nlH3apZpa8S0oHE0meOKfUu3D2amr3i7JKr_rrWK0dd8Ozhb2s7hdmni1wphUVHO20q51xm6X-QpjtqFqZRTlRs9YWVphQVv3XEsqKynLhQ_5OE7eGDzPPUfJz8AW9iHGBR2cvMYjS99unz7ef10s45XXK4mbE70oY0Xz02mEdxr9Iiv9os4vsnKnhHvvFThddrRtfwNmjdf11h-c7ZOecjXji2MS7MdzkMMbCprorJstz0B244nIj7LLfk8ZrY4o-hc0-LSaRyc0sLyA9zpgnCYjHLl7l4_4YsF2kbapTgJ_3NRJ9X1Pz8gY5_Tk6RkGK_vW6VYrVxdxz_0dYu9G6ZvJSZL-N_w5KLs9xSljdUReVfQj4iu0r-76ulyz22ihXV0ANZS3ULtH-QieuEFM1oBwnKKA5IMGFG6RkUgDIL7f7diffv0ZtAWluRQIp6NohO3Ab6sOo2oc14TlbEwimrMcMhjHFcYVJEDGtKEZq8ZpVTf7332gag3GqrUz4a5WcWBK388XRDpZQ2t791LzJ9_ktmhtC_UNV-9TED42hJAG7LXmdC2kNpyhTq8Pyhb_4u_gVYdd1f7q4eFq8hE9fCzR9G4-v_t9dvsBTWfzcoke7pz4-tcP6L5c3N0_vFb8v1Z1z3VAir-uvO87KPCFIqgRNfsp_1l9S7zp9tXaMCIpScmIffv44yJmmGMS4_R7JjoCojffaMgfZM79woXdo4b9kg2y6N3eVgmyyIWBl5Dgo8HJWzQX9WVcF3FBL-ASZ_k4yeI4IReby4TR8Tiu6yobR-MqgixPSFJBTBpcF5RUF_zS_nCUEYKLpIjIqEmTjKYFYTiDJM2KIImgo7wd2fgwkmp94d4bucziJE0uWlpBq937QIQI-IJcY0DshvxCXbqYUg1rHSRRy7XRr7MYblq4nHxHDHRF4cT2dSe7gBQXg2ovv__9F6fK_wcAAP__vsKcuw">