configure.in (enable_coverage): Remove -DSELF_COVERAGE, add -frandom-seed.

	* configure.in (enable_coverage): Remove -DSELF_COVERAGE, add
	-frandom-seed.
	* configure: Regenerated.
	* Makefile.in: Remove extraneous comment.
	* toplev.c (randomize): Protect against potential multiple calls.
	* doc/invoke.texi (-frandom-seed): Document use for in coverage
	files.

From-SVN: r69039

gcc/ChangeLog

+2003-07-07  Nathan Sidwell  <nathan@codesourcery.com>
+
+	* configure.in (enable_coverage): Remove -DSELF_COVERAGE, add
+	-frandom-seed.
+	* configure: Regenerated.
+	* Makefile.in: Remove extraneous comment.
+	* toplev.c (randomize): Protect against potential multiple calls.
+	* doc/invoke.texi (-frandom-seed): Document use for in coverage
+	files.
+
 2003-07-07  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
             Eric Botcazou  <ebotcazou@libertysurf.fr>
 

gcc/Makefile.in

@@ -123,8 +123,7 @@ BOOT_CFLAGS = -g -O2
 
 # Flags to determine code coverage. When coverage is disabled, this will
 # contain the optimization flags, as you normally want code coverage
-# without optimization. The -dumpbase $@ makes sure that the auxilary
-# files end up near the object files.
+# without optimization.
 COVERAGE_FLAGS = @coverage_flags@
 coverageexts = .{da,bbg}
 

gcc/configure.in

@@ -430,10 +430,10 @@ AC_ARG_ENABLE(coverage,
 			  default is noopt],
 [case "${enableval}" in
 yes|noopt)
-	coverage_flags="-fprofile-arcs -ftest-coverage -O0 -DSELF_COVERAGE=1"
+	coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O0"
 	;;
 opt)
-	coverage_flags="-fprofile-arcs -ftest-coverage -O2 -DSELF_COVERAGE=2"
+	coverage_flags="-fprofile-arcs -ftest-coverage -frandom-seed=\$@ -O2"
 	;;
 *)
 	AC_MSG_ERROR(unknown coverage setting $enableval)

gcc/doc/invoke.texi

@@ -3323,8 +3323,11 @@ Dump after function inlining, to @file{@var{file}.inlined}.
 @item -frandom-seed=@var{string}
 @opindex frandom-string
 This option provides a seed that GCC uses when it would otherwise use
-random numbers.  At present, this is used to generate certain symbol names
-that have to be different in every compiled file.
+random numbers.  It is used to generate certain symbol names
+that have to be different in every compiled file. It is also used to
+place unique stamps in coverage data files and the object files that
+produce them. You can use the @option{-frandom-seed} option to produce
+reproducibly identical object files.
 
 The @var{string} should be different for every file you compile.
 

gcc/toplev.c

@@ -1600,7 +1600,7 @@ randomize (void)
       sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
       flag_random_seed = random_seed;
     }
-  else
+  else if (!local_tick)
     local_tick = -1;
 }