PR middle-end/35432
        * gimplify.c (gimplify_modify_expr): Do not optimize zero-sized types
        if want_value.
 testsuite/
        * gcc.c-torture/compile/pr35432.c: New file.

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

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

* gcc-interface/Makefile.in,
g-socthi-vxworks.adb, g-socthi-mingw.adb, g-sttsne-vxworks.adb,
g-socthi.adb, g-socket.adb, g-socket.ads, g-sothco.ads,
g-soccon-linux-x86.ads, g-soccon-vxworks.ads, g-soccon-mingw.ads,
g-soccon-hpux-ia64.ads, g-soccon-irix.ads, g-soccon-linux-64.ads,
g-soccon-aix.ads, g-soccon-solaris.ads, g-soccon-lynxos.ads,
g-soccon-vms.ads, g-soccon.ads, g-soccon-freebsd.ads,
g-soccon-linux-ppc.ads, g-soccon-tru64.ads, g-soccon-hpux.ads,
g-soccon-solaris-64.ads, gen-oscons.c, g-soccon-darwin.ads,
g-soccon-mingw-64.ads, g-soccon-linux-mips.ads, g-soccon-rtems.ads:
Remove GNAT.Sockets.Constants. This internal package is replaced by
System.OS_Constants.

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

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

* gnat_ugn.texi: Clarify -gnato documentation

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

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

* sem_ch3.adb (Analyze_Component_Declaration): Protect against misuse
of incomplete type.

* sem_ch8.adb (Analyze_Object_Renaming): Diagnose properly a renaming
of a formal parameter of an incomplete type. Improve error message for
other improper uses of incomplete types.

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

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

* Makefile.in: Now generate s-oscons-$(THREAD_KIND).

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

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

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
Remove obsolete targets referencing gen-soccon
When generating s-oscons.ads, use a file name that includes the
THREAD_KIND, to ensure that the (potentially different) version from a
previous build with a different threads flavour does not get reused.

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

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

* gcc-interface/Makefile.in, gcc-interface/Make-lang.in:
Remove obsolete targets referencing gen-soccon
When generating s-oscons.ads, use a file name that includes the
THREAD_KIND, to ensure that the (potentially different) version from a
previous build with a different threads flavour does not get reused.

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

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

* s-fileio.adb (Open): When file open operation fails, raise Name_Error
only when the operating system reports a non-existing file or directory
(ENOENT), otherwise raise Name_Error.

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

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

* exp_ch11.adb: Minor reformatting

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

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

* sem_ch3.adb (Access_Subprogram_Declaration): If the return type is
incomplete, add the access_to_subprogram type to the list of private
dependents only if the incomplete type will be completed in the current
scope.
(Build_Discriminant_Constraints): If the type of the discriminant is
access_to_variable, reject a constraint that is access_to_constant.

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

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

* sem_res.adb: Minor reformatting

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

New tests.

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

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

* g-socket-dummy.adb, g-socket-dummy.ads, g-sothco-dummy.adb,
g-sothco-dummy.ads, g-socthi-dummy.adb, g-socthi-dummy.ads,
g-sttsne-dummy.ads: New files.

* gcc-interface/Makefile.in, Makefile.rtl: Use placeholder sources
with pragma Unimplemented_Unit for sockets packages on Nucleus.

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

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

* g-comlin.adb (Set_Command_Line): Now that aliases can contain
parameters, always specify the expected separator.

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

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

* sem_res.adb (Resolve_Call): Use base type to determine whether a
dereference is needed because a subtype of an access_to_subprogram is
simply an access-subtype

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

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

* exp_disp (Expand_Interface_Actuals): Adds missing support for
expansion of calls to subprograms using selected components.

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

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

* adaint.c: Another fix for ACL support on Windows.

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

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

* sem_ch3.adb: Minor reformatting

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

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

* g-comlin.adb (Define_Switch, Get_Switches): New.
(Can_Have_Parameter, Require_Parameter, Actual_Switch): New, used when
ungrouping switches.
(For_Each_Simple_Switch): Allow more control over parameters handling.
This generic method now allows ungrouping of switches with parameters
and switches with more than one letter after the prefix.
(Set_Command_Line): Take care of switches that are prefixed with a
switch handling parameters without delimiter (-gnatya and -gnaty3 for
example).
(Add_Switch, Remove_Switch): Handle parameters possibly present inside
a group, as in gnaty3aM80 (3 and 80 are parameters). Report status of
the operation.
(Start, Alias_Switches, Group_Switches): Take care of parameters
possibly present inside a group.

