* builtins.def (va_start, va_end, va_copy): Mark nothrow.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146113 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch9.adb: Comment improvements.
(Build_Entry_Family_Name): Add parentheses around the index of a entry
family member.

2009-04-15  Bob Duff  <duff@adacore.com>

* sem_warn.adb (Check_Infinite_Loop_Warning): Catch cases like
"while X /= null loop" where X is unchanged inside the loop. We were
not warning in this case, because of the pointers -- we feared that the
loop variable could be updated via a pointer, if there are any pointers
around the place. But that is impossible in this case.

* sem_util.adb (May_Be_Lvalue): This routine was overly pessimistic in
the case of dereferences. In X.all, X cannot be an l-value. We now
catch that case (and implicit dereferences, too).

2009-04-15  Vincent Celier  <celier@adacore.com>

* sinput-p.ads, sinput-p.adb (Clear_Source_File_Table): New procedure

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Is_Actual_Of_Previous_Formal): Make fully recursive.
From code reading.
(Analyze_Package_Instantiation): If generic unit in child instance is
the same as generic unit in parent instance, look for an outer homonym
to locate the desired generic.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146112 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Bob Duff  <duff@adacore.com>

* sem_ch5.adb (Analyze_Loop_Statement): Don't check for infinite loop
warnings unless the loop comes from source, because checking generated
loops is a waste of time, and makes it harder to debug
Check_Infinite_Loop_Warning.

* sem_warn.adb (Check_Infinite_Loop_Warning): If the local variable
tested in the while loop is a renaming, do not warn. Otherwise, we get
false alarms, because it's usually renaming something that we can't
deal with (an indexed component, a global variable, ...).

* gnat_rm.texi: Fix typo

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* sem_ch6.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146111 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Expand_Ctrl_Function_Call): Check for the case where the
immediate parent of the controlled function call is a component
association.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): If the type is tagged, indicate that the
corresponding class-wide type is also in use.

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* frontend.adb: Minor comment fix

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146110 138bc75d-0d04-0410-961f-82ee72b054a4

Reorganize code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146109 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* gnatchop.adb (BOM_Length): New global variable
(Write_Unit): Add new parameter Write_BOM
(Write_Chopped_Files): Check for BOM and set Write_BOM for call
to Write_Unit

* gnat_ugn.texi: Add note on propagation of BOM by gnatchop

2009-04-15  Geert Bosch  <bosch@adacore.com>

* system-mingw-x86_64.ads, system-darwin-x86_64.ads
(Backend_Overflow_Checks): Set to True.

2009-04-15  Gary Dismukes  <dismukes@adacore.com>

* par-ch3.adb (P_Type_Declaration): Issue an error if the synchronized
keyword is given in a record extension.

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Expand_Ctrl_Function_Call): Procede with the expansion
of a controlled function call in the context of a record aggregate.
This does not apply to array aggregates since the call will be expanded
into assignments.

2009-04-15  Ed Falis  <falis@adacore.com>

* s-osinte-vxworks-kernel.adb, s-osinte-vxworks.adb,
s-osinte-vxworks.ads s-vxwext.ads, s-vxwext-kernel.adb,
s-vxwext-kernel.ads: Reorganize s-osinte-vxworks* and s-vxwext*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146108 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/Makefile.in: Reorganization of s-osinte-vxworks*
and s-vxwext*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146107 138bc75d-0d04-0410-961f-82ee72b054a4

Fix formatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146106 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Unchecked_Conversions): Store source location instead
of node for location for warning messages.

* gnatchop.adb: Minor reformatting

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb: additional guard for renaming declarations for in
parameters of an array type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146105 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb (Get_Static_Length): Go to origin node for array bounds
in case they were rewritten by expander (Force_Evaluation).

* targparm.adb (Get_Target_Parameters): Correct check for
Suppress_Exception_Locations.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call): If an in-parameter in a call to be
inlined  is of an array type that is not bit-packed, use a renaming
declaration to capture its value, rather than a constant declaration.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146104 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* rtsfind.adb: Minor reformatting.

2009-04-15  Emmanuel Briot  <briot@adacore.com>

* prj-part.adb, prj-tree.adb, prj-tree.ads (Restore_And_Free): renames
Restore, and free the saved context.

2009-04-15  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Analyze_Private_Extension_Declaration): Move error check
for illegal private extension from a synchronized interface parent in
front of check for illegal limited extension so that limited extension
from a synchronized interface will be rejected.
(Check_Ifaces): Check that a private extension that has a synchronized
interface as a progenitor must be explicitly declared synchronized.
Also check that a record extension cannot derive from a synchronized
interface.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146103 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Pascal Obry  <obry@adacore.com>

