OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR lto/61868 (-frandom-seed always results in random_seed of 0)

Browse Source 
2014-07-31  Bingfeng Mei <bmei@broadcom.com>

	PR lto/61868
	* toplev.c (init_random_seed): Move piece of code never called to
	set_random_seed.
	(set_random_seed): see above.
	
	* gcc.dg/pr61868.c: New test.

From-SVN: r213321
This commit is contained in:
Bingfeng Mei 2014-07-31 08:50:50 +00:00 committed by Bingfeng Mei
parent 3e455386cf
commit a793528482
4 changed files with 31 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2014-07-31 Bingfeng Mei <bmei@broadcom.com>
PR lto/61868
* toplev.c (init_random_seed): Move piece of code never called to
set_random_seed.
(set_random_seed): see above.
2014-07-31 Tom de Vries <tom@codesourcery.com>
* tree-ssa-loop.c (pass_tree_loop_init::execute): Remove dead code.

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-07-31 Bingfeng Mei <bmei@broadcom.com>
PR lto/61868
* gcc.dg/pr61868.c: New test.
2014-07-30 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/57397

9
gcc/testsuite/gcc.dg/pr61868.c Normal file
View File

@ -0,0 +1,9 @@
/* { dg-do compile } */
/* { dg-options "-flto -frandom-seed=0x12345" } */
extern int foo (int);
int main ()
{
foo (100);
return 0;
}
/* { dg-final { scan-assembler "\.gnu\.lto.*.12345" } } */

20
gcc/toplev.c
View File

@ -282,16 +282,7 @@ init_local_tick (void)
static void
init_random_seed (void)
{
if (flag_random_seed)
{
char *endp;
/* When the driver passed in a hex number don't crc it again */
random_seed = strtoul (flag_random_seed, &endp, 0);
if (!(endp > flag_random_seed && *endp == 0))
random_seed = crc32_string (0, flag_random_seed);
}
else if (!random_seed)
if (!random_seed)
random_seed = local_tick ^ getpid (); /* Old racey fallback method */
}
@ -314,6 +305,15 @@ set_random_seed (const char *val)
{
const char *old = flag_random_seed;
flag_random_seed = val;
if (flag_random_seed)
{
char *endp;
/* When the driver passed in a hex number don't crc it again */
random_seed = strtoul (flag_random_seed, &endp, 0);
if (!(endp > flag_random_seed && *endp == 0))
random_seed = crc32_string (0, flag_random_seed);
}
return old;
}