* g-comlin.ads (Define_Switch): New method used to define a list of
expected switches, that are necessary for correctly ungrouping switches
with more that one character after the prefix.
(Get_Switches): Method that builds a getopt string from the list of
switches as set previously by Define_Switch.
(Add_Switch, Remove_Switch): New versions of the methods, reporting the
status of the operation. Also allow the removal of switches with
parameters only.
(Command_Line_Configuration_Record): Maintain a list of expected
switches.

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

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

* sem.adb: Minor rewording (comment)

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

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

* sem_ch3.adb (Find_Type_Name): protect against duplicate incomplete
declaration for the same type.

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

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

* g-awk.adb (Finalize): Do not use directly objects of the type in the
finalization routine to prevent elaboration order anomalies in new
finalization scheme.

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

2008-08-06  Quentin Ochem  <ochem@adacore.com>

* s-stausa.adb (Fill_Stack): Fixed pragma assert and top pattern mark
in the case of an empty pattern size.
(Compute_Result): Do not do any computation in the case of an empty
pattern size.
(Report_Result): Fixed computation of the overflow guard.

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

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

* gnat_ugn.texi: Document compiler switch -gnateG

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

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

* xnmake.adb: Use new XUtil package for platform independent text
output.

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

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

* gcc-interface/decl.c (gnat_to_gnu_param): Force 32bit descriptor if
TARGET_MALLOC64 clear.

* gcc-interface/utils2.c (build_call_alloc_dealloc): Force 32bit malloc
if TARGET_MALLOC64 clear.

* gcc-interface/gigi.h (TARGET_ABI_OPEN_VMS): Move here from utils2.c
(TARGET_MALLC64): New macro. Default to clear.

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

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

* gcc-interface/utils2.c (snames.h) Include
(TARGET_ABI_OPEN_VMS): Initialize.
(build_call_alloc_dealloc); [TARGET_ABI_OPEN_VMS] Allocate on 32bit heap
for Convention C.

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

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

* exp_disp (Expand_Interface_Conversion): Freeze the entity associated
with the target interface before expanding the code of the interface
conversion.

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

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

* sem_ch3.adb (Process_Discriminants): diagnose redundant or improper
null exclusion in a discriminant declaration

* sem_ch8.adb (Analyze_Object_Renaming): diagnose null exclusion
indicators when type is not an access type.

* sem_ch12.adb (Formal_Object_Declaration): diagnose null exclusion
indicators when type is not an access type.

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

* predict.c (maybe_hot_frequency_p): When profile is absent, all
frequencies might be hot.

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

2008-08-06  Andreas Krebbel  <krebbel1@de.ibm.com>

* reload.c (find_reloads): Force constants into literal pool
also if they are wrapped in a SUBREG.

2008-08-06  Andreas Krebbel  <krebbel1@de.ibm.com>

  * gcc.c-torture/compile/20080806-1.c: New testcase.

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

PR target/35659
* haifa-sched.c (sched_insn_is_legitimate_for_speculation_p): Move ...
* sched-deps.c (sched_insn_is_legitimate_for_speculation_p): ... here.
Don't allow predicated instructions for data speculation.
* sched-int.h (sched_insn_is_legitimate_for_speculation_p): Move
declaration.

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

* haifa-sched.c (extend_global): Split to extend_global_data and
extend_region_data.  Update all uses.
(extend_all): Rename to extend_block_data.

* gcc.target/ia64/20080802-1.c: New test.

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

* sched-rgn.c (new_ready): Check if instruction can be
speculatively scheduled before attempting speculation.
(debug_rgn_dependencies): Remove wrongful assert.

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

    PR c++/37016
        * decl.c (build_ptrmemfunc_type): Don't require structural
        comparison of PMF types.
        * tree.c (cp_build_qualified_type_real): Don't clear
        a valid TYPE_PTRMEMFUNC_TYPE.
        * typeck.c (cp_build_unary_op): Still do build_ptrmemfunc in
        templates.

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

Daily bump.

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

* config/xtensa/t-xtensa: Remove dependency for gt-xtensa.h.

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

* 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