bug in returning thread_num of ompt_get_task_info ?

Runtimes OpenMP
1

https://github.com/llvm-mirror/openmp/blob/master/runtime/src/ompt-specific.cpp#L400

From the spec:

444:16-17Version 5.0 rev 2, November 2017

  1. 16 If a non-NULL value was passed for thread_num, the value returned in *thread_num indicates the

  2. 17 number of the thread in the parallel region executing the task.

It should return thread_num of the thread in the team, not the gtid?

Yonghong