random_shuffle does not work for OMP_NUM_THREADS 1

[Paolo Carlini]

Hi

> 2) if not, how shall I submit a bug-report?

I don't think it's a known issue and I would suggest submitting a PR anyway, it will take you only a couple of minutes:

  http://gcc.gnu.org/bugzilla/

please add in CC: Johannes Singler  <singler@ira.uka.de>, the main author of the code.

By the way, I see that this patch went in just before the release of 4.3.1:

  http://gcc.gnu.org/ml/libstdc++/2008-06/msg00004.html

and I fear a regression... Do you have any data about 4.3.0? Or want to check what happens if you revert the above?

Many thanks in advance,
Paolo.