<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/140433>140433</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Assertion failed: (BlockScope.empty() && CurAbbrevs.empty() && "Block imbalance"), function ~BitstreamWriter, file BitstreamWriter.h, line 168.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          seanm
      </td>
    </tr>
</table>

<pre>
    ```
Assertion failed: (BlockScope.empty() && CurAbbrevs.empty() && "Block imbalance"), function ~BitstreamWriter, file BitstreamWriter.h, line 168.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /Users/sean/llvm/llvm-install/bin/clang-tidy "-extra-arg=-Xanalyzer -analyzer-constraints=z3" -p=. --config-file=./.clang-tidy /Users/sean/MyObjCFile.m
 #0 0x000000010514e204 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100506204)
 #1 0x000000010514c730 llvm::sys::RunSignalHandlers() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100504730)
 #2 0x000000010514e990 SignalHandler(int, __siginfo*, void*) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100506990)
 #3 0x0000000196bef584 (/usr/lib/system/libsystem_platform.dylib+0x18047b584)
 #4 0x0000000196bbec20 (/usr/lib/system/libsystem_pthread.dylib+0x18044ac20)
 #5 0x0000000196acba30 (/usr/lib/system/libsystem_c.dylib+0x180357a30)
 #6 0x0000000196acad20 (/usr/lib/system/libsystem_c.dylib+0x180356d20)
 #7 0x0000000107737764 llvm::BitstreamWriter::flushAndClear() (.cold.1) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x102aef764)
 #8 0x0000000106250d58 llvm::BitstreamWriter::flushAndClear() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x101608d58)
 #9 0x000000010630a854 std::__1::__shared_ptr_emplace<(anonymous namespace)::SDiagsWriter::SharedState, std::__1::allocator<(anonymous namespace)::SDiagsWriter::SharedState>>::__on_zero_shared() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x1016c2854)
#10 0x000000010630a298 (anonymous namespace)::SDiagsWriter::~SDiagsWriter() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x1016c2298)
#11 0x00000001062540d0 clang::ChainedDiagnosticConsumer::~ChainedDiagnosticConsumer() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x10160c0d0)
#12 0x0000000105801f80 clang::DiagnosticsEngine::~DiagnosticsEngine() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100bb9f80)
#13 0x00000001058b7b8c clang::tooling::ToolInvocation::run() (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100c6fb8c)
#14 0x00000001058ba560 clang::tooling::ClangTool::run(clang::tooling::ToolAction*) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100c72560)
#15 0x00000001058c483c clang::tidy::runClangTidy(clang::tidy::ClangTidyContext&, clang::tooling::CompilationDatabase const&, llvm::ArrayRef<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>>, llvm::IntrusiveRefCntPtr<llvm::vfs::OverlayFileSystem>, bool, bool, llvm::StringRef) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100c7c83c)
#16 0x00000001058ebe50 clang::tidy::clangTidyMain(int, char const**) (/Users/sean/llvm/llvm-install/bin/clang-tidy+0x100ca3e50)
#17 0x0000000196833154
```

My regular invocation of clang-tidy with:

`python3 /Users/sean/llvm/llvm-project/clang-tools-extra/clang-tidy/tool/run-clang-tidy.py -config-file ./.clang-tidy -p .`

works. Then I added `-extra-arg="-Xanalyzer -analyzer-constraints=z3"` (which is maybe not even the right way to accomplish that) and then I get the above asserts, for every file it tries to analyze.

