* config/xtensa/xtensa.c (xtensa_va_start): Unshare valist.
(xtensa_gimplify_va_arg_expr): Unshare valist, orig_ndx, ndx, array,
va_size, and type_size.

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

    PR c++/37016
        * tree-ssa.c (useless_type_conversion_p_1): Call langhook
        if TYPE_STRUCTURAL_EQUALITY_P is true for both types.

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

    * configure.ac (HAVE_GAS_CFI_DIRECTIVE): Check .cfi_personality.
        * configure: Rebuild.

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

2008-08-05  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/util/testsuite_api.h (diamond_derivation<>::test):
Expect ambiguity together with the standard exception classes.
* testsuite/27_io/ios_base/failure/cons_virtual_derivation.cc: Remove
xfail.
* testsuite/19_diagnostics/logic_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/19_diagnostics/runtime_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/19_diagnostics/system_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/18_support/bad_alloc/cons_virtual_derivation.cc: Likewise.
* testsuite/18_support/bad_cast/cons_virtual_derivation.cc: Likewise.
* testsuite/18_support/bad_exception/cons_virtual_derivation.cc:
Likewise.
* testsuite/18_support/bad_typeid/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/concurrence_lock_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/forced_exception_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/ext/concurrence_unlock_error/cons_virtual_derivation.cc:
Likewise.
* testsuite/20_util/bad_function_call/cons_virtual_derivation.cc:
Likewise.

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

2008-08-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/37024
        * tree-tailcall.c (process_assignment): Use gimple_assign_cast_p
        instead of IS_CONVERT_EXPR_CODE_P for seeing if the assignment
        is a conversion.

2008-08-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/37024
        * gcc.dg/tree-ssa/tailcall-4.c: New testcase.

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

    * Makefile.in (c-cppbuiltin.o): Depend on debug.h.
        * c-cppbuiltin.c (c_cpp_builtins): Define __GCC_HAVE_DWARF2_CFI_ASM.
        * doc/cpp.texi (__GCC_HAVE_DWARF2_CFI_ASM): Document it.
        * common.opt (fdwarf2-cfi-asm): New.
        * configure.ac (HAVE_GAS_CFI_DIRECTIVE): New.
        * config.in, configure: Rebuild.
        * dwarf2asm.c (dw2_asm_output_data_raw): New.
        (dw2_asm_output_data_uleb128_raw, dw2_asm_output_data_sleb128_raw): New.
        (dw2_force_const_mem): Externalize.
        * dwarf2asm.h: Update.
        * dwarf2out.c (dwarf2out_cfi_label): If flag_dwarf2_cfi_asm, don't
        generate a real label.
        (output_cfi_directive): New.
        (add_fde_cfi): If flag_dwarf2_cfi_asm, use it.
        (output_call_frame_info): Do nothing if flag_dwarf2_cfi_asm.
        (dwarf2out_begin_prologue): Emit .cfi_startproc, .cfi_personality,
        and .cfi_lsda.
        (dwarf2out_end_epilogue): Emit .cfi_endproc.
        (output_loc_operands_raw, output_loc_sequence_raw): New.
        (output_cfa_loc_raw): New.

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

2008-08-05  Matthias Klose  <doko@ubuntu.com>

        * HACKING: Update instructions how to build gcj/javaprims.h.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Process_Subtype): An allocator is a valid construct that
can carry a null exclusion indicator, and on which an error may be
posted if the indicator is redundant.

* sem_ch8.adb (Analyze_Object_Renaming): Verify that a null exclusion
does not apply to a subtype mark that already excludes null.

* sem_ch12.adb (Formal_Object_Declaration): Verify that a null
exclusion does not apply to a subtype mark that already excludes null.

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

2008-08-05  Doug Rupp  <rupp@adacore.com>

* vms_data.ads: Translation for /POINTER_SIZE qualifier.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* Makefile.rtl: Compile s-oscons.ads as part of the runtime library.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb:
(Freeze_Entity): A deferred constant does not violate the restriction
No_Default_Initialization,

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

