[Bug gcov/profile/27738] error: coverage mismatch

2006-05-23 Thread mathieu dot lacage at sophia dot inria dot fr
--- Comment #3 from mathieu dot lacage at sophia dot inria dot fr 2006-05-23 12:05 --- yes, the -frandom-seed thing fixes the build. The speedup I get out of profile-drive optimization of the code for a static link is: no profile: 14.76s +/- 0.07 profile: 14.44s +/- 0.06 -- http://

[Bug gcov/profile/27738] error: coverage mismatch

2006-05-23 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2006-05-23 09:47 --- This is fixed in 4.2.0 I believe. Try using -frandom-seed=0 for both the -fprofile-generate and -fprofile-use compilations as workaround. *** This bug has been marked as a duplicate of 20815 *** -- rguenth at g

[Bug gcov/profile/27738] error: coverage mismatch

2006-05-23 Thread mathieu dot lacage at sophia dot inria dot fr
--- Comment #1 from mathieu dot lacage at sophia dot inria dot fr 2006-05-23 08:56 --- hrm, ok, I tried to reproduce the bug with less code involved. If you pull changeset 020b7defcc5f instead: hg clone http://yans.inria.fr/code/yans yans-buggy cd yans-buggy hg revert -r 020b7defcc5f a