[PATCH v2 3/3] Make exec-file-mismatch compare build IDs

[Pedro Alves]

On 5/21/20 3:23 PM, Philippe Waroquiers wrote:
> On Thu, 2020-05-21 at 15:02 +0100, Pedro Alves wrote:
>> It looks to me like GDB is doing the validation too soon.  It should figure out
>> that the local file changed, and thus reload it (the "re-reading symbols"), and only
>> after, should it do validation?  After re-reading, the build ids should match again.
>> Or do the "has changed, re-reading" thing earlier, but not sure that's practical.
> 
> Yes, doing the build-id comparison later should solve that behaviour.
> If you want, I can take a look at this, sometime this week-end probably.

That would be super!

Thanks,
Pedro Alves