[Bug libgomp/87140] Segmentation fault in priority_list_upgrade_task function when execution tasks with priority

[silvestri at diag dot uniroma1.it]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87140

Emiliano Silvestri <silvestri at diag dot uniroma1.it> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Emiliano Silvestri <silvestri at diag dot uniroma1.it> ---
The FIX proposed in the bug report works!