Re: [PATCH] libgcov: report about a different timestamp (PR gcov-profile/85759).

2018-05-29 Thread Nathan Sidwell
On 05/29/2018 05:32 AM, Martin Liška wrote: Hi. As showed twice in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85759 it's quite problematic when a profile data file is overwritten for a different compilation unit. I believe it's not intentional in most cases and it deserves an error message i

[PATCH] libgcov: report about a different timestamp (PR gcov-profile/85759).

2018-05-29 Thread Martin Liška
Hi. As showed twice in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85759 it's quite problematic when a profile data file is overwritten for a different compilation unit. I believe it's not intentional in most cases and it deserves an error message in libgcov. Moreover, to be really sure we don