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

    <tr>
        <th>Summary</th>
        <td>
            Assertion LocInfo.second > SM.getExpansionColumnNumber(Loc) && "position in file is before column number?"Failed for Clang Static Analyzer in Sarif Mode
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          Scarlet-Climax
      </td>
    </tr>
</table>

<pre>
    ### Description

For clang version below 15.0.7, when clang enables SARIF output mode and the warning appears at the first line, the assertion at line 161 of SarifDiagnostics.cpp would fail:

https://github.com/llvm/llvm-project/blob/8dfdcc7b7bf66834a761bd8de445840ef68e4d1a/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp#L156-L162

### HOW TO REPRODUCE

Code where the bug locates at the first line, will trigger this assertion. The following log shows the a mini code example and crash report.
```zsh
> cat a.c
int foo() { return 0 / 0; }% 
> ~/llvm-project/build/bin/clang --version
clang version 15.0.7 (https://github.com/llvm/llvm-project.git 8dfdcc7b7bf66834a761bd8de445840ef68e4d1a)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/xumuchen/llvm-project/build/bin
> ~/llvm-project/build/bin/clang --analyze --analyzer-output sarif a.c
clang: /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:161: unsigned int adjustColumnPos(const clang::SourceManager&, clang::SourceLocation, unsigned int): Assertion `LocInfo.second > SM.getExpansionColumnNumber(Loc) && "position in file is before column number?"' 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: /home/xumuchen/llvm-project/build/bin/clang --analyze --analyzer-output sarif a.c
1.      <eof> parser at end of file
 #0 0x00000000040b3021 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/xumuchen/llvm-project/llvm/lib/Support/Unix/Signals.inc:565:22
 #1 0x00000000040b30e4 PrintStackTraceSignalHandler(void*) /home/xumuchen/llvm-project/llvm/lib/Support/Unix/Signals.inc:632:1
 #2 0x00000000040b0f64 llvm::sys::RunSignalHandlers() /home/xumuchen/llvm-project/llvm/lib/Support/Signals.cpp:103:20
 #3 0x00000000040b2967 llvm::sys::CleanupOnSignal(unsigned long) /home/xumuchen/llvm-project/llvm/lib/Support/Unix/Signals.inc:361:31
 #4 0x0000000003fd7ffb (anonymous namespace)::CrashRecoveryContextImpl::HandleCrash(int, unsigned long) /home/xumuchen/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:76:5
 #5 0x0000000003fd84b1 CrashRecoverySignalHandler(int) /home/xumuchen/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:390:1
 #6 0x00007ff7f043ea30 __restore_rt (/lib64/libc.so.6+0x3ea30)
 #7 0x00007ff7f048ec0c __pthread_kill_implementation (/lib64/libc.so.6+0x8ec0c)
 #8 0x00007ff7f043e986 gsignal (/lib64/libc.so.6+0x3e986)
 #9 0x00007ff7f04287f4 abort (/lib64/libc.so.6+0x287f4)