* adaint.h (__gnat_unlink): Add spec.
(__gnat_rename): Likewise.

2009-04-15  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb: Minor spelling error corrections in error messages

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Minor comment update

* opt.ads: Minor comment updates

* checks.adb (Enable_Overflow_Check): Do not set Do_Overflow_Check for
modular type.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* exp_disp.ads, exp_disp.adb (Register_Primitive): Is now a function
that generates the code needed to update a dispatch table when a
primitive operation is declared with a subprogram body without previous
spec. Insertion of the generated code is responsibility of the caller.
(Make_DT): When building static tables, append the code created by
Register_Primitive to update a secondary table after it has been
constructed.

* exp_ch3.adb, exp_ch6.adb: use new version of Register_Primitive.

* sem_disp.adb (Check_Dispatching_Operation): Call Register_Primitive
on an overriding operation that implements an interface operation only
if not building static dispatch tables.

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* a-caldel-vms.adb (To_Duration): Declare a "safe" end of time which
does not cause overflow when converted to Duration. Use the safe value
as the maximum allowable time delay..

2009-04-15  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Set_Command_Line): When adding a switch with attached
parameter, specify that the delimiter is NUL, otherwise "-j2" will be
translated to "-j 2".

2009-04-15  Bob Duff  <duff@adacore.com>

* rtsfind.adb (Maybe_Add_With): Split out procedure to add implicit
with_clauses, to avoid code duplication. Change this processing so we
always add a with_clause on the main unit if needed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146102 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Pascal Obry  <obry@adacore.com>

Add support for Win32 native encoding for delete/rename routines.

* adaint.c (__gnat_unlink): New routine.
(__gnat_rename): New routine.
Simple wrapper routines used to convert to proper encoding on
Windows.

* s-os_lib.adb: Use __gnat_unlink and __gnat_rename instead of direct
call to the C library.

* g-sercom-mingw.adb, s-win32.ads: Update Win32 binding.

2009-04-15  Robert Dewar  <dewar@adacore.com>

* s-tassta.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146101 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* frontend.adb (Frontend): Set proper default for
Warn_On_Non_Local_Exception.

* opt.ads (Exception_Handler_Encountered): New flag
(No_Warn_On_Non_Local_Exception): New flag

* par-ch11.adb (P_Exception_Handler): Set Exception_Handler_Encountered

* sem_warn.adb (Set_Warning_Switch): Set No_Warn_On_Non_Local_Exception
(Set_Dot_Warning_Switch): Set No_Warn_On_Non_Local_Exception

2009-04-15  Cyrille Comar  <comar@adacore.com>

* s-tassta.adb, a-exextr.adb, a-elchha.adb
(Ada.Exception.Last_Chance_Handler): Do not print unhandled exception
message when exception traces are active since it would generate
redundant information.
(Exception_Traces.Notify_Exception): put message output by a critical
section to avoid unsynchronized output.
(Trace_Unhandled_Exception_In_Task): put message output by a critical
section to avoid unsynchronized output.

2009-04-15  Emmanuel Briot  <briot@adacore.com>

* g-comlin.adb, prj-tree.adb, prj-tree.ads, prj.adb, prj.ads
(Free): New subprogram.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146100 138bc75d-0d04-0410-961f-82ee72b054a4

Refine previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146099 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb: Add new constant Nanos_In_Four_Years.
(Formatting_Operations.Time_Of): Change the way four year chunks of
nanoseconds are added to the intermediate result.

2009-04-15  Nicolas Setton  <setton@adacore.com>

* sysdep.c: Add __APPLE__ in the list of systems where get_immediate
does not need to wait for a carriage return.

2009-04-15  Tristan Gingold  <gingold@adacore.com>

* bindgen.adb: Do not generate adafinal if No_Finalization restriction
is set.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Entity): improve error message for improper use of
incomplete types.
Diagnose additional illegal uses of incomplete types in formal parts.
appearing in formal parts.

* sem_ch6.adb (Process_Formals, Analyze_Return_Type): ditto.

2009-04-15  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Install test for object too large.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146098 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Nicolas Roche  <roche@adacore.com>

* adaint.c: Add function __gnat_lwp_self that retrieves the LWP of the
current thread.

* s-osinte-linux.ads: Import the __gnat_lwp_self function as lwp_self

* s-taprop-linux.adb (Enter_Task): Store the LWP in the TCB

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146097 138bc75d-0d04-0410-961f-82ee72b054a4

    * gcc-interface/Make-lang.in: Update dependencies.

        * gcc-interface/Makefile.in: Fix VxWorks target pairs.
        Update xenomai target pairs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146096 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb: improve error message on exponentiation.

