On 06/03/12 05:51, Xinliang David Li wrote:
On Fri, Dec 30, 2011 at 10:25 AM, Nathan Sidwell<nat...@acm.org> wrote:
I've committed this patch to fix and improve coverage reporting:
1) the time stamp local_tick will be -1 if the user overrides the random
seed. In such cases the gcov data file should be deleted, just as it would
if the time cannot be determined.
The end result is that after a the profile data is used in the
compilation (with option -fprofile-use -frandom-seed=), it is then
deleted. Is this intended? This basically makes FDO very hard to use
when -frandom-seed is used.
IIUC the file is deleted after being used. What is the problem you are
encountering? (if you are having a problem, that suggests others on systems
without local_tick are also having problems)
nathan
