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

    <tr>
        <th>Summary</th>
        <td>
            [flang][OpenMP] compiler crash on declare reduction
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            crash,
            flang:openmp
      </td>
    </tr>

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

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

<pre>
    This results in a compiler crash. We should have a "not yet implemented" message until declare reduction is fully supported

```
subroutine test_decl
  integer :: my_add_red
  !$omp declare reduction(my_add_red : integer : my_add_red(omp_out, omp_in)) &
  !$omp& initializer(omp_priv=0)
end subroutine
```

```
fatal internal error: CHECK(context.location().has_value()) failed at /home/tomecl01/llvm-project/flang/lib/Semantics/expression.cpp(4852)
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /path/bin/flang -fc1 -triple aarch64-unknown-linux-gnu -emit-obj -mrelocation-model pic -pic-level 2 -pic-is-pie -target-cpu generic -target-feature +outline-atomics -target-feature +v8a -target-feature +fp-armv8 -target-feature +neon -fopenmp -resource-dir /home/tomecl01/build/release-assertions/lib/clang/20 -mframe-pointer=non-leaf -o /tmp/declare_reduction-9e6423.o -x f95-cpp-input /tmp/declare_reduction.f90
 #0 0x0000adcd77e14c40 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/tomecl01/build/release-assertions/bin/flang+0x2f54c40)
 #1 0x0000adcd77e12abc llvm::sys::RunSignalHandlers() (path/bin/flang+0x2f52abc)
 #2 0x0000adcd77e154ac SignalHandler(int) Signals.cpp:0:0
 #3 0x0000e1b075b3f8f8 (linux-vdso.so.1+0x8f8)
 #4 0x0000e1b0754c7628 (/lib/aarch64-linux-gnu/libc.so.6+0x87628)
 #5 0x0000e1b07547cb3c raise (/lib/aarch64-linux-gnu/libc.so.6+0x3cb3c)
 #6 0x0000e1b075467e00 abort (/lib/aarch64-linux-gnu/libc.so.6+0x27e00)
 #7 0x0000adcd798012b4 (path/bin/flang+0x49412b4)
 #8 0x0000adcd789decac (path/bin/flang+0x3b1ecac)
 #9 0x0000adcd78a82350 Fortran::semantics::ScopeHandler::MakeNumericType(Fortran::common::TypeCategory, std::optional<Fortran::parser::KindSelector> const&) (path/bin/flang+0x3bc2350)
#10 0x0000adcd78acf65c std::enable_if<WrapperTrait<Fortran::parser::IntegerTypeSpec>, void>::type Fortran::parser::Walk<Fortran::parser::IntegerTypeSpec, Fortran::semantics::ResolveNamesVisitor>(Fortran::parser::IntegerTypeSpec const&, Fortran::semantics::ResolveNamesVisitor&) (path/bin/flang+0x3c0f65c)
#11 0x0000adcd78acd438 void Fortran::common::log2visit::Log2VisitHelper
[...]
#15 0x0000adcd78aa5834 Fortran::semantics::ResolveNamesVisitor::Pre(Fortran::parser::SpecificationPart const&) (/home/tomecl01/build/release-assertions/bin/flang+0x3be5834)
#16 0x0000adcd78aa87f8 Fortran::semantics::ResolveNamesVisitor::ResolveSpecificationParts(Fortran::semantics::ProgramTree&) (path/bin/flang+0x3be87f8)
#17 0x0000adcd78aa85e0 Fortran::semantics::ResolveNamesVisitor::Pre(Fortran::parser::ProgramUnit const&) (path/bin/flang+0x3be85e0)
[...]
flang-20: error: unable to execute command: Aborted (core dumped)
flang-20: error: flang frontend command failed due to signal (use -v to see invocation)
flang version 20.0.0git (git@github.com:llvm/llvm-project.git 7ec32094933bbf0201ea0670209c090a00bf8d83)
Target: aarch64-unknown-linux-gnu
Thread model: posix
InstalledDir: path/bin
Build config: +assertions
flang-20: warning: OpenMP support in flang is still experimental [-Wexperimental-option]
flang-20: note: diagnostic msg: 
```

