diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2007-03-14 01:47:33 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2007-03-14 01:47:33 +0000 |
| commit | 403d4851227351c58de907237e6266b5e9956778 (patch) | |
| tree | 7bb58d1e7d3b351d0ff0600da13ca9d5dce8a865 /gcc/cp/repo.c | |
| parent | 481e0a49bb403b8bb01550e550f90ed2125b9e04 (diff) | |
| download | gcc-403d4851227351c58de907237e6266b5e9956778.zip gcc-403d4851227351c58de907237e6266b5e9956778.tar.gz gcc-403d4851227351c58de907237e6266b5e9956778.tar.bz2 | |
flags.h (flag_random_seed): Remove declaration, in favor of...
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.
From-SVN: r122901
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 2bf0303..a9b0852 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"); } |