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

    <tr>
        <th>Summary</th>
        <td>
            Assertion failure in kmp_dispatch
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          alban-bridonneau-arm
      </td>
    </tr>
</table>

<pre>
    I have observed an assertion failure in openmp, while running a benchmark. I have extracted a reproducer which triggers the assert reliably.
`
void  main (int argc, char *argv[]) {
  long __trans_tmp_1 = 4.0;
  omp_set_num_threads (__trans_tmp_1);
  while(1)
  {
        #pragma omp parallel for schedule(dynamic)
        for (long pidx = 0; pidx < 10.0; pidx++)
          ;
  }
}
`
I have compiled that code with 
`
bin/clang -fopenmp -fopenmp-version=50 -mcpu=native kmp_assert_static_steal_reproducer.c -o kmp_assert_static_steal_reproducer
`
This was tested on AArch64, i don't know if it shows on other platforms.
The error message is as follows:
`
OMP: Error #13: Assertion failure at kmp_dispatch.cpp(1298).
OMP: Hint Please submit a bug report with this message, compile and run commands used, and machine configuration info including native compiler and operating system versions. Faster response will be obtained by including all program sources. For information on submitting this issue, please see https://bugs.llvm.org/.
Aborted (core dumped)
`
As far as I can see, this is one of several assert which have been revealed after the following patch landed:
https://reviews.llvm.org/D103648
Finally, i observed while making the reproducer that the types are important to the issue. When I changed the long type to int/float, i could no longer see the issue.

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNVU1v4zgM_TXOhYjh2PloDjmk0y12DoudwwJ7DGhZsbWVJUOSk8m_3yfZadPOZYIgkWSKfOR7pGvb3A7fqeOLJFt76S6yITbEHuugrKEzKz06ScqQHaTph6z8RtdOaUluNEaZlphqaUTXs3vLaXYmfwbHIkRv5OTgbDMK6eJF0VFwqm2l8xQ6OYeCkVZc61ueFS9Zccy2xbS4WNUQ9Yz4WfmkTCB2rYggRMcOZ0fsL9nmOdu8ZOWest3zdJFIW4A7nQDE-FPoh9OKsuqF1nmRVe9GFudehpMZ-1PonOTGx0CfrsHvw42UPEzS8Xz2EHX6ZGU1OG57jgFoYMdaS01n68iLTjZjctHcDPdKPDiaPtEMj1MCg2p-JtwR9X33jVZF_n6Qlc_p-8ULUHygznYvc2XfF_cSz5QJIEVmDVjhgF0j6apCR1-sa2Wy8lVoBrbledLE-2J5Aa2QDfBuClr2YhixNBwUAryhlhPbJx9wJPAnWZ8-9JELWtrfsPsC6Z9Oeboy9CR9lBxkezw60W3XUSeKGgAqd4HejL2SOpMK5Dt79dHQQoOOBs0BRe99fvcICTsHGnrpPbfQv4dSQYzWuJhVxy8Q_v7rBw7pj3QH5K-quD3-0kaobEyvUX7gILpcDEOUUrl_An35J19_RrH_0JK9JD_WPVCj08Y29pNFxyRyQkx9xpiaYiIRPdzE_oz7HmtPo5dNNIgPehadMpFxc1bt6DhBVOZs8SP02MSunkmbHbp0ESRHYzz1N1S6p5lun9Mr48ABmx-wj9LRGnMBUyWgd0FKfXtwjm4gkNk67snb0QkZXaB0EYTrJ0D4TnmniClT5f2Y8hzmukhJXQhDYqR8xRcF8rnWlz63rsV-rumxRsmAAsUWFjw0Yz_Eguy_8HgExxgroPo7CQxCBIjh5uCAhIzOOEXirO-za5pqqYlqKQ2KcIFe4-w7x5rEKTcJJ-aReCe0T4P4dx19zgH3lbx-SuNlVVTb9dNk_aoMCnibxP0-tqeh3PPbVC35OHdTS8ezcBsklBwHeh9VxNBYsOlRqm1O_3bI4HucrqZNw0BOgzTejKZQJfCcteUwARB21A0Zm8wQK3Ly4W9CvGgOVbOv9rwIKmh5-LUxMN8fG2MxOn34XJUWeh_rHILEJpZm_lsiy_-kiKhSSI_FZr0uy0V3KFZVeRbVfseb7YrrWux2-5UQ1WZTyWZdnReaa6n9Ib4_ytLI611hJV4nC3Uoi7IsqtVutSt3m21eVDsuS25KIZ62m7rK1oXEq0m_M7VwhwQpqhAPtfLhg8YF5KJaI-Vhel0teAyddQfWNZtl7RTmlJE8Ltn1i4TjkPL4H4jfgz4">