2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb: Move constant Epoch_Offset from package
Conversion_Operations to top level.
(Delay_Operations.To_Duration): Define a constant which represents
"end of time" and use it as a guard against very distant delay dates.
Protect the code against overflow when performing the origin shift to
Unix time.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146095 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: Minor reformatting.

* sem_type.adb: Minor reformatting

2009-04-15  Javier Miranda  <miranda@adacore.com>

* sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Add missing
support to check eliminated subprograms.

* sem_elim.ads (Eliminate_Error_Msg): Update documentation.

* sem_elim.adb (Set_Eliminated): Add support for elimination of
dispatching subprograms.

* exp_disp.adb (Make_DT): Minor code cleanup when freezing primitive
operations. Initialize with "null" the slots of eliminated dispaching
primitives.
(Write_DT): Add output for eliminated primitives.

* sem_disp.adb (Check_Dispatching_Call): Check eliminated primitives.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146093 138bc75d-0d04-0410-961f-82ee72b054a4

./
* config/rs6000/rs6000.c (rs6000_init_builtins): Set TYPE_NAME of
our distinct integral and vector types.
testsuite/
* g++.dg/ext/altivec-17.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146092 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): If both clauses appear on the same unit,
the second is redundant, regardless of scopes.

2009-04-15  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Get_Directories): Check for sources before checking
the object directory as when there are no sources, they may not be any
object directory.

* make.adb (Gnatmake): Do not attempt to get the path name of the exec
directory, when there are no exec directory.

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_type.adb (Remove_Conversions): In order to resolve spurious
ambiguities, refine removal of universal interpretations from complex
expressions with literal arguments, when some numeric operators have
been declared abstract.

2009-04-15  Ed Falis  <falis@adacore.com>

* init.c: Map SIGSEGV to Storage_Error for all targets for uniformity
and backward compatibility for targets using probing for stack overflow

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case 'Obsolescent): Pragma is legal
after any declaration, including renaming declarations.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146091 138bc75d-0d04-0410-961f-82ee72b054a4

    * gcc-interface/Make-lang.in: Update dependencies.

        * gcc-interface/Makefile.in: Fix VxWorks target pairs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146090 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Code cleanup.

* sem_ch6.adb (Check_Anonymous_Return): Add missing support for
functions returning anonymous access to class-wide limited types. Mark
also the containing scope as a task master.

* sem_ch8.adb (Restore_Scope_Stack): Add missing management for
limited-withed packages. Required to restore their visibility after
processing packages associated with implicit with-clauses.

* exp_ch3.adb (Build_Class_Wide_Master): Avoid marking masters
associated with return statements because this work is now done by
Check_Anonymous_Return.
(Build_Master): Code cleanup.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146089 138bc75d-0d04-0410-961f-82ee72b054a4

* gnat.dg/sync1.ads: Fix error now flagged by gnat.
* gnat.dg/specs/limited1.ads: Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146088 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Rafael Avila de Espindola  <espindola@google.com>

* class.c (build_vtbl_ref_1): Remove call to assemble_external.
* init.c (build_vtbl_address): Remove call to assemble_external.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146087 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* sem_warn.ads: Minor reformatting

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: better error message for illegal interfaces

* sem_ch6.adb (Possible_Freeze): Delay freezing a subprogram if a
formal is an incomplete type from a limited_with clause.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146086 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Locate_Directory): New Boolean parameter
Externally_Built indicating if the project is externally built. If it
is, and --subdirs is specified, but the subdir does not exist, look
for the specified directory, without the subdir.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146085 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Gary Dismukes  <dismukes@adacore.com>

* a-tasatt.adb: Fix typo, plus minor reformatting

* sem_ch3.ads: Add missing hyphen ("class wide" => "class-wide").

* sem_ch10.adb: Add missing hyphen ("use visible" => "use-visible").

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Private_Extension_Declaration): Verify that a
private extension whose parent is a synchronized interface carries an
explicit synchronized keyword.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146084 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* exp_smem.adb (Make_Shared_Var_Procs): For a protected type,
instantiate generic shared object package with the corresponding
record type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146083 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Arnaud Charlet  <charlet@adacore.com>

* system-linux-sparc.ads: Remove obsolete entries.

2009-04-15  Thomas Quinot  <quinot@adacore.com>

