Re: Update dg-extract-results.* from gcc

[Pedro Alves <palves@redhat.com>]

On 07/20/2018 12:02 PM, Rainer Orth wrote:
> When looking at the gdb.sum file produced by dg-extract-results.sh on
> Solaris 11/x86, I noticed some wrong sorting, like this:
> 
> PASS: gdb.ada/addr_arith.exp: print something'address + 0
> PASS: gdb.ada/addr_arith.exp: print 0 + something'address
> PASS: gdb.ada/addr_arith.exp: print something'address - 0
> PASS: gdb.ada/addr_arith.exp: print 0 - something'address
> 
> Looking closer, I noticed that while dg-extract-results.sh had been
> copied over from contrib in the gcc repo, the corresponding
> dg-extract-results.py file had not.  The latter not only fixes the
> sorting problem I'd observed, but is also way faster than the shell
> version (like a factor of 50 faster).

We used to have the dg-extract-results.py file, but we deleted it
because it caused (funnily enough, sorting) problems.  See:

  https://sourceware.org/ml/gdb-patches/2015-02/msg00333.html

Has that sorting stability issue been meanwhile fixed upstream?

Thanks,
Pedro Alves