Remove test, premature.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Assignment_Statement): Apply conversion to
right-hand side when it is an anonymous access_to_subprogram, to force
static accessibility check when needed.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb:
(Analyze_Attribute, case 'Result): handle properly the case where some
operand of the expression in a post-condition generates a transient
block.

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

2008-08-05  Pascal Obry  <obry@adacore.com>

* adaint.c: Remove support for readable attribute on vxworks and nucleus

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* gsocket.h: Make this file includable in a Nucleus environment, which
does not support sockets.

* socket.c: Remove Nucleus-specific hack.

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

* gnat.dg/post_block.adb: New test.

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

2008-08-05  Paul Brook  <paul@codesourcery.com>

gcc/
* doc/invoke.texi: Document new ARM -mfpu= and -mcpu= options.
* config/arm/arm.c (all_fpus): Add vfpv3 and vfpv3-d16.
(fp_model_for_fpu): Add entry for FPUTYPE_VFP3D16.
(arm_file_start): Add FPUTYPE_VFP3D16.  Rename vfp3 to vfpv3.
* config/arm/arm.h (TARGET_VFPD32): Define.
(TARGET_VFP3): Use TARGET_VFPD32.
(fputype): Add FPUTYPE_VFP3D16.
(LAST_VFP_REGNUM): Use TARGET_VFPD32.
* config/arm/constraints.md ("w"): Use TARGET_VFPD32.
* config/arm/arm-cores.def: Add cortex-r4f.
* config/arm/arm-tune.md: Regenerate.

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* ug_words: Add entries for -gnatw.b/-gnatw.B

* vms_data.ads: Add entries for -gnatw.b/-gnatw.B

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

2008-08-05  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Changing the description of the gnatcheck metrics
rule according to the change in the rule option.
Add documentation for -gnatw.b/-gnatw.B

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

* config/spu_spu_mfcio.h: Wrap in extern "C" if __cplusplus.
Reword some comments throughout the file.

(MFC_MIN_DMA_LIST_ELEMENTS): New define.
(MFC_MAX_DMA_LIST_ELEMENTS): Likewise.
(MFC_MIN_DMA_LIST_SIZE): Redefine in terms of MFC_MIN_DMA_LIST_ELEMENTS.
(MFC_MAX_DMA_LIST_SIZE): Redefine in terms of MFC_MAX_DMA_LIST_ELEMENTS.

(MFC_START_ENABLE): Remove PPU-only define.
(MFC_PUTS_CMD, MFC_PUTFS_CMD, MFC_PUTBS_CMD): Likewise.
(MFC_GETS_CMD, MFC_GETFS_CMD, MFC_GETBS_CMD): Likewise.

(MFC_PUTB_CMD, MFC_PUTF_CMD): Reimplement using symbolic constants.
(MFC_PUTL_CMD, MFC_PUTLB_CMD, MFC_PUTLF_CMD): Likewise.
(MFC_PUTR_CMD, MFC_PUTRB_CMD, MFC_PUTRF_CMD): Likewise.
(MFC_PUTRL_CMD, MFC_PUTRLB_CMD, MFC_PUTRLF_CMD): Likewise.
(MFC_GETB_CMD, MFC_GETF_CMD): Likewise.
(MFC_GETL_CMD, MFC_GETLB_CMD, MFC_GETLF_CMD): Likewise.
(MFC_SNDSIGB_CMD, MFC_SNDSIGF_CMD): Likewise.

(MFC_SDCRT_CMD, MFC_SDCRTST_CMD): New defines.
(MFC_SDCRZ_CMD, MFC_SDCRST_CMD, MFC_SDCRF_CMD): Likewise.
(mfc_sdcrt, mfc_sdcrtst): Likewise.
(mfc_sdcrz, mfc_sdcrst, mfc_sdcrf): Likewise.

(spu_read_machine_status): Fix typo.

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

* config/spu/spu.h (CANNOT_CHANGE_MODE_CLASS): Allow (multi)word-sized
SUBREG of multi-word hard register.
* config/spu/spu.c (valid_subreg): Likewise.
(adjust_operand): Handle SUBREGs of multi-word hard registers.

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

2008-08-05  Vincent Celier  <celier@adacore.com>

* a-wtdeio.adb (Put (Current_Output)): Use Fore in the call to Put
(File).

* a-ztdeio.adb: Ditto.

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

2008-08-05  Pascal Obry  <obry@adacore.com>

* adaint.c, adaint.h, s-os_lib.adb, s-os_lib.ads: Add support for the
readable attribute.

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

2008-08-05  Vincent Celier  <celier@adacore.com>

* s-wchwts.adb:
(Wide_String_To_String): Returns a String with the same 'First as its
parameter S.
(Wide_Wide_String_To_String): Ditto

* s-wchwts.ads:
(Wide_String_To_String): Document that the lowest index of the returned
String is equal to S'First.

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

* Makefile.in (gnatlib*): Now depend on oscons target.
(oscons): New target.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* xoscons.adb, xutil.ads, xutil.adb, s-oscons-tmplt.c: New files.

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Generate
s-oscons.ads

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* opt.ads (Warn_On_Biased_Representation): New flag

* sem_ch13.adb:
(Analyze_Attribute_Definition_Clause): Issue warning when biased
representation is required.
(Minimum_Size): Don't allow biasing if enum rep clause case

* sem_warn.adb:
(Set_Dot_Warning_Switch): Add handling of -gnatw.b/B switches
(Set_Warning_Switch): Include -gnatw.b in -gnatwa, -gnatw.B in gnatws

* usage.adb: Add lines for -gnatw.b/B switches

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

2008-08-05  Pascal Obry  <obry@adacore.com>

* adaint.c: In UNIX cases do not call __gnat_stat but stat directly.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* socket.c: Minor reformatting.

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

2008-08-05  Pascal Obry  <obry@adacore.com>

* a-coinve.adb: Reorder the code to avoid uninitialized warning.

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

2008-08-05  Richard Guenther  <rguenther@suse.de>

PR middle-end/37026
* gcc.c-torture/compile/pr37026.c: New testcase.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Validate_Array_Type_Instance): Only apply complex
visibility check on the component type if the simple test fails.

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* prj-nmsc.adb: Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting

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