* s-tasuti.ads: Add ??? comment

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146082 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
type even if the designated type comes from a limited_with clause, to
ensure that the symbol for the finalization list of the access type is
created.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146081 138bc75d-0d04-0410-961f-82ee72b054a4

   * io/write.c (itoa) : Rename back to gfc_itoa.
       (write_i): Adjust call to write_decimal.
       (write_integer):  Use gfc_itoa.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146079 138bc75d-0d04-0410-961f-82ee72b054a4

* diagnostic.c (diagnostic_report_diagnostic): Do not
warn about loaded plugins for DK_ERROR and DK_WARNING.
* c-decl.c (declspecs_add_type): Move call to
invoke_plugin_callbacks ...
* c-parser.c (c_parser_declspecs): ... here.
* plugin.c (dump_active_plugins): Tidy output.

cp/ChangeLog

* parser.c (cp_parser_type_specifier_seq): Move call to
invoke_plugin_callbacks ...
(cp_parser_type_specifier_seq): ... here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146078 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-14  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/spine.xml: Remove unused license entity, update
copyright year.

* doc/xml/manual/spine.xml: Markup for primary index terms.
* doc/xml/manual/numerics.xml: Same.
* doc/xml/manual/intro.xml: Same.
* doc/xml/manual/containers.xml: Same.
* doc/xml/manual/io.xml: Same.
* doc/xml/manual/appendix_porting.xml: Same.
* doc/xml/manual/utilities.xml: Same.
* doc/xml/manual/support.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/diagnostics.xml: Same.
* doc/xml/manual/algorithms.xml: Same.
* doc/xml/manual/appendix_free.xml: Same.
* doc/xml/manual/iterators.xml: Same.

* doc/xml/gnu/gpl-3.0.xml: Fix xml markup regressions.
* doc/xml/gnu/fdl-1.2.xml: Same.

* doc/xml/manual/status_cxx200x.xml: Re-write.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146077 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146075 138bc75d-0d04-0410-961f-82ee72b054a4

PR testsuite/39769

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146068 138bc75d-0d04-0410-961f-82ee72b054a4

* config/rs6000/rs6000.c (rs6000_dwarf_register_span): Fix debug
output for other floating point modes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146060 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-14  Diego Novillo  <dnovillo@google.com>
    Le-Chun Wu  <lcwu@google.com>

* configure.ac: Add --enable-plugin support.
Define ENABLE_PLUGIN and PLUGINLIBS when specified.
* Makefile.in (PLUGIN_H): Define.
Export ENABLE_PLUGIN and GMPINC to site.exp.
Add PLUGINLIBS to link command.
Add/modify dependencies for plugin.o and files including plugin.h.
(plugin.o): New.
* config.in: Regenerate.

* opts.c (common_handle_option): Handle OPT_fplugin_ and
OPT_fplugin_arg_.

2009-04-14  Le-Chun Wu  <lcwu@google.com>

* tree-pass.h (register_one_dump_file): Add a prototype for
register_one_dump_file.
* toplev.c (compile_file): Call initialize_plugins.
(do_compile): Call invoke_plugin_callbacks.
(toplev_main): Call invoke_plugin_callbacks.
* common.opt: Add -fplugin= and -fplugin-arg-.
* gcc-plugin.h: New public header file for plugins to include.
* plugin.c: New source file.
* plugin.h: New internal header file.
* passes.c (register_one_dump_file): Make it external.

* c-parser.c (c_parser_declspecs): Call invoke_plugin_callbacks.

2009-04-14  Diego Novillo  <dnovillo@google.com>

* doc/plugins.texi: New.
* doc/gccint.texi: Add reference to Plugins chapter.
* doc/invoke.texi: Document -fplugin and -fplugin-arg
* diagnostic.c (diagnostic_report_diagnostic): Warn about
loaded plugins, if any.
* timevar.def (TV_PLUGIN_INIT): Define.
(TV_PLUGIN_RUN): Define.
* plugin.c: Include timevar.h
(plugins_active_p): New.
(dump_active_plugins): New.
(debug_active_plugins): New.

cp/ChangeLog

2009-04-14  Le-Chun Wu  <lcwu@google.com>

* Make-lang.in: Modify dependencies of files including plugin.h.
* decl.c (finish_function): Call invoke_plugin_callbacks.
* parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146059 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sol2.h (LINK_ARCH32_SPEC_BASE): Use %R with absolute
library paths.
* config/sparc/sol2-bi.h (LINK_ARCH64_SPEC_BASE): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146057 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac  (setobjs, msdosdjgpp): Move a-priori setting of
existing and required library functions to with_target_subdir
section, so that the native build does detect them at configure
time.
* configure: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146056 138bc75d-0d04-0410-961f-82ee72b054a4

