mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-29 14:31:27 +08:00
c800f86287
2009-04-07 Robert Dewar <dewar@adacore.com> * checks.adb (Determine_Range): Add Assume_Valid parameter * checks.ads (Determine_Range): Add Assume_Valid parameter * errout.adb (Error_Msg_NEL): Use Suppress_Loop_Warnings rather than Is_Null_Loop to suppress warnings in a loop body. * exp_ch4.adb: (Rewrite_Comparison): Major rewrite to accomodate invalid values * exp_ch5.adb: (Expand_N_Loop_Statement): Delete loop known not to execute * opt.ads: (Assume_No_Invalid_Values): Now set to False, and as documented, this fully enables the proper handling of invalid values. * sem_attr.adb: New calling sequence for Is_In_Range * sem_ch5.adb: (Analyze_Iteration_Scheme): Accomodate possible invalid values in determining if a loop range is null. * sem_eval.adb: (Is_In_Range): Add Assume_Valid parameter (Is_Out_Of_Range): Add Assume_Valid_Parameter (Compile_Time_Compare): Major rewrite to accomodate invalid values and also to do more accurate and complete range analysis, catching more cases. * sem_eval.ads: (Is_In_Range): Add Assume_Valid parameter (Is_Out_Of_Range): Add Assume_Valid_Parameter * sem_util.adb: New calling sequence for Is_In_Range * sinfo.adb: (Suppress_Loop_Warnings): New flag * sinfo.ads: (Is_Null_Loop): Update documentation (Suppress_Loop_Warnings): New flag * gnat_ugn.texi: Document -gnatB switch From-SVN: r145672
This directory contains the GNU Compiler Collection (GCC). The GNU Compiler Collection is free software. See the file COPYING for copying permission. The manuals, and some of the runtime libraries, are under different terms; see the individual source files for details. The directory INSTALL contains copies of the installation information as HTML and plain text. The source of this information is gcc/doc/install.texi. The installation information includes details of what is included in the GCC sources and what files GCC installs. See the file gcc/doc/gcc.texi (together with other files that it includes) for usage and porting information. An online readable version of the manual is in the files gcc/doc/gcc.info*. See http://gcc.gnu.org/bugs.html for how to report bugs usefully.