Make pretty printers version namespace dependant

[François Dumont]

On 28/04/2017 13:38, Jonathan Wakely wrote:
> On 28/04/17 09:41 +0100, Jonathan Wakely wrote:
>> On 27/04/17 21:27 +0200, François Dumont wrote:
>>> Oh, I thought it was obviously better to not register useless 
>>> Printers. But if you need a bug report or an explicit test showing 
>>> that it is better then I don't have it. Maybe a gdb guy could tell 
>>> us if it worth it.
>>
>> I think I've asked t he GDB guys before about the overhead of
>> printers, but I'll check with them. I don't think having extra
>> printers registered is a problem (GDB is usually an interactive
>> program, so the time it takes to find a printer is not significant on
>> "human scales").
>
> There's a downside to this change as well:
>
> Currently you can take the libstdc++-*-gdb.py and printers.py files
> and use them with any libstdc++.so, e.g. you could take the latest
> printers from GCC trunk, and use it with an older libstdc++.so
> installed on your system.
>
> If we make this change, that will only work if the gdb.py file matches
> the same configuration as the libstdc++.so.* file your program is
> linked to. This isn't a serious problem, because the gdb.py file
> doesn't change often, and you could still take a new printers.py file.
> It's something to consider though.
>
Good point, I will only commit the test fix then.

Thanks,

François