* config/arm/arm.c (arm_rtx_costs_1): Treat a minus with a shift
the same as a minus without a shift.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146055 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/39763
* name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
about shadowing by tentative parms.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146053 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/stormy16/stormy16.md (ineqbranch_1): Do not assume that
        comparisons with small integers will always produce a short
        branch.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146039 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-14  Rafael Avila de Espindola  <espindola@google.com>

Merge:

2008-12-19  Diego Novillo  <dnovillo@google.com>

         * cgraph.c (dump_cgraph_node): Show memory address of NODE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146036 138bc75d-0d04-0410-961f-82ee72b054a4

2000-04-14  Richard Guenther  <rguenther@suse.de>

* tree-cfg.c (verify_gimple_assign_unary): Adjust vector code
verification.
(verify_gimple_assign_binary): Likewise.  Handle shifts and
rotates correctly.
(verify_gimple_phi): Print the mismatched argument position.
* tree-vect-loop-manip.c (vect_update_ivs_after_vectorizer):
Fix types.
(vect_update_init_of_dr): Likewise.
* matrix-reorg.c (transform_access_sites): Do what the
comment suggests.
* omp-low.c (expand_omp_atomic_pipeline): Use the correct types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146035 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.target/alpha/pr39740.c (dg-options): Add -mexplicit-relocs.
(do_D): Remove attribute hidden.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146031 138bc75d-0d04-0410-961f-82ee72b054a4

* gennews (files): Reference GCC 4.4 web pages.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146026 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac: Change copyright header to refer to version
3 of the GNU General Public License and to point readers at the
COPYING3 file and the FSF's license web page.
* Makefile.def: Likewise.
* Makefile.tpl: Likewise.
* Makefile.in: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146023 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146019 138bc75d-0d04-0410-961f-82ee72b054a4

Add configuration-specific options for --target=powerpc-xilinx-eabi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146016 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>

        * ipa-inline.c (cgraph_decide_inlining_of_small_function): Dump
        file_name:line_number type locator of the call site.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146014 138bc75d-0d04-0410-961f-82ee72b054a4

fix changelog dates

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146012 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/39480
* call.c (build_over_call): Don't call memcpy if the target is
the same as the source.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146011 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Vladimir Makarov  <vmakarov@redhat.com>

* genautomata.c: Put blank after comma.
(automaton_decls): New.
(struct unit_usage): Add comments to member next.
(store_alt_unit_usage): Keep the list ordered.
(unit_present_on_list_p, equal_alternatives_p): New.
(check_regexp_units_distribution): Check units distribution
correctness correctly.
(main): Don't write automata if error is found.  Return correct
exit code.

* config/m68k/cf.md (cfv4_ds): Remove.
(cfv4_pOEP1, cfv4_sOEP1, cfv4_pOEP2,cfv4_sOEP2, cfv4_pOEP3,
cfv4_sOEP3): Assign to cfv4_oep instead of cfv4_ds.

* config/rs6000/power4.md (lsuq_power4, iq_power4, fpq_power4,
power4-load-ext, power4-store, power4-store-update,
power4-fpstore, power4-fpstore-update, power4-two, power4-three,
power4-insert, power4-compare, power4-lmul-cmp, power4-imul-cmp,
power4-lmul, , power4-imul, power4-imul3, power4-sdiv,
power4-sqrt, power4-isync): Modify reservation to make correct
unit distribution to automata.

* config/rs6000/power5.md (iq_power5, fpq_power5, power5-store,
power5-store-update, power5-two, power5-three, power5-lmul,
power5-imul, power5-imul3, power5-sdiv, power5-sqrt): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146010 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  H.J. Lu  <hongjiu.lu@intel.com>

PR testsuite/39733
* gcc.misc-tests/options.exp (check_for_options): Renamed to ...
(check_for_all_options): This.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146009 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/39750
* pt.c (uses_template_parms): Handle CONSTRUCTOR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146006 138bc75d-0d04-0410-961f-82ee72b054a4

* except.c (pass_set_nothrow_function_flags): Set name and add
TODO_dump_func.
(set_nothrow_function_flags): Mention in the dump file when
changing a function to nothrow.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146003 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Paolo Carlini  <paolo.carlini@oracle.com>

