exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected operation has an inline pragma...

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

* exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected
operation has an inline pragma, propagate the flag to the internal
unprotected subprogram.

From-SVN: r146156

2009-04-16  Doug Rupp  <rupp@adacore.com>

* s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-mingw.adb,
s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-irix.adb,
s-taprop-hpux-dce.adb, s-taprop-posix.adb
(Enter_Task): Move Known_Tasks initialization to s-tassta.adb

* s-taprop-vms.adb (Enter_Task): Likewise.
(Initialize): Import DBEXT, Debug_Register. Register DBGEXT callback.

* s-tassta.adb (Activate_Tasks): After task creation set state to
Activating, vice Runnable. Initialize Known_Tasks, moved here from
s-taprop.adb (Enter_Task). Set Debug_Event_Activating for debugger.
Set state to Runnable after above.
(Task_Wrapper): Set Debug_Event_Run. In exception block set
Debug_Event_Terminated.

* s-taskin.ads (Task_States): Add new states Activiting and
Activator_Delay_Sleep.
(Bit_Array, Debug_Event_Array): New types.
(Global_Task_Debug_Event_Set: New flag.
(Common_ATCB): New field Debug_Events.

* s-taskin.adb (Initialize_ATCB): Initialize Debug_Events.

* s-tasren.adb (Timed_Selective_Wait): Set Activator_Delay_Sleep vice
Activator_Sleep.

* s-tasini.adb (Locked_Abort_To_Level): Add case alternatives for when
Activating and when Acceptor_Delay_Sleep.

* s-tasdeb.ads: Add constants for Debug_Events.
(Debug_Event_Kind_Type): New subtype.
(Signal_Debug_Event): New subprogram.

* s-tasdeb.adb (Signal_Debug_Event): New null subprogram.

From-SVN: r146155

sem_elim.adb: Minor reformatting

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

* sem_elim.adb: Minor reformatting

* freeze.adb: Minor reformatting

* exp_ch4.adb: Minor reformatting

From-SVN: r146154

c-common.c (vector_targets_convertible_p, [...]): Use TYPE_VECTOR_OPAQUE instead of targetm.vector_opaque_p.

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

* c-common.c (vector_targets_convertible_p, vector_types_convertible_p):
Use TYPE_VECTOR_OPAQUE instead of targetm.vector_opaque_p.
* c-typeck.c (really_start_incremental_init): Likewise.
* target-def.h (TARGET_VECTOR_OPAQUE_P): Remove.
(TARGET_INITIALIZER): Remove it.
* target.h (struct target): Remove vector_opaque_p.
* tree.c (build_opaque_vector_type): New.
* tree.h (TYPE_VECTOR_OPAQUE): New.
(build_opaque_vector_type): Declare.
* doc/tm.texi (TARGET_VECTOR_OPAQUE_P): Remove.
* config/rs6000/rs6000.c (build_opaque_vector_type,
rs6000_is_vector_type, TARGET_VECTOR_OPAQUE_P): Remove.
(rs6000_init_builtins): Use build_opaque_vector_type for
opaque_V4SI_type_node.

cp:
2009-04-16  Paolo Bonzini  <bonzini@gnu.org>

* decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
instead of targetm.vector_opaque_p.

From-SVN: r146153

[multiple changes]

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

* prj-nmsc.adb (Path_Name_Of): fix memory leak

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

* sinfo.ads (Backwards_OK, Forwards_OK): Clarify documentation

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

* fmap.adb (Initialize): Show the current line when the mapping file
is detected as "incorrectly formatted".

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

* sem_ch12.adb: Minor reformatting

* sem_ch5.adb: Minor comment addition

* sem_util.adb: Minor reformatting

* sinput-p.adb: Minor reformatting
Add missing pragma Warnings (On)

From-SVN: r146152

[multiple changes]

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

* s-vxwext-kernel.adb: (ERROR): deleted unused constant

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

* ali-util.adb: Minor comment spelling error fix

From-SVN: r146151

exp_ch5.adb (Expand_Assign_Array): For the GCC back-end, do not generate an assignment loop in case of overlap.

2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>

* exp_ch5.adb (Expand_Assign_Array): For the GCC back-end, do not
generate an assignment loop in case of overlap.

From-SVN: r146150

[multiple changes]

2009-04-16  Olivier Hainque  <hainque@adacore.com>

* gnat_ugn.texi (gnatmem description): Make it explicit that
gnatmem is designed to work in association with static runtime
library only.

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

* sem_type.adb: Minor reformatting

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

* s-osprim-darwin.adb, s-osprim-posix.adb (Clock): Add comment
concerning return codes of gettimeofday and return value check.

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

* s-vxwext-kernel.ads (Int_Lock, Int_Unlock): set to convention C so
body can be renaming of imported routines.

2009-04-16  Vasiliy Fofanov  <fofanov@adacore.com>

* s-asthan-vms-alpha.adb: Disable warnings on alignment in a more
targeted fashion.

From-SVN: r146149

html: Regenerate, remove un-needed.

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

* doc/html: Regenerate, remove un-needed.

From-SVN: r146145

Daily bump.

From-SVN: r146143

html: Regenerate.

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

* doc/html: Regenerate.

From-SVN: r146140

status_cxx1998.xml: Update to new table style.

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

* doc/xml/manual/status_cxx1998.xml: Update to new table style.

* doc/xml/gnu/gpl-3.0.xml: Add or adjust dbhtml markup.
* doc/xml/gnu/fdl-1.2.xml: Same.
* doc/xml/manual/numerics.xml: Same.
* doc/xml/manual/concurrency.xml: Same.
* doc/xml/manual/intro.xml: Same.
* doc/xml/manual/status_cxxtr1.xml: Same.
* doc/xml/manual/containers.xml: Same.
* doc/xml/manual/io.xml: Same.
* doc/xml/manual/utilities.xml: Same.
* doc/xml/manual/support.xml: Same.
* doc/xml/manual/using.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/locale.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/diagnostics.xml: Same.
* doc/xml/manual/status_cxx200x.xml: Same.

From-SVN: r146139

debug.h (set_name): Declare.

2009-04-15  Catherine Moore  <clm@codesourcery.com>

        * debug.h (set_name):  Declare.
        * dwarf2out.c (dwarf2out_set_name): Declare.
        (dwarf2_debug_hooks): Add set_name.
        (find_AT_string): New.
        (add_AT_string): Call find_AT_string.
        (dwarf2out_set_name): New.
        * cp/decl.c (grokdeclarator): Call set_name.
        * vmsdbgout.c (vmsdbg_debug_hooks): Add set_name_debug_nothing.
        * debug.c (do_nothing_debug_hooks):  Likewise.
        * dbxout.c (dbx_debug_hooks): Likewise.
        * sdbout.c (sdb_debug_hooks): Likewise.

From-SVN: r146137

Fix PR number for r146134

From-SVN: r146135

re PR libfortran/38668 (advance="no": no buffering, truncate and seek)

2009-04-15  Janne Blomqvist  <jb@gcc.gnu.org>

PR libfortran/38688
* io/transfer.c (finalize_transfer): Don't flush for advance='no'.

From-SVN: r146134

Add parens around expression.

From-SVN: r146133

re PR c++/39551 (C++ frontend not warn about unused dereference operator with -Wunused-value)

        PR c++/39551
* gcc/cp/call.c (build_over_call): Set TREE_NO_WARNING on the
compiler-generated INDIRECT_REF expression.
* gcc/cp/cvt.c (convert_to_void): Emit warning when stripping off
INDIRECT_REF.
* gcc/testsuite/g++.dg/warn/Wunused-13.C: New testcase.

From-SVN: r146132

status_cxxtr1.xml: Update to new table style.

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

* doc/xml/manual/status_cxxtr1.xml: Update to  new table style.
* doc/xml/manual/status_cxx200x.xml: Adjust.

From-SVN: r146131

Allows a single-precision FP register to contain a SImode value.

This is only active when TARGET_SINGLE_FPU is true (e.g., --target=powerpc-xilinx-eabi).

From-SVN: r146130

omp-low.c (lower_rec_input_clauses): Build correct address expressions.

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

* omp-low.c (lower_rec_input_clauses): Build correct address
expressions.
(expand_omp_for_generic): Fix multiplication type.
* tree-loop-distribution.c (build_size_arg): Build a
size_t argument.
(generate_memset_zero): Fix types.
* tree-profile.c (prepare_instrumented_value): Correctly
widen a pointer.

From-SVN: r146129

c.opt (Wenum-compare): Enable for C and Objc.

gcc/:
* c.opt (Wenum-compare): Enable for C and Objc.  Initialize to -1.
* c-opts.c (c_common_handle_option): For C, set warn_enum_compare
for -Wall and for -Wc++-compat.
(c_common_post_options): For C++, set warn_enum_compare if not
already set.
* c-tree.h (struct c_expr): Add field original_type.
(build_external_ref): Update declaration.
* c-parser.c (c_parser_braced_init): Set original_type.
(c_parser_initelt): Likewise.
(c_parser_expr_no_commas): Likewise.
(c_parser_conditional_expression): Likewise.
(c_parser_cast_expression): Likewise.
(c_parser_unary_expression): Likewise.  Pull setting of
original_code to top of function.
(c_parser_sizeof_expression): Set original_type.
(c_parser_alignof_expression): Likewise.
(c_parser_postfix_expression): Likewise.  Pull setting of
original_code to top of function.
(c_parser_postfix_expression_after_paren_type): Set
original_type.
(c_parser_postfix_expression_after_primary): Likewise.
(c_parser_expression): Likewise.
* c-typeck.c (build_external_ref): Add type parameter.  Change all
callers.
(c_expr_sizeof_expr): Set original_type field.
(parser_build_unary_op): Likewise.
(parser_build_binary_op): Likewise.  Optionally warn about
comparisons of enums of different types.
(digest_init): Set original_type field.
(really_start_incremental_init): Likewise.
(push_init_level, pop_init_level): Likewise.
* doc/invoke.texi (Warning Options): -Wenum-compare now
supported in C.
gcc/testsuite/:
* gcc.dg/Wenum-compare-1.c: New testcase.

From-SVN: r146127

tree-ssa-pre.c (eliminate): When replacing a PHI node carry out a necessary conversion.

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

* tree-ssa-pre.c (eliminate): When replacing a PHI node carry
out a necessary conversion.
* tree-ssa-sccvn.c (run_scc_vn): Also assign value-ids to
names we didn't value number.
* tree-mudflap.c (mf_build_check_statement_for): Use correct types.

From-SVN: r146121

re PR tree-optimization/39764 (ICE in set_lattice_value, at tree-ssa-ccp.c:468 with -ffinite-math-only)

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

PR tree-optimization/39764
* tree-ssa-ccp.c (get_value): Canonicalize value with
canonicalize_float_value.

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

From-SVN: r146120

builtins.def (va_start, [...]): Fix my previous commit.

* builtins.def (va_start, va_end, va_copy): Fix my previous commit.
Wrong version of patch.

From-SVN: r146117

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

From-SVN: r146113

[multiple changes]

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.

From-SVN: r146112

[multiple changes]

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

From-SVN: r146111

[multiple changes]

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

From-SVN: r146110

Reorganize code.

From-SVN: r146109

[multiple changes]

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*.

From-SVN: r146108

Make-lang.in: Update dependencies.

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

From-SVN: r146107

Fix formatting

From-SVN: r146106

[multiple changes]

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.

From-SVN: r146105

[multiple changes]

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.

From-SVN: r146104

[multiple changes]

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.

From-SVN: r146103

[multiple changes]

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.

From-SVN: r146102

[multiple changes]

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

From-SVN: r146101

[multiple changes]

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.

From-SVN: r146100

Refine previous change.

From-SVN: r146099

[multiple changes]

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.

From-SVN: r146098

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

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

From-SVN: r146097

Make-lang.in: Update dependencies.

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

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

From-SVN: r146096

[multiple changes]

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.

From-SVN: r146095

[multiple changes]

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.

From-SVN: r146093

rs6000.c (rs6000_init_builtins): Set TYPE_NAME of our distinct integral and vector types.

./ * 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.

From-SVN: r146092

[multiple changes]

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.

From-SVN: r146091

Make-lang.in: Update dependencies.

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

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

From-SVN: r146090

exp_ch4.adb (Expand_N_Allocator): Code cleanup.

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.

From-SVN: r146089

sync1.ads: Fix error now flagged by gnat.

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

From-SVN: r146088

class.c (build_vtbl_ref_1): Remove call to assemble_external.

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.

From-SVN: r146087

[multiple changes]

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.

From-SVN: r146086

prj-nmsc.adb (Locate_Directory): New Boolean parameter Externally_Built indicating if...

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.

From-SVN: r146085

[multiple changes]

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.

From-SVN: r146084

exp_smem.adb (Make_Shared_Var_Procs): For a protected type...

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.

From-SVN: r146083

[multiple changes]

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

From-SVN: r146082

sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access type even if...

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.

From-SVN: r146081

write.c (itoa): Rename back to gfc_itoa.

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

From-SVN: r146079

diagnostic.c (diagnostic_report_diagnostic): Do not warn about loaded plugins for DK_ERROR and DK_WARNING.

* 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.

From-SVN: r146078

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

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.

From-SVN: r146077

Daily bump.

From-SVN: r146075

re PR testsuite/39769 (vmx tests fail due to reliance on floating point equality)

PR testsuite/39769

From-SVN: r146068

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

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

From-SVN: r146060

[multiple changes]

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.

From-SVN: r146059

sol2.h (LINK_ARCH32_SPEC_BASE): Use %R with absolute library paths.

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

From-SVN: r146057

configure.ac (setobjs, msdosdjgpp): Move a-priori setting of existing and required library functions to...

* 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.

From-SVN: r146056

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

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

From-SVN: r146055

re PR c++/39763 (-Wshadow reports shadowed declarations for parameters of unnamed temp objects)

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

From-SVN: r146053

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

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

From-SVN: r146039

[multiple changes]

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.

From-SVN: r146036

tree-cfg.c (verify_gimple_assign_unary): Adjust vector code verification.

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.

From-SVN: r146035

pr39740.c (dg-options): Add -mexplicit-relocs.

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

From-SVN: r146031

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

From-SVN: r146026

configure.ac: Change copyright header to refer to version 3 of the GNU General Public License...

* 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.

From-SVN: r146023

Daily bump.

From-SVN: r146019

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

From-SVN: r146016

ipa-inline.c (cgraph_decide_inlining_of_small_function): Dump ...

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.

From-SVN: r146014

fix changelog dates

From-SVN: r146012

re PR c++/39480 (generated memcpy causes trouble in assignment)

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

From-SVN: r146011

genautomata.c: Put blank after comma.

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.

From-SVN: r146010

re PR testsuite/39733 (gcc.misc-tests/help.exp doesn't work with multilib)

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.

From-SVN: r146009

re PR c++/39750 (ICE in uses_template_parms, at cp/pt.c:6332)

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

From-SVN: r146006

except.c (pass_set_nothrow_function_flags): Set name and add TODO_dump_func.

* 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.

From-SVN: r146003

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

* ChangeLog rotation.

From-SVN: r146002

re PR target/39397 (libiberty/pex-*, inconsistent/incorrect pid_t usage)

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.

From-SVN: r146001

re PR other/39062 (libssp/ssp.c needs malloc.h for mingw)

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.

From-SVN: r146000

gbl-ctors.h (DO_GLOBAL_CTORS_BODY): Use __SIZE_TYPE__ instead of unsigned long.

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

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

From-SVN: r145999

arm.c (return_used_this_function): Remove.

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.

From-SVN: r145997

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

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

From-SVN: r145996

re PR c++/39742 (ice in C++ overload resolution)

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

From-SVN: r145994

Daily bump.

From-SVN: r145993

re PR preprocessor/31869 (stringifying empty macros)

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.

From-SVN: r145989

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

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

From-SVN: r145988

invoke.texi (max_gcse_passes): Remove documentation.

* 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.

From-SVN: r145987

re PR middle-end/39651 (New cleanup test failures)

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

From-SVN: r145986

re PR target/39740 (unrecognizable insn on alpha using -O3 and -std=c99)

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.

From-SVN: r145985

Daily bump.

From-SVN: r145972

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

From-SVN: r145961

re PR fortran/37746 (bounds check of string dummy arguments)

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.

From-SVN: r145958

re PR fortran/39692 (f95: conflict between EXTERNAL and POINTER)

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.

From-SVN: r145955

re PR middle-end/39732 (-fprofile-generate -O1: ICE: verify_stmts failed, ADDRESSABLE bit not set on pointers passed to std::copy)

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.

From-SVN: r145954