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

    <tr>
        <th>Summary</th>
        <td>
            [Clang] Assertion `!Traits::stopLess(b, a) && "Invalid interval"' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    Compiler Explorer: [https://godbolt.org/z/7rMGf5q4E](https://godbolt.org/z/7rMGf5q4E)

Attempting to compile the following valid program with Clang Assertion Trunk:
```c
#define ASIZE 0x80000000UL
extern void abort (void);
int __attribute__((noinline))
foo (const char *s) {
  if (s[0] != 'a')
    abort ();
  return 0;
}
int __attribute__((noinline))
baz(long i) {
    char s[ASIZE];
    s[0] = 'a'; 
    s[0] = 'a';
    foo(s);
    return 0;
}
```

Stack dump:

```
clang-20: /root/llvm-project/llvm/include/llvm/ADT/IntervalMap.h:633: unsigned int llvm::IntervalMapImpl::LeafNode<KeyT, ValT, N, Traits>::insertFrom(unsigned int&, unsigned int, KeyT, KeyT, ValT) [with KeyT = unsigned int; ValT = unsigned int; unsigned int N = 16; Traits = llvm::IntervalMapHalfOpenInfo<unsigned int>]: Assertion `!Traits::stopLess(b, a) && "Invalid interval"' failed.
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: /opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -dumpdir /app/output.s- -disable-free -clear-ast-before-backend -main-file-name example.c -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -fno-verbose-asm -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debug-info-kind=constructor -dwarf-version=4 -debugger-tuning=gdb -fdebug-compilation-dir=/app -fcoverage-compilation-dir=/app -resource-dir /opt/compiler-explorer/clang-assertions-trunk-20240907/lib/clang/20 -internal-isystem /opt/compiler-explorer/clang-assertions-trunk-20240907/lib/clang/20/include -internal-isystem /usr/local/include -internal-isystem /opt/compiler-explorer/gcc-snapshot/lib/gcc/x86_64-linux-gnu/15.0.0/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -ferror-limit 19 -fgnuc-version=4.2.1 -fskip-odr-check-in-gmf -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/example-06c9d9.o -x c <source>
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module '<source>'.
4.      Running pass 'Assignment Tracking Analysis' on function '@baz'
 #0 0x0000000003b24fa8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x3b24fa8)
 #1 0x0000000003b226ec SignalHandler(int) Signals.cpp:0:0
 #2 0x000071f308842520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000071f3088969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000071f308842476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000071f3088287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000071f30882871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x000071f308839e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x00000000032fa468 llvm::IntervalMapImpl::LeafNode<unsigned int, unsigned int, 16u, llvm::IntervalMapHalfOpenInfo<unsigned int>>::insertFrom(unsigned int&, unsigned int, unsigned int, unsigned int, unsigned int) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x32fa468)
 #9 0x0000000003312aca llvm::IntervalMap<unsigned int, unsigned int, 16u, llvm::IntervalMapHalfOpenInfo<unsigned int>>::insert(unsigned int, unsigned int, unsigned int) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x3312aca)
#10 0x0000000003315239 (anonymous namespace)::MemLocFragmentFill::addDef(llvm::VarLocInfo const&, llvm::PointerUnion<llvm::Instruction const*, llvm::DbgRecord const*>, llvm::BasicBlock&, llvm::DenseMap<unsigned int, llvm::IntervalMap<unsigned int, unsigned int, 16u, llvm::IntervalMapHalfOpenInfo<unsigned int>>, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, llvm::IntervalMap<unsigned int, unsigned int, 16u, llvm::IntervalMapHalfOpenInfo<unsigned int>>>>&) AssignmentTrackingAnalysis.cpp:0:0
#11 0x00000000033173e9 (anonymous namespace)::MemLocFragmentFill::run(FunctionVarLocsBuilder*) AssignmentTrackingAnalysis.cpp:0:0
#12 0x000000000331a0a8 analyzeFunction(llvm::Function&, llvm::DataLayout const&, FunctionVarLocsBuilder*) AssignmentTrackingAnalysis.cpp:0:0
#13 0x000000000331b057 llvm::AssignmentTrackingAnalysis::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x331b057)
#14 0x0000000003494a60 llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x3494a60)
#15 0x0000000003494e11 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x3494e11)
#16 0x00000000034956c7 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x34956c7)
#17 0x0000000003dd1605 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x3dd1605)
#18 0x000000000446ef8e clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x446ef8e)
#19 0x00000000065ae3fc clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x65ae3fc)
#20 0x000000000446f378 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x446f378)
#21 0x00000000047012b9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x47012b9)
#22 0x0000000004684b6e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x4684b6e)
#23 0x00000000047ea6de clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0x47ea6de)
#24 0x0000000000cb8fdf cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0xcb8fdf)
#25 0x0000000000cb222a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#26 0x0000000000cb5b5e clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0xcb5b5e)
#27 0x0000000000b88c84 main (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0xb88c84)
#28 0x000071f308829d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#29 0x000071f308829e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#30 0x0000000000cb1cde _start (/opt/compiler-explorer/clang-assertions-trunk-20240907/bin/clang-20+0xcb1cde)
clang: error: unable to execute command: Aborted (core dumped)
clang: error: clang frontend command failed due to signal (use -v to see invocation)

```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWl1v2ziz_jXMDUFDomRZvsiFY8fb4qTboMn2AOfGoKiRwg1F6iWpNOmvPyAlx5LjfqTvZneD1oap4fB5hvMlSsxaUSuAczS_QPPNGevcnTbnT-JPptI8nZ8Vunw6X-umFRIMvnxspTZgULLCaH5x51xrUbJCdIvottZloaWbaVMjuv2K6HZhPvxWzf-TXqL5BtH858XpEkUbFK36z5Vz0LROqBo7jXkPBrs7wJWWUn_xFx6YFCVuja4Na_AX4e7wWjJV45W1YJzQCt-aTt375XvVWdT_48NvmpRQCQV4dfP-_y5x9JhH_d8fV70EPDowCj9oUWJWaOMworn_5eEmF72QUA7vdsw5I4rOwW6HaI5orrRQUijwontyldZeA9fKOszvmMGIriyiS4wWgzaMReVlLJpfRGi-wYjGKPFfC4bo4lkVxvgAaQwHYwOuMwpHz0NosXk11IJ9RTSXWtVYHAHEPXSPMBjOb3UyunqAPsKdXOAfShwEKq2DDSa8vsfseW_HXnTjGL_HZde0Bx84Jc292xAaBR-nW6O1Q3Qr5UNDWqP_BL7_iehWKC67Eg4Dq80totv3yoF5YPIDa2d3KFllSeK1dSoEW4m95cOEZIWS1Uj6fdPKfvAKWPW7LgEl6_-Bp1tE1_gzk-H7d_9xa5hwFiWXvbhQ3su3RjeI5uN1EM28-HRojfc6p7qXPqhD7PjxsB-TiclFEDx5YULu9yASZ_5CjzQMnOT8jsnqYwvqvao0StZTvb07rUZR7PeJxnv6Xpd1ur0CaxHNC8-FBSKed4YRpe9VnxvEsCSiFNEFrpiQUM76Pb--ulzdXGLbFY1wmOGiq7GB1geU0_gobwl31xUz7k293_Yj7xDWdmAR3WKm_MLBSULC4obZO1wwfu8M4-DhtgZaozlYCyW2ujP9sJ_JrNVcMAclNp3ClhvRutk33TmaoWh5PaRAZuquARWM5P1Ytx7ZkDwNgX0mp9ve4dnewpY4nygJjWgaLaMFottCqGc5GmHCeYyJM6KVgB_zbJelpFP3Sn9RRArVPZJadZhAIxzRxZ-YeJSl8Plty9rWg-lc27mZJZiUwrJCAqkMACZcAjOEWUcKqLQB4k0FqsSkYUKRSkggijWA4ZE1rYQZx6QxIDVnHjtpdAkSt4Jj0gpOJDyAxLT_ISxpBWDSVIY1QFodPAIlG6UVYFI1zN0RMEZpTKqqJVwrv0kOJRutMKmUJkZ3qhSqJl62H3oAU2gLhNkGkyYkc9Nxpw1hUjALFpOqU1-EKonzRC1KNhQTx0wNjvC28xYkWYqJ6xSEgRoUGE-hhKKriVCVJvdClSjZjPRjUn5hpvIArNAKJZt0mFGD8cqEqlGyqcsCk6rX1O9-b6lSeOr9jmBScf0AhtXwHRkDvXeSYSv_G4-SotjLIbr1PhU2QzFJhH2yDpq_eoVDtj69Vme9Xu9I8kei34ZVc06sYq2964tGwFBzjuh2iJPn-EB0G89n0cwDm81efpyQfwmqb0n4Sx6HwnSs5_uzX78EJh8TTCowRhsihc-f8RKTqlYdH_vmjM5iTCp7L1qiS0P4HfB7IhSpmyr4n9SGlILVSlsnuMXkAbybi69ApNbtZMBK77OsLI0VNSab3e639Xr3bvX5crf539WnLd2tt-93q5sPKNnEmPg-a-san3mGvEGijC_L5Uxj8og5Rsl6yLzJZZ9LY59LUbIGXaHkErfMWDCYOeyTka6wz0S9JPWSa11CH7chcvorib_yqVM-EnHLrPXdzbZTPBSyaz_wgSlWe9dZYK1wo8tOAg79zwgQXQw5Pz2lcBVaeJ_qfanl9_7aSjH5ZIUd9Fb7Nb3mNArd3GJopBBNIhw9Rvu_pKBpxfJRrbZPQ6G9NkK5UHdu--KVH4QM-7LT1hlgzdByhE5j2Tekf2H1QfQiehxAHvpfRJP4iAXNgOMbUSsm3zFVSr9aPoDqh-2Mt756RuH_syI6KFrEVRLleUrnNBpo9AF9IjSlKPjM6lkW4IUpE3DJVOcyW1Yct-7OACt390LK1y0Q5k8WSI9Bp4sM1zbwfC34dJFNdM-numm-qJLx7cbPag4TJ5qzF5rj4tU642KiczHVmSxhmb1OZ5gy0ZlPfItWLM3yV3Twx9338e846_zXr7THv3oD8LrfbxXGvSUnpl5OTJ3ElHF22jJ_p2FfGPWfslhvkMMBCU3i6Mhic29ERHOmtHpqdGex75htG1L2smf1AZorzbeG1b5wbIUcnJaV5QaqSWb_zMyV5t5KOHSfg0MdBK77RvoPFSr9emzsvlf1lWeYuppO3RT1J-DalIfrvt6NRS6YFfxCan7_YuENKAunHeGfcZiT6E6J03U4RnoxpwTHhJzOv2a-C_-XMBx4-uyID43Hvu_Ytx0v66r30_jITxcJ_LKfmk4hmu97qd5F7UUnZOlja_Ur8OgRPBaxHDM_5SvsF5oExmHw2C-ZY1fsSXduEjF_KdrkCG0RzRcjCN9W92y_j-rHrN4ui3m8kyyWTgily5Rl0YjQ9tr3y_t2-d_AoYc44TA_5gBx_BMcPoS2f8JgP_S2-CGOJ_izI_zzjI-dSkLN-NOQ9A9MDi1PH5V_MwsPcsJiMWFRlnEWzXF_EBBQXTbCXfTHSh_DORSi-ejy5nAPeqnqcBAewnck8g5YCeYGmOF3H9uAdhLpI1F_Y_gbqB9I3YbToB8IXTFVnxI52PvGGaHqT76Aj4f327A6UjgYYTXEylFRMJ0VD_AJqrVy185MKvtDNeSRrZBwEw4GhlpmXdlf6ZT4Twe79mimv09svxjhYLe_WxxNKqFinXS7EiQ4-MHE55r7ktJaK9s1z8n1bVyv96yJ603uE9I0gyqH78HrvSncnd4apmx_7vaHEkc-ubq5XWvl4NG9ZTANgCeMJu14NmeQVHzM6JoZC6ub2yneG2jY4J2F1vLw_UbIB2Bj5DQ62osqWeQnInPw_j4zPALvHOwDIn9LS3s4E7yT9ihdRDEtlmO8W-M94Dlcx4DfFGqPZAJ10iqlWZ4WGUxN2y_ubwCY4nDaut_m9pY-3qOd0EmmlgeWlRM6A_ADq4fhccOUxAvWb5h8BpQTGpMOKuJFXpUV5jzeNUxM6_LKGPbky0SyDg9vj26-pmP7e5U3ZNNjnZCZH5GhlDK834h1fBuyyYjSTcOk_BwOiPt-5ASzo2rpdQxZdVRPl7g04gHMybabZkew5sV8cJW9lYfbLL96MNnq5xZ9I7t6fBO7TpqjqMhznqfYQ38bBP0CEwT50Znfsly-8ng1TJnoXB7rhDTCu52ftrOOGbcbUfzpVSCdrDI9J494EfMScK__rfbPL_GMYZ9rcHjY0r9RwAoJ2GkMfWhgrpuGqTI8My-0cVD275gYCM-KofyOtjCCqyEX71UNT8px2YWFDkfKnQVMHsIYABajrLg8-XrFWXmelMtkyc7gPF7Q-YLO0yQ-uzsvqvl8viiKrExiFmcVzYqKJ9ViseAUMp6eifO9neIsjpJ4xijEkGbposzKKF0uUBpBw4Sc-UCbaVOfhUfw53G0WETJmWQFSBvecaJ0eCRI0XxzZs7Dk_uiqy1KIymsswcVTjgZXowKLxKh-ebt3kI464w8__XXDAaaD-f0_wMAAP__17yryw">