[Bug gcov-profile/125281] existing profile reported as missing when source location changed

[christophe.pavageau at nokia dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125281

Christophe Pavageau <christophe.pavageau at nokia dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |christophe.pavageau at nokia 
dot c
                   |                            |om

--- Comment #1 from Christophe Pavageau <christophe.pavageau at nokia dot com> 
---
Created attachment 64440
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64440&action=edit
proposed patch