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

    <tr>
        <th>Summary</th>
        <td>
            [analyzer] Assertion `IsLocalStaticOrLocalExtern && "Declared a variable on the stack without Stack memspace?"' failed.
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Reproducer:
https://godbolt.org/z/rYbxK3EWP
```cpp
int callable(int);
void func() {
int arr[100];

#pragma omp target teams thread_limit(42)
  for (int i = 0; i < 100; i++) {
    arr[i] = callable(arr[i]);
  }

}
```

Backtrace:
```console
clang++: /root/llvm-project/llvm/tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:1200: bool isInitializationOfVar(const clang::ento::ExplodedNode*, const clang::ento::VarRegion*): Assertion `IsLocalStaticOrLocalExtern && "Declared a variable on the stack without Stack memspace?"' 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/bin/clang++ -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -fno-verbose-asm -S --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics --analyze -fopenmp <source>
1.      <eof> parser at end of file
 #0 0x0000000003fd9768 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3fd9768)
 #1 0x0000000003fd6b94 llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3fd6b94)
 #2 0x0000000003f1b388 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x000076e866a42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x000076e866a969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x000076e866a42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x000076e866a287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x000076e866a2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x000076e866a39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00000000064c5cbd (anonymous namespace)::StoreSiteFinder::VisitNode(clang::ento::ExplodedNode const*, clang::ento::BugReporterContext&, clang::ento::PathSensitiveBugReport&) BugReporterVisitors.cpp:0:0
#10 0x00000000064b1628 generateVisitorsDiagnostics(clang::ento::PathSensitiveBugReport*, clang::ento::ExplodedNode const*, clang::ento::BugReporterContext&) BugReporter.cpp:0:0
#11 0x00000000064b427b (anonymous namespace)::PathDiagnosticBuilder::findValidReport(llvm::ArrayRef<clang::ento::PathSensitiveBugReport*>&, clang::ento::PathSensitiveBugReporter&) BugReporter.cpp:0:0
#12 0x00000000064bc0e3 clang::ento::PathSensitiveBugReporter::generatePathDiagnostics(llvm::ArrayRef<std::unique_ptr<clang::ento::PathDiagnosticConsumer, std::default_delete<clang::ento::PathDiagnosticConsumer>>>, llvm::ArrayRef<clang::ento::PathSensitiveBugReport*>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x64bc0e3)
#13 0x00000000064bcc11 clang::ento::PathSensitiveBugReporter::generateDiagnosticForConsumerMap(clang::ento::BugReport*, llvm::ArrayRef<std::unique_ptr<clang::ento::PathDiagnosticConsumer, std::default_delete<clang::ento::PathDiagnosticConsumer>>>, llvm::ArrayRef<clang::ento::BugReport*>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x64bcc11)
#14 0x00000000064b8fdf clang::ento::BugReporter::FlushReport(clang::ento::BugReportEquivClass&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x64b8fdf)
#15 0x00000000064ba09f clang::ento::BugReporter::FlushReports() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x64ba09f)
#16 0x00000000060c1d3e (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) AnalysisConsumer.cpp:0:0
#17 0x00000000060c34fe (anonymous namespace)::AnalysisConsumer::HandleDeclsCallGraph(unsigned int) AnalysisConsumer.cpp:0:0
#18 0x00000000060c4f03 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) AnalysisConsumer.cpp:0:0
#19 0x000000000667f6cc clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x667f6cc)
#20 0x0000000004c78555 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4c78555)
#21 0x0000000004bf538e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4bf538e)
#22 0x0000000004d6c281 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4d6c281)
#23 0x0000000000daa6bf cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xdaa6bf)
#24 0x0000000000da130a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#25 0x00000000049ec839 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#26 0x0000000003f1b824 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f1b824)
#27 0x00000000049ece4f clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#28 0x00000000049af47d clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49af47d)
#29 0x00000000049b050e clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49b050e)
#30 0x00000000049b8545 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49b8545)
#31 0x0000000000da6b6f clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xda6b6f)
#32 0x0000000000c5b964 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc5b964)
#33 0x000076e866a29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#34 0x000076e866a29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#35 0x0000000000da0db5 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xda0db5)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkWt1yozgWfhrlRoULxI_hIhfEjnd7dmanq93bW3vlEkJgbYTESCLtzNNvSUAwJE53ppPZqt0ud8WAdM53vvMLGGvNakHpNYhvQLy9wp05SnV952Gl5Fd9Vcjy4foTbZUsO0IVCHPg50djWm2_oh1Au1qWheRmJVUN0O53gHbqX8Xpb-HtPz8CPweJ339I2wI_Z8JAgjnHBacApUwYgDIQ3gA_v5eshFUnCEApQBkE65thA1YKxDeB74N426-1HxS2CtcNhrJpocGqpgYaihsNzVFRXB44a5gBKI2Q1eHnEFZSwV4rZBCEW-iD8MZ93UAr3h4AdOM-IwAI4QCAgXjrdp0ZMF15tANCsN4OGPsvIwX9yRtM7ozChPZkTgRJoSWnwM8Jx6IecIQ5tIxKaQDacX7feK2S_6ZkPARoZ6TkGqDdsG3HWQHQbm-wYSQXmD_8ThVAu41UFKDdTVd_oq1UhqovTDMjlV5Z34R5gCwFOSyk5JDpD4IZhjn7HRsmxa_VF6wASi1KA3tVYQ7CnAoj-2-3p5bLkpZ_lyUFKAdoA19Y_QWrT7RmUrilmVWca02VVQZB4n_QP0uCeW_Gr8od3J4MVQIClACUQIDQlhKOFS0hhvdYMesUKAU0Rwq1weQOfmXmKDsD9-6ooY1uHfM7gBBAa1hhxmm5An7-8efbfH8LdVc0zEAMi66GyhEFjYSLkGfm2BUrIpvJCwvfMK07ar0CsSghE4R3JXXAiML6CIvHKEAb2CqbYYRqTUuoZaf603Yn1loShg0toeoE1ESx1li8vUVl17R9HPkr4GcflawVbiBWdddQYfQQP7K1mIhsWsap8qj1lHJR4Xzj4ZF57RnViTuAdgUTU0zZUIReXX7FqvIi6NXQk1YublsrvTNtZ1Yaeo1lAXreKU08rBtPPwiDTyDcMmEoh14lpHdPVSE1tdeht4eeVxPi2RgmR8wECLcv4rWLtcCtPkoDvYpILpVXMlwLqQ0jutfhOJ6f9nCfCtCrZEtF09qsH7gOb4GfB5ZAEG6orEB4C1usNFUQG0hFCWUFK-aSEwIU-tA_-eO_sCqzdZJCFwcutPWD7r98VEwY56jPvavTaZHCXw9SG0Vx4-J5A_tiCF35exOPAXTjnwZ4QwkEKAwW4JMii54Dv-EUi679VexZLTAHKO2EaxYl5NKqeA-oFswEFc2hBkWYpnBjffuJEnlP1UOP7a9YlNxqHBrKfM1GCkNPZqhyvvvfyw8H-euEpkmCIxQjfzCqL6KnNDkkkceZ6E5eLbr-AllpuUocZLdlAhzNBWZJVhHYDv3ojnH-Oulu_yQ9XsKN1gmstaPgtbCjdTIJTuaCUbquQogLW_teJdZtnMSun4gNilcLDIpJYDoXGGY0S14n0G2ZBGbnAZZEJCZFaQViIcVDIzsNBW5o3zNcjwJhvjdS0T0zdMdE2Y9EYe5aad_40m82x74tji3yudVnTXqI3qFGPLv6IzbHPRWaGXZPH7e6HRm83O_HTLA1wZ8TUQQJSmFNBVXY0HHfdqqnl8y8BOWyqW9CzMzMZ8wLFuZFaF18y8_WlMnim47xR29XTJRfMGflaN5ZXc-Vwg-faAXCzSsZCm9f72Rb9L7DfrSwn_g0fKUad3WMiDk3-hIB2pT9uU6w3zp6aI16iZZJ4kYK3TXWuA18FFLSCnfcHErKqaGvFBTeDh-0gW_orDfvgYNz-hJlXRcuXUeC4EdcN3Gzk2qk5xfcXsroZRL_bzr6iW_fxbEkCCbHRgvHplVZfbPo9Sd2vLPjzVB7Xt5z-1vH7jcca_1uAWuRT3bFC7uwn_0Bu_T4FODN0Vo8E9pkhtYnQRnSb3UGd1OtmZ5izp7th9DNkxnA3qMOufM4QLsx9XJDVLeiZoL2xx8EZ4KJ-hdZ2hvK86jeUqHpnpp5VFuFs0662PALbj-ISn5j071k5ZhJ9gYdLq1-ps2sF2SGUfVDZFpQeoM5_4vC7fH8DmSY878DU7rAFFV--COYPissNHfPRP4h2CL_8v3n-VjyHQDnM2iyrhJCziPjo70Rzfef55r2tMHDuFBIyae_b58yPaTHlEGzWTEi6zSO43PAO2UpEGVOrPgxqCnpDH2fpB4wTAhn415UVHGY0nOEm0HnB6ENFoTOMA6wZ2wvTHqXQjrgnKyYDW1RmRCUzjr_gHcy5l4S_BT7E2P7dH5r9D2-Cf1sbvFLjJOigoQEhwZbARcm5iNWUxXqm_j83FiZ3sWIHuVkQ7SwIQh9DEfaN8Fnl3BnluwbzPkXSoxUH5qWP2tQMq_IVsZQMsZ1LrhKxe6fKxdo1l6jjJI0zBwlZ0KrTrhAPSjHqrvap56r6HYJwZwXmNwdKjFvBL3iIXQ2wUY2DRblMotfngJla7VjS8AZOUYxUbuV43z2uOFwIKdTEPQHBdaMHLRbPlA4W2xPHIzCzOjx8kIc5tymglRn14c-NpZJFz494W4LQGuOm6LEAK0nqlA6Pur6SRbPOCNZPqBK0fmztOceQ_VXPnVijyvKH2Zcvuy393jg5hBPAb9eBheNZrPb_11wWMZXLVZm5V-OgnTOGq6idXmRNec1_KQzjlTOSvdio11wViQ2L-g4X5rP5oQzw960_vdmT6GUzUkp_NinryXlJ1noy4z8JIufmTYzRl6qxY8R0GJmnf90CH-RxCFM_gwqHVmPVM5fN0RZkcZRfAn29uz7bEB4ZjK45II_kcq3n0N6eibygkUPT4pkKGnjJDKCd6Ukf3LPdKlDv_nsYZFNuGfTn0_iIksiaBG_teJe9KR48VIEZWX2ypcibsskMFoKpJEPDwe756ANVuZwZtZ3q6DRmYp44WS_LGLYC397P1nhverFi3qqlO0qeR9esBpuGiAZ4r9_2ezeSUN6YjacSgqDMLIYO02hdw-NhJpSyM6GeatpHOKhoqZTgtr0szvPf0BwVV6HZRZm-IpeB-s4jBLfD6Or43US-H4ZVRHyqzRKSFFGyRrFpCiSDEdxGF2xa-Sj2F-jOEiCMMpWaeinGKMoWAdJZMf6yKcNZnxl02IlVX3l3m9fB7GfRPEVxwXl2v2GBCFBv0J3FSAE4u2Vunavxouu1iDyOdNGT2IMM9z9-ASPP1SIt__F3wFcdYpf__F3_QMd99foPwEAAP__rAbqWQ">