* ChangeLog rotation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146002 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Ozkan Sezer  <sezeroz@gmail.com>

        PR target/39397
        * pex-common.h (struct pex_obj): Store pid values as pid_t,
        not as long (members *children and (*wait))
        * pex-common.c (pex_run_in_environment): Likewise.
        * pex-win32.c (pex_win32_wait): Return pid_t and properly check
        returned pid value.
        * pex-djgpp.c (pex_djgpp_wait): Return pid_t.
        * pex-msdos.c (pex_msdos_wait): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146001 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Ozkan Sezer  <sezeroz@gmail.com>

        PR target/39062
        * ssp.c: Also include malloc.h for alloca(). MinGW needs it.
        * configure.ac: Also check for malloc.h.
        * configure: Regenerated.
        * config.h.in: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146000 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Ozkan Sezer  <sezeroz@gmail.com>

        PR/39066
        * gbl-ctors.h (DO_GLOBAL_CTORS_BODY): Use __SIZE_TYPE__
        instead of unsigned long.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145999 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-13  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>

       * config/arm/arm.c (return_used_this_function): Remove.
       (arm_output_function_prologue): Remove use of
return_used_this_function.
       (output_return_instruction): Replace use of
return_used_this_function
by cfun->machine->return_used_this_function.
       (arm_output_epilogue): Likewise.
       (arm_output_function_epilogue): Likewise.
       (thumb_unexpanded_epilogue): Likewise.
       * config/arm/arm.h (struct machine_function):
New member return_used_this_function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145997 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/install.texi: Correct description of default directory for
--with-gxx-include-dir.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145996 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/39742
* call.c (joust): Don't crash on variadic fn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145994 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145993 138bc75d-0d04-0410-961f-82ee72b054a4

libcpp:
PR preprocessor/31869
* macro.c (stringify_arg): Handle NULL source token in padding
token where previous padding token did not have source token with
preceding whitespace.

gcc/testsuite:
* gcc.dg/cpp/strify5.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145989 138bc75d-0d04-0410-961f-82ee72b054a4

* fold-const.c (build_range_check): Properly deal with enumeral and
boolean base types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145988 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/invoke.texi (max_gcse_passes): Remove documentation.
* params.def (PARAM_MAX_GCSE_PASSES): Remove.
* params.h (MAX_GCSE_PASSES): Remove.
* gcse.c (gcse_main): Run CPROP1, PRE or HOIST, and CPROP2
in sequence.  Remove ability to run multiple passes.
(bypass_jumps): Report run as third CPROP pass.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145987 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/39651
* except.c (can_throw_external): Look at each insn in a SEQUENCE
when deciding whether the whole SEQUENCE can throw.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145986 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-12  Uros Bizjak  <ubizjak@gmail.com>

PR target/39740
* config/alpha/predicates.md (local_symbolic_operand): Return 1 for
offseted label references.

testsuite/ChangeLog:

PR target/39740
* gcc.target/alpha/pr39740.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145985 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145972 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-pre.c (eliminate): Fix call of update_stmt.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145961 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-11  Daniel Kraft  <d@domob.eu>