* gnat.dg/not_null.adb: New test.

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

2008-08-05  Bob Duff  <duff@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): Avoid type Any_Access in
unresolved initial value of "null", because it causes implicitly
generated "=" operators to be ambiguous, and because this type should
not be passed to gigi.

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* prj.ads: Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* s-fileio.adb: Minor code reorganization
Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* s-os_lib.adb: Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* prj-attr.ads: Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* mlib.adb: Minor code reorganization
Minor reformatting

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* g-sercom.adb, g-sercom.ads, g-sercom-mingw.adb,
g-sercom-linux.adb (Data_Bits): Change literals B7 and B8 to CS7 and
CS8.

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* make.adb: Minor reformatting

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

2008-08-05  Bob Duff  <duff@adacore.com>

* checks.ads: Minor comment fix

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

2008-08-05  Jose Ruiz  <ruiz@adacore.com>

* init.c (__gnat_install_handler for linux): If we are building the
Xenomai run time then we need to do two additional things: avoid
memory swapping and transform the Linux environment task into a native
Xenomai task.

* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for xenomai run
time): Use interface to Xenomai native skin and avoid linux-specific
way of setting CPU affinity.
(EH_MECHANISM for the xenomai run time): Use sjlj exception mechanism.

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

2008-08-05  Vincent Celier  <celier@adacore.com>

* make.adb (Switches_Of): Check for Switches (others), before checking
for Default_Switches ("Ada").
(Gnatmake): Use Builder'Switches (others) in preference to
Builder'Default_Switches ("Ada") if there are several mains.

* prj-attr-pm.adb:
(Add_Attribute): Add component Others_Allowed in Attribute_Record
aggregate.

* prj-attr.adb:
Add markers to indicates that attributes Switches allow others as index
(Others_Allowed_For): New Boolean function, returning True for
attributes with the mark.
(Initialize): Recognize optional letter 'O' as the marker for
associative array attributes where others is allowed as the index.

* prj-attr.ads:
(Others_Allowed_For): New Boolean function
(Attribute_Record): New Boolean component Others_Allowed

* prj-dect.adb:
(Parse_Attribute_Declaration): For associative array attribute where
others is allowed as the index, allow others as an index.

* prj-nmsc.adb:
(Process_Binder): Skip associative array attributes with index others
(Process_Compiler): Ditto

* prj-util.adb:
(Value_Of (Index, In_Array)): Make no attempt to put in lower case when
index is All_Other_Names.

* prj.ads:
(All_Other_Names): New constant

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

2008-08-05  Vasiliy Fofanov  <fofanov@adacore.com>

* gen-oscons.c: Adapt for VMS where termios.h is not available.

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