#10 0x00007ff7f042871b _nl_load_domain.cold (/lib64/libc.so.6+0x2871b)
#11 0x00007ff7f0437536 (/lib64/libc.so.6+0x37536)
#12 0x00000000075614ab adjustColumnPos(clang::SourceManager const&, clang::SourceLocation, unsigned int) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:164:53
#13 0x000000000756169f createTextRegion(clang::LangOptions const&, clang::SourceRange, clang::SourceManager const&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:186:3
#14 0x0000000007561a2a createPhysicalLocation(clang::LangOptions const&, clang::SourceRange, clang::FileEntry const&, clang::SourceManager const&, llvm::json::Array&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:204:50
#15 0x0000000007562136 createThreadFlow(clang::LangOptions const&, clang::ento::PathPieces const&, llvm::json::Array&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:264:23
#16 0x0000000007562332 createCodeFlow(clang::LangOptions const&, clang::ento::PathPieces const&, llvm::json::Array&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:278:29
#17 0x0000000007562602 createResult(clang::LangOptions const&, clang::ento::PathDiagnostic const&, llvm::json::Array&, llvm::StringMap<unsigned int, llvm::MallocAllocator> const&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:293:27
#18 0x000000000756c4ea createRun(clang::LangOptions const&, std::vector<clang::ento::PathDiagnostic const*, std::allocator<clang::ento::PathDiagnostic const*>>&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:373:22
#19 0x000000000756c8cf (anonymous namespace)::SarifDiagnostics::FlushDiagnosticsImpl(std::vector<clang::ento::PathDiagnostic const*, std::allocator<clang::ento::PathDiagnostic const*>>&, clang::ento::PathDiagnosticConsumer::FilesMade*) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/SarifDiagnostics.cpp:398:22
#20 0x00000000088b34ab clang::ento::PathDiagnosticConsumer::FlushDiagnostics(clang::ento::PathDiagnosticConsumer::FilesMade*) /home/xumuchen/llvm-project/clang/lib/Analysis/PathDiagnostic.cpp:429:23
#21 0x00000000073bc300 clang::ento::AnalysisManager::FlushDiagnostics() /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/AnalysisManager.cpp:63:18
#22 0x00000000073bc1be clang::ento::AnalysisManager::~AnalysisManager() /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/AnalysisManager.cpp:53:65
#23 0x00000000073bc27c clang::ento::AnalysisManager::~AnalysisManager() /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Core/AnalysisManager.cpp:57:1
#24 0x0000000006b078ea std::default_delete<clang::ento::AnalysisManager>::operator()(clang::ento::AnalysisManager*) const /usr/include/c++/12/bits/unique_ptr.h:96:7
#25 0x0000000006b07c3b std::__uniq_ptr_impl<clang::ento::AnalysisManager, std::default_delete<clang::ento::AnalysisManager>>::reset(clang::ento::AnalysisManager*) /usr/include/c++/12/bits/unique_ptr.h:204:7
#26 0x0000000006afc2b1 std::unique_ptr<clang::ento::AnalysisManager, std::default_delete<clang::ento::AnalysisManager>>::reset(clang::ento::AnalysisManager*) /usr/include/c++/12/bits/unique_ptr.h:502:7
#27 0x0000000006a8a510 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&)::'lambda'()::operator()() const /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:591:51
#28 0x0000000006a8c5da llvm::detail::scope_exit<(anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&)::'lambda'()>::~scope_exit() /home/xumuchen/llvm-project/llvm/include/llvm/ADT/ScopeExit.h:47:3
#29 0x0000000006a8a813 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/xumuchen/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:623:1
#30 0x000000000762fe60 clang::ParseAST(clang::Sema&, bool, bool) /home/xumuchen/llvm-project/clang/lib/Parse/ParseAST.cpp:205:14
#31 0x0000000005009729 clang::ASTFrontendAction::ExecuteAction() /home/xumuchen/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1144:11
#32 0x000000000500907f clang::FrontendAction::Execute() /home/xumuchen/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1041:38
#33 0x0000000004f47b46 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /home/xumuchen/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1035:42
#34 0x000000000519add8 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /home/xumuchen/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:266:38
#35 0x0000000000c82b23 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /home/xumuchen/llvm-project/clang/tools/driver/cc1_main.cpp:250:40
#36 0x0000000000c7618a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) /home/xumuchen/llvm-project/clang/tools/driver/driver.cpp:317:20
#37 0x0000000004e12c35 clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()::operator()() const /home/xumuchen/llvm-project/clang/lib/Driver/Job.cpp:407:32
#38 0x0000000004e1319a void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) /home/xumuchen/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:40
#39 0x0000000002d75e12 llvm::function_ref<void ()>::operator()() const /home/xumuchen/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:68:62
#40 0x0000000003fd8679 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) /home/xumuchen/llvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:426:10
#41 0x0000000004e12e20 clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const /home/xumuchen/llvm-project/clang/lib/Driver/Job.cpp:407:7
#42 0x0000000004dba19b clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const /home/xumuchen/llvm-project/clang/lib/Driver/Compilation.cpp:200:22
#43 0x0000000004dba4c7 clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const /home/xumuchen/llvm-project/clang/lib/Driver/Compilation.cpp:254:62
#44 0x0000000004dcae92 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) /home/xumuchen/llvm-project/clang/lib/Driver/Driver.cpp:1738:28
#45 0x0000000000c7761c clang_main(int, char**) /home/xumuchen/llvm-project/clang/tools/driver/driver.cpp:513:39
#46 0x0000000000c9f971 main /home/xumuchen/llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:11:63
#47 0x00007ff7f0429510 __libc_start_call_main (/lib64/libc.so.6+0x29510)
#48 0x00007ff7f04295c9 __libc_start_main@GLIBC_2.2.5 (/lib64/libc.so.6+0x295c9)
#49 0x0000000000c74a95 _start (/home/xumuchen/llvm-project/build/bin/clang+0xc74a95)
clang-15: error: clang frontend command failed with exit code 134 (use -v to see invocation)
clang version 15.0.7 (https://github.com/llvm/llvm-project.git 8dfdcc7b7bf66834a761bd8de445840ef68e4d1a)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/xumuchen/llvm-project/build/bin
clang-15: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-15: note: diagnostic msg: /tmp/a-0ac271.c
clang-15: note: diagnostic msg: /tmp/a-0ac271.sh
clang-15: note: diagnostic msg: 

********************
```

### PERSONAL DISCUSSION

I guess `LocInfo` is 0 based, but column number is 1 based. Comparing them requires some offset handling.
So should it be something like:
```cpp
assert(LocInfo.second + 1 >= SM.getExpansionColumnNumber(Loc) &&
         "position in file is before column number?");
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsW1tz2ziy_jX0C8oqEuD1wQ-yLM14yhm7LOXsowoEQQkTCNACYCzvw_z2UwBJ82LZiZSMz57dSaksBQQb_X3daDRuWGu2EZReedG1F91c4MpspbpaEqw4NZczznb4cJHL4vnKg6j-gBuqiWJ7w6Tw_BvPn9Z_F1IBwrHYgK9UaSYFyCmXTyCIJv4k8eAMPG2paKpQgXNONVhOH28XQFZmXxmwkwUFWBTAbCl4wkowsQF4v6dYaYCNKy6Z0gZwJqiVaEuw1lRZZWwV-wAEcQBkCZZYsfKG4Y2Q2jCiJ2S_B0-y4gUoMeMemvbV3xqz17YMLjy42DCzrfIJkTsPLjj_2n5d7pX8gxLjwUXOZe7BRVqUBSFJnuRlHKcoxEkc5EVa0DCM0tCnZZzSsAiwBxcOuhXE7ItLgw0jU4H587-o8uBiJhW15UfU9iC6C6L48i6IYV_pzii_3v8DrO7B4_zh8f7m82zerzWzvD5tqaKOsLzaAC4JNvQNVp8Y58AottlQBcyW6Y7jCVjZ6pJz-WStw-UG6K180rUpwI4JBohtjx7wbs9rexKF9RYoupfKTBrNYr_-_EtvmxI0BwQbgCekLmDCgFJKD6YezICXXANFTaUE8IEHF8D30DXwkhsPRqCT8OcRQ1WMF_abidYI4PKycdL6zaHf1h4LPJie5hSTDTPg-_0hq9teYbWhxkNTcEjjdRxeVuKLkE_ikjNRHS43omrqbRXFhesk1nfBXmp2qB_dCm0w57S4Yco-8uBiK3fWmQ7VriJbKt5n5XT2cO223S912XRibd23M2Lt89-p0w90EDQN4sC2UwkX0gpg3QcXf1TazCSvduJBag-mRAptQKuVh6ZLWSlCP2GBN7aR2HaAV4_vbHex3gJngwasEdEUTF9CkBf7d5LcilJONCVSFMDSuvw02VAzP-yxsA5W6_N7tctti-mdJM7Bbdsx8CC0lnXSmAAl4xQwDXJaSkUBca8CUb-LFh6EHkxcPKNF07Ue7ubT5RzoKt8xA7Dr73XfA0aCk-Mc07qi2vY425WZILwq6kBSd-scky9GYeJCx17RvZKEak0LoB13tti-ibWWhGFDC6AqAeoxpFF5aTD5Aopqt3-Jyv4EPCi5UXgHsNpUOyqMPse3z_DZYALcPw_NqCytAfdYaapstKSisGOLNUtdGXgQ-cA_-O2_0M-RDwPg2HQ-pJ91_eNBMWEc1lVNWNpVUvhpLbVRFO8aL6z967sAt5ar-021t8b24OKzYAdbwDYCcz1hgnhoGsWRh6YQduoHr9SnIRjpWsv4FYuCO6f9KlnhwelfoWCMoO3OnX5wpJ9fxuExeh8rMVBTt0PH-Qq2mjUhxkeWOr9TDY1Ug1mcHFNtxikW1f6-UdCD6UsY4dLGvJ9PI3LxEPV4DPvKorJIyjK3oxwWUjzvZKWBwDuq9841s0Zx28cfKZFfqXqeSWHowdzu9rx-WhPt6ngwdQ7bC5A_Admx5htjJLF15g5dNEKXhnkABu-PffjHO9g76qHMH3px3OiXlGVS-iGiGPlgvVZUG6noWhng3NW2EYf1N5loOYk9eO0fXPWXnMHKS4byUkp8AtbrvXF5wvoL43zNbApmQyeuR6d3GnDvDxpIxwpnaQw22pH4DV2zNB6IyoaiYJqUIcC5_AZoV-9FkI1U_itBQQ7Wgq-5xMW6kDvMxIRIXnxLbpAP5AYjrEmE4vcx2hoDEYMolURxEOL8WALyRuoBXGZyRgLyEZlVaLsa6rCiMdY4KwFRFBu6ogfzSDdO1z7YOyw2927SqN-H-ojFhh598pqpjwCf2jjTwx6OsWOIG-wP22fNCOadtX4aAwvG6VwY9fz-q8ecqRuO_tBS1L-mSuHnj6IQ-s5__I7DaMQhDFDc-o8LXwsun05mjwojm0QLm-0Do4TqfzMmXE-CPW-Kx0wgBBsm7LT9P5WHJLV_e9EzGfMQ-y0Pj1RX3PwgC50OJzDRf740ionNJ7z30GwYgfu1PmHOJZlyt74ilVvT-MhoBTOXoSYdsemIWBLSNlw9Vt8ZobQp6gpfKXGoZifwPB1IwB01pwlBc_v5IBpRgnpzJEtjNqYxJeW3cuex8CaS80r3EGqXTcP034vj7-pJMyl0taOqG6H0J1zQE6aFP2akLB0aCQ7m4WmaI5uCnQ5kZKBhH_koMhwNmmkPLoYNNehD52W9oQQOpvEJygny_ePoW9ntqtdbsH-uGUetNjhi5JKsDgYcwwhyegKMP8elHwMjsjDiqIOBxjBgQv4fwEi6SatFMUh249xPUoq7QFPQElfcrAvKqaFvRZtX-OZ1udxT5aKUg_ZWL3vFg-tP9TKuBxeVtpiaVUkL3oPX7rMIoFsBNLYHVYL9s6LrvVGTrYemmU3puzESRmOUBOUdyvXavm5fdvPp74XZj8jnE9Vwpaim5jSKziWnztZ77AxS1BiXBOZBB617-z-dmMiHQ2KSITEpjgL_WzlBq9JwuKjXpFYKC83dzPGzYCNU0-WqWWCqk6C61IMJx7u8wB5Mmn50vG8NOs2PhpCFspqIohdGWjxtHMkC-7cXSdIRWSQqcC9xLqhp9mTRVBO5p2t6YMZDs_97PhtP-7On1snryp2rNQXTm5Vl1oqcH5hxDhYmg5UGmI39Kw3Qh_nXx_hJDNFgwBlupSQxLGk8SGIesNJ0ulyNVtLoDjd5ay4l777PgeGaaL-ny9XLKkZkVQ07XQcJV-T7WWI72YDSloEpcetBrnh-oKQytCk6d1zvcTtspF23CsLQfXX6wrG-flIO1pjeVvavU9MP3TZFlwCO9lTKMMnDuK_mTO72jFPldr0FocdZfRvXue7dgzJWodsfilxq3oEZJFBRkOGiSPtgGrU7gV-Prh2-wnzutKIFsXLdY_Fm8y8LVvHIOoNcyScpzCEChATrHWZisKPp1lEeaWlH9S1Wg2mmnWAOyuAMnLil2OIyUnI7WheKfXVRp1WmhRD51ibd6iOKhxCSOEgxaJmYBTU1PSDLHeb8f9y0_LZJAF_hOdmnXqld_2jntkHS22m0Sg-SjZAGkKCo70iNnNpbZsFM7nZYFONOfNQ6XWG9-IP5oLBe-XJV543terkxORyCoP5PjjUja-2qNyQNKtuCtVHYZlfN45G4wcpF89xWmXYRvUv_PzADummN9JvM2_m370brXldPRxZCQYadU_fSnLISLgitlWPePR3lGQRznmPyZV2KYT78t4X7ORlMz9hefisNW90tGsNgPj8YhXWdkMWjyDHIyGCRRDSAp1n3B93yPBxx6lKtFxyhP94rj5Osh-PYtnb95LESS1xS_jzwtPdx_2Vb7CGM3aDb4QrGQZJC_787SP7MYNdNfcPhkZwix0GWv0m0Sy7wq5yyZX-Q6Ixe3Lnjo8c3eN6pOh1MBn4CFT0ML9MBf7j6HKIxJyFJTuXkN5nrtwn5TeZ3TJs3drBepykvLrPHzHpLs131vRz2twP-SiajcBSewiGTBNMMvqX1Te_3IJs9kkW_ZYEPZPKcnP2Fu5t-ihgkyO1_dLl5OMrNkyQOmjXnNjtv9XZRZ_ozsu1B2hoFyG3MdCqNcu2szJIAWGVOOsjZtvp2zm8fXA50cQE37pZTwtGBKZhFgQ_Wa85yG4-xMmubeq0b5d45PWRf7B_9CdNXkkk2lOzoD_1f7m6vZ2s4gZPoW02QbNBENjJtiLMI1MIbSeecinWN1cJeWqupDOxEFlClpDtRXp-hLZvJIyCNg9fnjsETM1tAD8zUR_8DFFqdKk3B5VdgJNCUAtab2WZ_n7pn4jXbQhpqv4tua3an68PzjR_8wKd3H6Q5ID5draazX8Hq1zlY3N_d3f_j9vdfwOL2br4Eq3tXfP35F_A4f7h_XHntseyHYwe8U23DyJuHvF8qKNpcPCkANi8iv5MCuDC7vQcX-NLHBCbB4IbBGa-3905OssDPskN7--X4ZZ6H-ePy_vfpHbi5Xc4-L5e397_3K96CTUW17l028GIfMA18kGNNCzdeV2Z4WcA-D-rnE2AHP2wzUGC2dAcU_WfFFNVAyx0Fsiw1NWCLRcGZ2LRH9CXQW3d5ihmQU1fVbN0dIPaFvhjzBZkNwq6kvjtU33MYXIyA1yAAbmi8OeWGRHOqtP13xn2JzEPXR-1wUVyhIkMZvqBXQZxEMYRZgi62V0UZwyzI8jAOEC7LIg_jLI6yzCdFXuC4vGBX0IfIh34UpGGG0CQhflGgLIF5WBQYIy_06Q4zPrEBYSLV5sLdq7iK_SgMLjjOKdfuFh6Egj4B99AqG91cqCsXRPJqo73Q50wb3UkxzHB61V1A-ejbJ4t6BCilAjMXzutNANDuAlgp7vwG-CQLelEpfnX-DRRH1v8GAAD__1Alilk">