PR fortran/37746
* gfortran.h (struct gfc_charlen): New field `passed_length' to store
the actual passed string length for dummy arguments.
* trans-decl.c (gfc_create_string_length): Formatting fixes and added
assertion, moved a local variable into the innermost block it is needed.
(create_function_arglist): Removed TODO about the check being
implemented and initialize cl->passed_length here.
(add_argument_checking): New method.
(gfc_generate_function_code): Call the argument checking method.

2009-04-11  Daniel Kraft  <d@domob.eu>

PR fortran/37746
* gfortran.dg/bounds_check_strlen_1.f90: New test.
* gfortran.dg/bounds_check_strlen_2.f90: New test.
* gfortran.dg/bounds_check_strlen_3.f90: New test.
* gfortran.dg/bounds_check_strlen_4.f90: New test.
* gfortran.dg/bounds_check_strlen_5.f90: New test.
* gfortran.dg/bounds_check_strlen_6.f90: New test.
* gfortran.dg/bounds_check_strlen_7.f90: New test.
* gfortran.fortran-torture/execute/intrinsic_index.f90: Fix wrong
expected string length that failed with -fbounds-check now.
* gfortran.fortran-torture/execute/intrinsic_trim.f90: Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145958 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-11  Janus Weil  <janus@gcc.gnu.org>

PR fortran/39692
* symbol.c (check_conflict): Reject procedure pointers for -std=f95.

2009-04-11  Janus Weil  <janus@gcc.gnu.org>

PR fortran/39692
* gfortran.dg/proc_ptr_14.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145955 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-11  Richard Guenther  <rguenther@suse.de>

PR middle-end/39732
* tree-inline.c (declare_return_variable): Mark DECL_BY_REFERENCE
return variables as TREE_ADDRESSABLE.

* g++.dg/torture/pr39732.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145954 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/fortran/:
2009-04-11  Daniel Franke  <frake.daniel@gmail.com>

        * resolve.c (resolve_global_procedure): Enable whole-file checking for
        procedures that are declared later in the file.

gcc/testsuite:
2009-04-11  Daniel Franke  <franke.daniel@gmail.com>

        * gfortran.dg/whole_file_5.f90: New.
        * gfortran.dg/whole_file_6.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145953 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-11  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/39713
* tree-ssa-sccvn.c (vn_get_expr_for): Make sure built
reference trees have SSA_NAME operands.

* g++.dg/torture/pr39713.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145951 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-11  Richard Guenther  <rguenther@suse.de>

PR c/39712
* c-gimplify.c (c_gimplify_expr): Adjust check for mismatched
address expressions.

* gcc.dg/pr39712.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145950 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/cygwin-stdint.h (INT_LEAST32_TYPE):  Update to
match changes in Cygwin 1.7
(UINT_LEAST32_TYPE, INT_FAST16_TYPE, INT_FAST32_TYPE,
UINT_FAST16_TYPE, UINT_FAST32_TYPE):  Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145949 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Paolo Bonzini  <bonzini@gnu.org>

PR tree-optimization/39701
* doc/invoke.texi (Optimization Options): Document change in
meaning and initialization of -fdelete-null-pointer-checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145948 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145947 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/39701
* common.opt (-fdelete-null-pointer-checks): Initialize to 1.

* opts.c (decode_options): Don't set flag_delete_null_pointer_checks
here.

* doc/invoke.texi: Update -fdelete-null-pointer-checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145937 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/cp/

2009-04-10  Jason Merrill  <jason@redhat.com>

PR c++/28301
* parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
if we see a close brace without an open brace.

gcc/testsuite/

2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

PR c++/28301
* g++.dg/cpp0x/enum2.C: Updated.
* g++.dg/debug/pr22514.C: Likewise.
* g++.dg/parse/enum2.C: Likewise.
* g++.dg/parse/enum3.C: Likewise.
* g++.dg/template/crash79.C: Likewise.
* g++.old-deja/g++.jason/cond.C: Likewise.

* g++.dg/template/pr28301.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145936 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Chao-ying Fu  <fu@mips.com>

* gcc.target/mips/interrupt_handler.c: Change from compile to
assemble.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145935 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Chao-ying Fu  <fu@mips.com>

* doc/tm.texi (Instruction Output): Document
TARGET_ASM_FINAL_POSTSCAN_INSN.
* target.h (final_postscan_insn): New field in asm_out.
* target-def.h (TARGET_ASM_FINAL_POSTSCAN_INSN): New define.
(TARGET_ASM_OUT): Add TARGET_ASM_FINAL_POSTSCAN_INSN.
* final.c (final_scan_insn): Call
targetm.asm_out.final_postscan_insn after outputting
an asm macro and a normal instruction.

* config/mips/mips.h (FINAL_PRESCAN_INSN): New define.
* config/mips/mips-protos.h (mips_final_prescan_insn): Declare.
* config/mips/mips.c (mips_at_reg_p): New for_each_rtx callback.
(mips_final_prescan_insn, mips_final_postscan_insn): New functions.
(TARGET_ASM_FINAL_POSTSCAN_INSN): New define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145934 138bc75d-0d04-0410-961f-82ee72b054a4

* objc/execute/forward-1.x: Fix x86_64 entry typos.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145932 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Paolo Bonzini  <bonzini@gnu.org>

PR middle-end/39701
* trans.c (gfc_allocate_with_status): Fix type mismatches
on "pstat == 0".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145930 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Paolo Bonzini  <bonzini@gnu.org>

PR middle-end/39701
        * fold-const.c (tree_single_nonzero_warnv_p): Pass non-static
        variables as non-NULL even with -fdelete-null-pointer-checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145927 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): Catch more cases
for warning suppression.

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): If the two use_type clauses are
identical, there is no redudancy to check.

2009-04-10  Gary Dismukes  <dismukes@adacore.com>

* exp_ch5.adb (Expand_N_Extended_Return_Statement): Delete redundant
calls initializing SS_Allocator (which is initialized in following
code).
(Expand_Simple_Function_Return): Add comment about False value for
Comes_From_Source on secondary-stack allocator.

* exp_ch9.adb (Build_Entry_Family_Name): Add comment.
(Build_Entry_Name): Add comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145926 138bc75d-0d04-0410-961f-82ee72b054a4

Revert unwanted change in previous commit.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145925 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* einfo.ads, einfo.adb (Low_Bound_Tested): New name for Low_Bound_Known

* sem_prag.adb (Analyze_Pragma, case Check): Remove check for lower
bound tested, since this is now done more generally in Sem_Res.

* sem_res.adb (Resolve_Comparison_Op): Add call to
Check_Lower_Bound_Tested.
(Resolve_Equality_Op): Add call to Check_Lower_Bound_Tested

* sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): New procedure
(Low_Bound_Tested): New name for Low_Bound_Known flag

* exp_ch5.adb: Minor reformatting

* exp_ch4.adb:
Add comments on copying the Comes_From_Source flag for allocators

* sinfo.ads:
Add comments on copying the Comes_From_Source flag for allocators

* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Copy
Comes_From_Source flag from old allocator to new one.

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.ads: Address missing documentation query

2009-04-10  Vincent Celier  <celier@adacore.com>

* prj-attr.adb:
Add new Linker attributes Max_Command_Line_Length, Response_File_Format
and Response_File_Switches.

* prj-nmsc.adb (Process_Linker): Process new attributes
Max_Command_Line_Length, Response_File_Format and
Response_File_Switches.

* prj.ads (Response_File_Format): New enumeration type
(Project_Configuration): New componants Max_Command_Line_Length,
Resp_File_Format and Resp_File_Options.

* snames.ads-tmpl: Add new standard names for linking response files
for gprbuild: GNU, None, Object_List, Option_List,
Max_Command_Line_Length, Response_File_Format and
Response_File_Switches.

2009-04-10  Geert Bosch  <bosch@adacore.com>

* system-aix.ads, system-darwin-ppc.ads, system-darwin-x86.ads,
system-freebsd-x86.ads, system-hpux.ads, system-hpux-ia64.ads,
system-irix-n32.ads, system-irix-o32.ads, system-linux-alpha.ads,
system-linux-hppa.ads, system-linux-ia64.ads, system-linux-ppc.ads,
system-linux-s390.ads, system-linux-s390x.ads, system-linux-sh4.ads,
system-linux-sparc.ads, system-linux-x86_64.ads, system-linux-x86.ads,
system-mingw.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads,
system-solaris-x86.ads, system-tru64.ads, system-vms_64.ads,
system-vms.ads, system-vms-ia64.ads, system-vms-zcx.ads,
system-vxworks-arm.ads, system-vxworks-m68k.ads,
system-vxworks-mips.ads, system-vxworks-ppc.ads,
system-vxworks-sparcv9.ads, system-vxworks-x86.ads
(Backend_Overflow_Checks): Set to True.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145924 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb: Minor reformatting

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_aux.adb: Minor reformatting

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
analyze the expression for a postcondition, even if the compiler mode
is Generate_Code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145923 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_aux.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145922 138bc75d-0d04-0410-961f-82ee72b054a4

Complete previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145921 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Ed Falis  <falis@adacore.com>

* init.c: Change VxWorks 6 stack overflow checking for kernel apps.

* system-vxworks-ppc.ads, system-vxworks-x86.ads: Update header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145920 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
undocumented formal.
Minor reformatting

* a-direio.ads: Fix typo in comment

* sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
Use uniform phrasing for comment at start of subprogram body.

* xsnamest.adb: Add note to explain why we use specific names for the
newly generated files instead of generating snames.{ads,adb,h} directly

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145918 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Sergey Rybin  <rybin@adacore.com>

* vms_data.ads:
Add qualifier for new gnatstub option '--no-exception'

* gnat_ugn.texi:
Add the description of the new gnatstub option '--no-exception'

2009-04-10  Robert Dewar  <dewar@adacore.com>

* rtsfind.adb: Minor reformatting

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* sem_disp.adb: Minor reformatting.
Add comment pointing to RM clause for the case of warning against a
(failed) attempt at declaring a primitive operation elsewhere than in a
package spec.

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Denotes_Formal_Package): Check whether the package is
an actual for a previous formal package of the current instance.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145917 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Bob Duff  <duff@adacore.com>

* rtsfind.adb (RTE): Put implicit with_clauses on whatever unit needs
them first, rather than on the extended main unit.

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Check_Discriminant_Conformance): If discriminant
specification of full view carries a null exclusion indicator, create
an itype for it, to check for conformance with partial view.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145916 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Bob Duff  <duff@adacore.com>

* rtsfind.ads: Minor code change: make RE_Unit_Table constant.

* rtsfind.adb: Minor comment changes, and remove useless code.

* sinfo.ads: Add ??? comment.

2009-04-10  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add missing GNAT SYNC VMS qualifiers -main= and -U

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145914 138bc75d-0d04-0410-961f-82ee72b054a4