From: Kenneth Zadeck Date: Mon, 21 Jan 2008 01:09:04 +0000 (+0000) Subject: install.texi: Add doc for --enable-checking=df. X-Git-Tag: releases/gcc-4.3.0~511 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=604f825c83f937b56207bca2fc92ef9d1442a8af;p=thirdparty%2Fgcc.git install.texi: Add doc for --enable-checking=df. 2008-01-20 Kenneth Zadeck * doc/install.texi: Add doc for --enable-checking=df. From-SVN: r131685 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cc25fb742414..f0613812b1e2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2008-01-20 Kenneth Zadeck + + * doc/install.texi: Add doc for --enable-checking=df. + 2008-01-20 Kaz Kojima PR rtl-optimization/34808 diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index e8b9d4cb5335..7ab605ff9e31 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