Reproduce with `flang -fopenmp file.f90`
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykWFtzozoS_jXySxeUEGDDgx9yGdecOpedmmR3HlNCNFhnhERJwpPsr98SYMc4Ge9mtioXkLq_vkvdcOdkqxG3JL8l-f2KD35v7NZXiu9Xlalfto976cCiG5R3IDVwEKbrpUILwnK3j-EbgtubQdWw5wcEDoQxbTy8oAfZ9Qo71B5rwhh06BxvEQbtpYIaheIWwWI9CC-NBumgGZR6ATf0vbGBi94TejP_XdP5Z3x1Q2XN4KVG8Oj8U4CbdgCk9tiiBZLekPQGupcnXtdP9ogHQFhCWGa6_q0WhBWv9AHhHO0cihWm65_M4Am7g_AoNWElYSUQtn4jiLA1SC295Er-G-3M3Vt5IOk9DYwjB-oaXi171_B3FxvuuRo1tZorQGuNDfreff509zthhTDa47OPlRF8tpKwMt5z93TgasDpPSjfcKmwBu6BsN3edEjYzpsOhaIJYTulDl3UW_M3Ck_YrlFct2FZVoTtHrDj2kvhCNvhc2_ROWl0LPqesCIrcnay88sfn24ePgVTO-mBQzW0YDEEHbyBvfe9C8FjO8J2rfT7oYqF6Wb5b9WQzg0YpALXNUgt1FAj-D1OWQoVF9-95QLjSfyD5-I71EPXBynjEo0JLb9Y01reAbftEPI2KBH80HO_J2xXhRBPNkPUiAQib2WvEDi3Yr_OokF_1-aHjpTUw3PU6gEi7KSPTPU3RJ3Fo_ujztSooJcCol6KSOEBFbDpRbqolwiR57ZFH4l-gBY12kA8rzXI_WARCLs1g1dSY8S96aRw75EcCv7ectNH3HaH4r09jUZD1JgedddDZNGZwQqMamnfz4tqkKombGdRIXcYcefQBlPdKTvEnCuMQtQ1lncY9WZMWZLea6MjhbyByAQBPlTMbi7Op1NxRiWuM5bGBqJnaMo8En0fSd0P_gpT3JRzlQBhKQX6TCmlvBb1ZoNJJjIKY1aNh4V7cdPDFyu1H_PkMSQOYcUrkeU_nozzFnkXap3dhcqbKr_4uHfOsoqwW_rMmjwodaqVoHVyoTXjlXhP66-DfpCt5uoz17VC66bCDoq9zeGjtAC2kMYupOUZF7DAJayYTZ6W3Vjk6Q0df09A6QyESUU3eZU2RVMEXab6ONTOxM7EyahI0RQLJbIFbyY2a1bMDp7y6Vh0p2KbdkSAXE-QgWcBmi9BN6JKBVguHX4QOg2cC-j1Enq9QUqBV-FI-xg0C5wL6M15PMqCJqzKroQ0K7NAsYAoziGKskbBxRWItEoCxQKiXEDwgqU5hZ2x3nI9p-Hp_B9fH4Tp8Zgw48qf_Dv-NXThLHt86UNRLfiF6TozP4f9O-6xNfYlVJjz9bRh-lA4XJH0bsHcc-uOcn6Xun5AhcKHa_ATCKOdH0v1WimklQg2nYwOdUeXRotmnYtXXVDzSuGTbEh6983yvkf7aLn013T7bWongn0PPQqSfgrmHYysw-NI4l96hJ8CfOPq-0cEsLurUfqKzqgD_sU7dP-STk4uuwzNFQFn3v24pP8aE0GDyxcxSS5iUmdpMToQfppNyrTsEEROr3-Ylo0afEbVo52h89s4jkl-_yopX0rieZFmH3fmdJ28yfZzlwY_ykZO3cEXbv1lyv7_10paYVB_4cn1hX3Fpil-zb55440d7tLqC8C543q0iP9DfWJQcGHB5tKCHK8fSr8aoVnRf2r5JjZX1M3x7DhZ5tdIGLFwY77268N4oIQeGJ9RDB7DvNVxHc4buKnGoQjGft7i2L-GQaS8Ajg1q40N_b-uj2jHLr8eRlluvMMD7uAQosO4hghSH07zwrkQOKANnT0wGtOYtnK84lrpSUbPuvX05p1uPQ7UGxQpo2VWpmlVNZTRBDldbyijpaAl5ZRWTVEX6Uns49ihBoN-2mrPhHuLvIaxvw7kvXHyedr6TTvPlcL6Xo6uOQvbuH8bqinEtpHt1PffnhXUGxf_4FZLPVL-o0f955fj2Brm5MlN0oHzUinA5x6tDBNFcHN-G307X4mmK-3dzNDGY_hfS95q47wU0LlJvZ8Ph1-xt6YeBMIP6fdA1vQ4s8wNfSMVjm3xmq7qbVqXaclXuE02rKSbNMnT1X6bVHWW5HWWUp6W62TdFE2zoYVIMK2aIsOV3DLKsoQm64TSPE9jzlhBy6phDc3WgpYko9hxqeIQ_9jYdjXOadskYXnCVopXqNz47YGxcU4jjBF2Rxibiijc9UHdsJzfr-x2zKNqaB3JqJLOu1dkL70av2NMrPk9yW-nsJD8_uKjBRj9du5fDVZtf33wnG06bNl_AgAA___UUmnd">