random_shuffle does not work for OMP_NUM_THREADS 1

[Vincenzo Innocente]

On Jul 4, 2008, at 4:05 PM, Paolo Carlini wrote:

> 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?
I actually observed with 4.3.0 and now repeated with 4.3.1

         vincenzo
>