diff options
author | aoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-14 01:47:33 +0000 |
---|---|---|
committer | aoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-14 01:47:33 +0000 |
commit | b6c1bd727a489a6b86c231d03211065cf877e01d (patch) | |
tree | 7bb58d1e7d3b351d0ff0600da13ca9d5dce8a865 /gcc/cp/repo.c | |
parent | 3752d411e936f7ff076af47ab768c7aab1951908 (diff) | |
download | gcc-b6c1bd727a489a6b86c231d03211065cf877e01d.tar.gz |
gcc/ChangeLog:
* flags.h (flag_random_seed): Remove declaration, in favor of...
* toplev.h (get_random_seed, set_random_seed): ... these.
* tree.c (get_file_function_name): Use the former.
* opts.c (common_handle_option): Use the latter.
* toplev.c
gcc/cp/ChangeLog:
* cp/repo.c (init_repo): Initialize random_seed saved options.
(finish_repo): Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@122901 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cp/repo.c')
-rw-r--r-- | gcc/cp/repo.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/cp/repo.c b/gcc/cp/repo.c index 2bf0303302f..a9b08520d6e 100644 --- a/gcc/cp/repo.c +++ b/gcc/cp/repo.c @@ -1,6 +1,6 @@ /* Code to maintain a C++ template repository. - Copyright (C) 1995, 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2005 - Free Software Foundation, Inc. + Copyright (C) 1995, 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2005, + 2006, 2007 Free Software Foundation, Inc. Contributed by Jason Merrill (jason@cygnus.com) This file is part of GCC. @@ -203,6 +203,10 @@ init_repo (void) obstack_free (&temporary_obstack, buf); } fclose (repo_file); + + if (old_args && !get_random_seed (true) + && (buf = strstr (old_args, "'-frandom-seed="))) + set_random_seed (extract_string (&buf) + strlen ("-frandom-seed=")); } static FILE * @@ -250,7 +254,7 @@ finish_repo (void) anonymous namespaces will get the same mangling when this file is recompiled. */ if (!strstr (args, "'-frandom-seed=")) - fprintf (repo_file, " '-frandom-seed=%s'", flag_random_seed); + fprintf (repo_file, " '-frandom-seed=%s'", get_random_seed (false)); fprintf (repo_file, "\n"); } |