aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKenneth Zadeck <zadeck@naturalbridge.com>2008-01-21 01:09:04 +0000
committerKenneth Zadeck <zadeck@gcc.gnu.org>2008-01-21 01:09:04 +0000
commit604f825c83f937b56207bca2fc92ef9d1442a8af (patch)
tree34817ae0d7214cecdea7de809447514732a843e1
parent4f8aaa248f043af987e300ef504c9f29a5bc07db (diff)
downloadgcc-604f825c83f937b56207bca2fc92ef9d1442a8af.zip
gcc-604f825c83f937b56207bca2fc92ef9d1442a8af.tar.gz
gcc-604f825c83f937b56207bca2fc92ef9d1442a8af.tar.bz2
install.texi: Add doc for --enable-checking=df.
2008-01-20 Kenneth Zadeck <zadeck@naturalbridge.com> * doc/install.texi: Add doc for --enable-checking=df. From-SVN: r131685
-rw-r--r--gcc/ChangeLog4
-rw-r--r--gcc/doc/install.texi4
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cc25fb7..f061381 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2008-01-20 Kenneth Zadeck <zadeck@naturalbridge.com>
+
+ * doc/install.texi: Add doc for --enable-checking=df.
+
2008-01-20 Kaz Kojima <kkojima@gcc.gnu.org>
PR rtl-optimization/34808
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index e8b9d4c..7ab605f 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1271,12 +1271,12 @@ checks available are @samp{yes} (most common checks
all), @samp{all} (all but @samp{valgrind}), @samp{release} (cheapest
checks @samp{assert,runtime}) or @samp{none} (same as @samp{no}).
Individual checks can be enabled with these flags @samp{assert},
-@samp{fold}, @samp{gc}, @samp{gcac} @samp{misc}, @samp{rtl},
+@samp{df}, @samp{fold}, @samp{gc}, @samp{gcac} @samp{misc}, @samp{rtl},
@samp{rtlflag}, @samp{runtime}, @samp{tree}, and @samp{valgrind}.
The @samp{valgrind} check requires the external @command{valgrind}
simulator, available from @uref{http://valgrind.org/}. The
-@samp{rtl}, @samp{gcac} and @samp{valgrind} checks are very expensive.
+@samp{df}, @samp{rtl}, @samp{gcac} and @samp{valgrind} checks are very expensive.
To disable all checking, @samp{--disable-checking} or
@samp{--enable-checking=none} must be explicitly requested. Disabling
assertions will make the compiler and runtime slightly faster but