(This is with my own build of clang from git master, at 9b93c9a28418febb1eb2642cf7dea034e877d158.)
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzUmM2O2zgSx5-GvhAWKFIf1MEHx93GBthggnQWuzeDoiiJE4o0SMod5TDPviDlbstOZyeb8WUaBlrix58_VpWoKjHnZKeF2ID8HcgfVmz0vbEbJ5geVrVppg0o0PmHtlvnhPXSaNgyqUQDyBYCTN8pw788cXMUiRiOfgKYAlxBgAuAC7gb7baurTi5t3oBxnE6lEPNFNNcAIwBrgDewXbUPK72xzvpnbeCDf-20gsbO6US8KY96UOPklrAtKAJQNuP_3zcPj1CN9aD9JDBeuygFUdjPfQG9t4fHSBbgPcA7zvp-7FOuBkA3it1evm3Plrzu-Ae4L10bhQO4D1kuoFSczU2AvpeQG6Z62HN-BdvGRdh7SfP-BfYjMMxLIG2KAGo-mhNZ9kAme3GQWjvZhvu_-WEDcLB8jfLS-08UwrgfS1DH1dMd2svmylYby2-esvWzHaAPKz_wzRT0zdh4frlas2Ndt4yGRd7-EYAxnB9BOQhgevQ2cpuHawZWgDeJ1f6t2Afpt_q33d7qUQyABTQCYLoK5r_UpSnmcAog3EDZAvI1k1uvvhopfbRKJ-DiQCml0GWPR_M7MoYGDsotZ_DhP6qdQB-h76mCOWowCgLMTXzpje8vCToLd5Po36SnWbqH0w3KgLQuyFlJUEXJHxrwqpC8GpxgGm0yA4eDk52UrcG4G24PxnZxMt7GauqFmRkQVYVtWhzmp3XGZ0NurIOa03Oi2G-na8PR8V8a-yQNFMcE_Qpyso6pwtnZNf6teAY_aS-761gzY18xjhe4OdX8ozXjPykPL8WJnnJlh4rboRZ87Pc3wkXzZK4XIZCWZKyLJZP0-1JGBtbNbp-q5udEsxeojThRjVJep_IwEy0ZbHwHF2CFjhHTU5_EfQvoqUFok1OL2jVFRpBjOYZdL6ZIQ6H9OXC9cyK5nD09iCGowqnEtkBTJk2ehrM6KBmg3DHeFxV86ynB8k6t9zVU1R58syL8EB-vxBTynDmjf2r6uQx_mZxow_fhDXnTdzRmhzT_OzocFyiW2viisL_ext_XDXdExZX9AKb3kRlhhoE47QZY9czqUUTWLRxXvKd0W4cXil_3H_HaOWoQRfk68OforSlV8gXFveoO6nFGfX79ru9n-q6aukCkVwj1mVN-RLRG6Pky81nY9R7fQoRL40-v99HfT86XrQ15Re67IaO5QX6Id0utAfEJdj_2so25qD3e8PyEufFwrb5NT3PKLm2bZj7wjrTRzX65pjXATujvfjqz9nUD61hhqNU0VEPzLOaOQFjvniedznPt9ay6ZNoAdl9f8DVzEl-cN5G4R3vmX37JAw9h5CMhlx0Hkce__zQfBk4_6643mtvRydP4pNod9p_9GH8pfvUnrO5307CKjaFzPVpfinPSnUIhcX_y9SnuJ2w5Xs5nlOyCNvi2vGiFjl62_H8xakfWNB-yQSDVV68tb1jgDIi8kWAllepDiUkzbPQtSgMAdp-mKAV3aiYhfL14YemhYty4ln6fq6F5vnHyfdGkz-pfy7l11nKGOXmsueGf--jE_d21OtLe3Kc4LLOgbdVzvoIk9d9PBv7xSXwcy80fA9Z04gGggJdlVmh7PrJSgsUMS187iXvoXRwYFMtoDYeipPQsXS0sus9fGZTKEkZ52Y4Kul66HsWS6BQavoZpxM-TmG1OQnIYjnuYjVsbBC001wXSw-9lcJFxZkuOVsd08-9dAEleAMOEzTPGtajVM2rt2BrzQA76eHA3LneZh5WdUV4xTDNUtqKuk5FjYsM87ZsBEMkE7QsmzSnCcDVqtmQpiIVW4lNWmZlnpEsJat-QwvUNFVR5W1F0kKkGaY551hUVctbTvOV3GCEc5THbJ4QklR5npG2LnMs8rJOS5AhMTCpkhAdibHdKpblmzRDGSErxWqhXPyggbEWzzD2BlfkDyu7iSFVj50DGVLSeXeR8dIrsfmbfeRYjVZtfv1Dxtlopw3-bwAAAP__FIyKCw">