r122524 - in /branches/gcc-4_2-branch/gcc: Chan...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Sun Mar  4 10:05:44 2007
New Revision: 122524

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122524
Log:
	PR ada/26797
	* doc/invoke.texi (-O2): Document that Tree-VRP is not turned on
	for the Ada compiler.
ada/
	* lang.opt: Accept -ftree-vrp for Ada.
	* misc.c (OPT_ftree_vrp): New case.
	(gnat_post_options): Disable Tree-VRP unless explicitly turned on.


Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/ada/ChangeLog
    branches/gcc-4_2-branch/gcc/ada/lang.opt
    branches/gcc-4_2-branch/gcc/ada/misc.c
    branches/gcc-4_2-branch/gcc/doc/invoke.texi