this is just a reminder for myself and for these concerned with the issue.
To check OpenMP parallelized programs one has to run the compiler with
(bash) icc -tcheck -openmp -g
this produces an executable which runs with the special threadchecker openMP libraries instead of the normal ones. In particular, the value of OMP_NUM_THREADS is not respected. The report produced by the tcheck_cl program contains resolved line numbers and variable names.
Here is a question though: is it possible to run a tcheck instrumented OpenMP program with a number of threads different from two?