2008-08-05  Vincent Celier  <celier@adacore.com>

* prj-proc.adb:
(Process_Declarative_Items): Skip associative array attribute when index
is reserved word "others".

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

2008-08-05  Vincent Celier  <celier@adacore.com>

* mlib.adb: Update comments.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* gen-soccon.c: Rename to gen-oscons.c

* gen-oscons.c: New file. Now generate System.OS_Constants instead of
GNAT.Sockets.Constants.
Add new constants for GNAT.Serial_Communications and System.File_IO.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* a-rttiev.adb: Minor reformatting (comments)

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

2008-08-05  Pascal Obry  <obry@adacore.com>

* adaint.c, adaint.h, s-os_lib.adb, s-os_lib.ads: Fix the
Set_Read_Only Win32 implementation.

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

2008-08-05  Javier Miranda  <miranda@adacore.com>

* sem_util.adb (Collect_Interfaces_Info): Minor reformating.
* exp_ch3.adb (Build_Offset_To_Top_Functions): Code cleanup: the
implementation of this routine has been simplified.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* exp_strm.adb: Minor reformatting (comments)

* sem_ch12.adb: Minor reformatting.

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

* gnat.dg/access_discr2.adb: New test.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Call): If this is a call to the predefined
Abort_Task, warn if the call appears within a protected operation.

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

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

* exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For access
discriminants, indicate that the corresponding object declaration has
no initialization, to prevent spurious warnings when the access type is
null-excluding.

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

2008-08-05  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Sort_Sections, Group_Switches): New/Modified internal
methods needed to handle switch sections when building a command line.
(Define_Section, Add_Switch, Remove_Switch, Is_New_Section,
Current_Section): New public methods or methods modified to handle
building command lines with sections.
(Set_Command_Line): Take into account sections when analysing a switch
string.
(Start): Sort the switches by sections before iterating the command line
elements.

* g-comlin.ads (Define_Section, Add_Switch, Remove_Switch,
Is_New_Section, Current_Section): New methods or methods modified to
handle building command lines with sections.

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

2008-08-05  Thomas Quinot  <quinot@adacore.com>

* tbuild.ads (New_External_Name): Update spec to reflect relaxed
restriction on Prefix.

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* checks.adb: Minor reformatting

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

2008-08-05  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting

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

PR libgcj/31890:
* gcj/javaprims.h: Regenerate class list.

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

Daily bump.

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

    PR c++/36963
        * typeck2.c (check_narrowing): Allow narrowing conversion
        from an explicit floating-point constant.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb:
(Expand_Simple_Function_Return): Check No_Secondary_Stack restriction
at point of return.

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb:
(Replace_Anonymous_Access_To_Protected_Subprogram): Handle properly an
anonymous access to protected subprogram that is the return type of the
specification of a subprogram body.

* sem_ch6.adb:
(Analyze_Subprogram_Body): if the return type is an anonymous access to
subprogram, freeze it now to prevent access anomalies in the back-end.

* exp_ch9.adb: Minor code cleanup.
Make sure that new declarations are inserted into the tree before
analysis (from code reading).

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_In): Suppress range warnings in instances

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

    PR c++/37006
        * pt.c (tsubst_decl): Leave DECL_INITIAL set on deleted
        instantiations.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

* tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add
the candidate with the stripped base if that base is different
from the original base even for offset zero.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

PR middle-end/36691
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly
check for no_overflow.

* gcc.c-torture/execute/pr36691.c: New testcase.

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

2008-08-04  Victor Kaplansky  <victork@il.ibm.com>

        * gcc.dg/vect/vect-complex-5.c: New test.

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

2008-08-04  Richard Guenther  <rguenther@suse.de>

* tree-vect-transform.c (vectorizable_call): Fix tuplification.

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

2008-08-04  Paul Brook  <paul@codesourcery.com>

gcc/
* cofig/arm/arm.c (thumb_core_reg_alloc_order): New.
(arm_order_regs_for_local_alloc): New function.
* config/arm/arm-protos.h (arm_order_regs_for_local_alloc): Add
prototype.
* config/arm/arm.h (ORDER_REGS_FOR_LOCAL_ALLOC): Define.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb (Process_Convention): Add missing support for
 N_Private_Extension_Declaration nodes.

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

2008-08-04  Vasiliy Fofanov  <fofanov@adacore.com>

* g-soccon-mingw.ads: Fix value for MSG_WAITALL

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting

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

    PR c++/36999
        * parser.c (cp_parser_elaborated_type_specifier): Warn only when
        the declaration's id is followed by a semicolon.

* g++.dg/warn/pr36999.C: New.

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

2008-08-04  H.J. Lu  <hongjiu.lu@intel.com>

PR target/37012
* config/i386/i386.c (ix86_expand_prologue): Use UNITS_PER_WORD
instead of STACK_BOUNDARY / BITS_PER_UNIT to align stack.
(ix86_expand_epilogue): Likewise.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.c: Refine support for Windows file attributes.

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb: Minor reformatting.

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

2008-08-04  Thomas Quinot  <quinot@adacore.com>

* exp_ch6.adb: Minor comment fix.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* freeze.adb:
(Freeze_Entity): Only check No_Default_Initialization restriction for
constructs that come from source

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_eval.adb (Subtypes_Statically_Match): Remove superfluous patch
added in previous patch to handle access to subprograms.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb:
(Valid_Conversion): Catch case of designated types having different
sizes, even though they statically match.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.h: Add missing prototype.

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

2008-08-04  Pascal Obry  <obry@adacore.com>

* adaint.c, s-os_lib.adb, s-os_lib.ads: Use Windows ACL to deal with
file attributes.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* sem_ch13.ads: Minor comment update

* sem_res.adb: (Large_Storage_Type): Improve previous change.

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

2008-08-04  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (ix86_compute_frame_layout): Fix a typo
in comments.

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

2008-08-04  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support
for N_Formal_Object_Declaration nodes. Adding kludge required by
First_Formal to provide its functionality with access to functions.
(Replace_Anonymous_Access_To_Protected_Subprogram): Add missing support
for anonymous access types returned by functions.

* sem_ch5.adb (Analyze_Assignment): Code cleanup to avoid duplicate
conversion of null-excluding access types (required only once to force
the generation of the required runtime check).

* sem_type.adb (Covers): minor reformating

* checks.adb (Null_Exclusion_Static_Checks): Avoid reporting errors
with internally generated nodes. Avoid generating the error inside init
procs.

* sem_res.adb (Resolve_Membership_Test): Minor reformating.
(Resolve_Null): Generate the null-excluding check in case of assignment
to a null-excluding object.
(Valid_Conversion): Add missing support for anonymous access to
subprograms.

* sem_ch6.adb (Check_Return_Subtype_Indication): Add missing support for
anonymous access types whose designated type is an itype. This case
occurs with anonymous access to protected subprograms types.
(Analyze_Return_Type):  Add missing support for anonymous access to
protected subprogram.

* sem_eval.adb (Subtypes_Statically_Match): In case of access to
subprograms addition of missing check on matching convention. Required
to properly handle access to protected subprogram types.

* exp_ch3 (Build_Assignment): Code cleanup removing duplicated check on
null excluding access types.

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

* gnat.dg/test_ai254.adb: New test.

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

2008-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/postypes.h: Reinstate inclusion of <stdint.h>;
also define the __STDC_* macros.
(streamoff): Adjust.

* include/tr1_impl/cstdint: Check that the __STDC_* macros are
not defined before defining.

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

* gnat.dg/bip_aggregate_bug.adb: New test.

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

2008-08-04  Vasiliy Fofanov  <fofanov@adacore.com>

* g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files.

* gcc-interface/Makefile.in: Use 64bit-specific system files when
compiling for 64bit windows.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* g-comlin.adb: Minor reformatting

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

2008-08-04  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the
target to the type of the aggregate in the case where the target object
is class-wide.

* exp_ch5.adb (Expand_Simple_Function_Return): When the function's
result type is class-wide and inherently limited, and the expression
has a specific type, create a return object of the specific type, for
more efficient handling of returns of build-in-place aggregates (avoids
conversions of the class-wide return object to the specific type on
component assignments).

* sem_ch6.adb (Check_Return_Subtype_Indication): Suppress the error
about a type mismatch for a class-wide function with a return object
having a specific type when the object declaration doesn't come from
source. Such an object can result from the expansion of a simple return.

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_dist.adb: Minor reformatting

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

2008-08-04  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting

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

2008-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null
access type and the allocator is not initialized, warn rather than
reporting an error.

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