2008-05-28  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/constraints.md ('b', 'C', 'D', 'e'): New constraint
letters defined.

* config/s390/s390.c (s390_compare_and_branch_condition_mask,
s390_contiguous_bitmask_p, s390_symref_operand_p,
s390_check_symref_alignment, s390_reload_larl_operand,
s390_reload_symref_address): New functions.
(s390_branch_condition_mnemonic): Support compare and branch
instructions.
(s390_mem_constraint): Avoid symrefs to accepted by the 'T'
and 'W' constraints.
(s390_secondary_reload): Add secondary reloads for unaligned
symbol refs or symbol refs to floating point or QI/TI mode
integer values.
(legitimate_address_p): Accept symbol references as addresses.
(s390_expand_insv): Use rotate and insert selected bits
instruction for insv when building for z10.
(print_operand_address): Handle symbol ref addresses.
(print_operand): Output modifier 'c' added for signed byte
values.
(s390_encode_section_info): Mark symbol refs with
SYMBOL_FLAG_NOT_NATURALLY_ALIGNED if appropriate.

* config/s390/s390.md (SIL,RRS,RIS): New instruction formats added.
(length attribute): RRF, RRR have 4 byte length.
(FPALL, INTALL): New mode iterators added.
(*tstdi_sign, *cmpdi_ccs_sign, *cmpsi_ccs_sign,
*cmp<mode>_ccs, *cmpdi_ccu_zero, *cmpdi_ccu, *cmpsi_ccu, *cmphi_ccu,
*movdi_64, *movsi_zarch, *movhi, movmem<mode>, *movmem_short,
*extendsidi2, *extendhidi2_extimm, *extendhisi2_extimm,
*zero_extendsidi2, adddi3, *adddi3_31z, *adddi3_31, addsi3,
*add<mode>3, *add<mode>3_carry1_cc, *add<mode>3_carry2_cc,
*add<mode>3_cc, *add<mode>3_imm_cc, *muldi3_sign, muldi3,
*mulsi3_sign, mulsi3, mulsidi3): Patterns enhanced with z10
instructions.
(*cmphi_ccs_z10, *cmpdi_ccs_signhi_rl, *cmpsi_ccu_zerohi_rlsi,
*cmp<GPR:mode>_ccu_zerohi_rldi, *cmp_and_br_signed_<mode>,
*cmp_and_br_unsigned_<mode>, reload<INTALL:mode><P:mode>_tomem_z10,
reload<INTALL:mode><P:mode>_toreg_z10,
reload<FPALL:mode><P:mode>_tomem_z10,
reload<FPALL:mode><P:mode>_toreg_z10,
reload<P:mode>_larl_odd_addend_z10, *execute_rl, *insv<mode>_z10,
*insv<mode>_z10_noshift, *insv<mode>_or_z10_noshift,
*zero_extendhi<mode>2_z10, *cmp_and_trap_signed_int<mode>,
*cmp_and_trap_unsigned_int<mode>, prefetch): New pattern or expander
definition.
(movmem, clrmem, cmpmem): New splitters added.

* config/s390/predicates.md (larl_operand): Use
SYMBOL_REF_FLAGS (op) & SYMBOL_FLAG_ALIGN1 replaced with
SYMBOL_REF_ALIGN1_P.
(s390_signed_integer_comparison,
s390_unsigned_integer_comparison): New predicates.

* config/s390/s390-protos.h (s390_check_symref_alignment,
s390_contiguous_bitmask_p, s390_reload_larl_operand,
s390_reload_symref_address,
s390_compare_and_branch_condition_mask): Prototypes added.

* config/s390/s390.h (TARGET_MEM_CONSTRAINT,
SYMBOL_REF_ALIGN1_P, SYMBOL_FLAG_NOT_NATURALLY_ALIGNED,
SYMBOL_REF_NOT_NATURALLY_ALIGNED_P): Macro definition added.

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

2008-05-28  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.c (z10_cost): New cost function for z10.
(s390_handle_arch_option, override_options): Support
-march=z10 switch.
(s390_issue_rate): Adjust issue rate for z10.
* config/s390/s390.h (processor_type): Add PROCESSOR_2097_Z10.
(processor_flags): Add PF_Z10.
(TARGET_CPU_Z10, TARGET_Z10): New macro definitions.
* config/s390/s390.md (cpu, cpu_facility attributes): Add z10.
* gcc/config.gcc: Add z10.

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

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

PR tree-optimization/36291
* tree-flow. h (struct gimple_df): Remove var_anns member.
* tree-flow-inline.h (gimple_var_anns): Remove.
(var_ann): Simplify.
* tree-dfa.c (create_var_ann): Simplify.
(remove_referenced_var): Clear alias info from var_anns of globals.
* tree-ssa.c (init_tree_ssa): Do not allocate var_anns.
(delete_tree_ssa): Clear alias info from var_anns of globals.
Do not free var_anns.
(var_ann_eq): Remove.
(var_ann_hash): Likewise.

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

Resync.

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

* exp_util.ads: Minor reformatting.

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

* exp_util.adb: Minor reformatting

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

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

* restrict.adb:
(Check_Restriction): violation of restriction No_Finalization is
treated as a serious error to stop expansion

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

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

* restrict.ads:
Add missing restrictions, and properly label all GNAT defined ones

* rtsfind.ads:
Add entry for Ada_Real_Time.Timing_Events.Timing_Event
Add entry for Ada.Task_Termination.Set_Specific_Handler
Add entry for Ada.Task_Termination.Specific_Handler

* s-rident.ads:
Add missing restrictions and properly mark all gnat defined ones

* sem_ch3.adb:
(Analyze_Object_Declaration): Check No_Local_Timing_Events restriction

* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers

* gnat_rm.texi: Add missing restrictions, and properly label all
GNAT defined ones

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

* Make-lang.in: Remove gprmake.

* gprmake.adb, makegpr.ads, makegpr.adb: Removed.

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

* gnat.dg/old_errors.adb, gnat.dg/deep_old.adb: Adjust.
* gnat.dg/fixce.adb: New test.
* gnat.dg/frunaligned*.ad[sb]: New test.

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

Resync.

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

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

* exp_ch5.adb:
(Expand_Simple_Function_Return): Copy unaligned result into temporary

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

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

* exp_fixd.adb (Build_Multiply): Correct one-off error in computing
size

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

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

* gnat_rm.texi: Add note on Old giving warning when applied to constant

* sem_attr.adb (Analyze_Attribute, case Old): Give warning if prefix is
a constant

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

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

* sem_ch3.adb (Diagnose_Interface): Cleanup error messages involving
improper progenitor names, and avoid cascaded errors.

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

* gnat.dg/specs/iface_eq_test.ads,
gnat.dg/specs/iface_eq_test-child.ads: New test.
* gnat.dg/specs/self_class.ads: New test.

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

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

* sem_ch3.adb (Derive_Progenitor_Primitives): Add missing support
for user-defined predefined primitives.

* sem_util.adb (Matches_Prefixed_View_Profile): Ditto.
(Find_Overridden_Synchronized_Primitive): Ditto.

* sem_ch6.adb (Check_Synchronized_Overriding): Ditto.

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

2008-05-28  Mark Shinwell  <shinwell@codesourcery.com>

* config/mips/mips.c (mips_cpu_info_table): Add loongson2e
and loongson2f entries.
(mips_rtx_cost_data): Add entries for Loongson-2E/2F.
* config/mips/mips.h (processor_type): Add Loongson-2E
and Loongson-2F entries.
(TARGET_LOONGSON_2E, TARGET_LOONGSON_2F, TARGET_LOONGSON_2EF): New.
(MIPS_ISA_LEVEL_SPEC): Handle Loongson-2E/2F.
* config/mips/mips.md (define_attr cpu): Add loongson2e and loongson2f.
* doc/invoke.texi (MIPS Options): Document loongson2e
and loongson2f processor names.

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

Daily bump.

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

* gcc.dg/tree-ssa/data-dep-1.c: Skip test for avr-*-* too much code.
* gcc.dg/tree-ssa/ldist-3.c: Ditto.
* gcc.dg/tree-ssa/ldist-5.c: Ditto.
* gcc.dg/tree-ssa/ifc-20040816-2 .c: Adjust for int size < 4 bytes.
* gcc.dg/tree-ssa/pr32540-1.c: Ditto.
* gcc.dg/tree-ssa/pr32540-2.c: Ditto.
* gcc.dg/tree-ssa/ssa-lim-5.c: Ditto.
* gcc.dg/tree-ssa/pr23115.c: Adjust test for double size < 8 bytes.

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

gcc/

2008-05-27  H.J. Lu  <hongjiu.lu@intel.com>

PR target/35767
PR target/35771
* config/i386/i386.c (ix86_function_arg_boundary): Use
alignment of canonical type.
(ix86_expand_vector_move): Check unaligned memory access for
all SSE modes.

gcc/testsuite/

2008-05-27  H.J. Lu  <hongjiu.lu@intel.com>

PR target/35767
PR target/35771
* gcc.target/i386/pr35767-1.c: New.
* gcc.target/i386/pr35767-1d.c: Likewise.
* gcc.target/i386/pr35767-1i.c: Likewise.
* gcc.target/i386/pr35767-2.c: Likewise.
* gcc.target/i386/pr35767-2d.c: Likewise.
* gcc.target/i386/pr35767-2i.c: Likewise.
* gcc.target/i386/pr35767-3.c: Likewise.
* gcc.target/i386/pr35767-4.c: Likewise.
* gcc.target/i386/pr35767-5.c: Likewise.

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

2008-05-27  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/assignment_3.f90: Add missing cleanup-modules.

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

2008-05-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/36316
        * trans-array.c (gfc_set_loop_bounds_from_array_spec):
        Add missing fold_convert.

2008-05-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/36316
        * gfortran.dg/assignment_3.f90: New.

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

gcc/testsuite/
* lib/fortran-torture.exp (get-fortran-torture-options):
New function, replacing old FORTRAN_TORTURE_OPTIONS code.
* gfortran.fortran-torture/compile/compile.exp: Use
[get-fortran-torture-options] instead of $FORTRAN_TORTURE_OPTIONS.
* gfortran.fortran-torture/execute/execute.exp: Likewise.

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

2008-05-27  H.J. Lu  <hongjiu.lu@intel.com>

* dwarf2out.c (current_fde): Change return type to dw_fde_ref.
Moved to the front of file.

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

2008-05-27  Xuepeng Guo  <xuepeng.guo@intel.com>
    H.J. Lu  <hongjiu.lu@intel.com>

* dwarf2out.c (current_fde): New.
(add_cfi): Use it.
(lookup_cfa:): Likewise.
(dwarf2out_end_epilogue): Likewise.
(dwarf2out_note_section_used): Likewise.

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

    Fix c++/27975.

        * c.opt (Wenum-compare): New warning option.
        * doc/invoke.texi (Warning Options): Document -Wenum-compare.

cp/
        * call.c (build_new_op): Make warning conditional on OPT_Wenum_compare.

testsuite/
        * g++.dg/warn/Wenum-compare.C: New testcase.
        * g++.dg/warn/Wenum-compare-no.C: Ditto.

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

PR middle-end/36326
* tree-gimple.c (is_gimple_mem_rhs): Remove work-around for
non-BLKmode types.
* tree-tailcall.c (find_tail_calls): Don't mark calls storing
into memory as tail calls.

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

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

PR tree-optimization/36339
* tree-ssa-alias.c (set_initial_properties): Escaped pt_anything
pointers cause all addressable variables to be call clobbered.

* gcc.c-torture/execute/pr36339.c: New testcase.
* gcc.dg/tree-ssa/loadpre8.c: XFAIL.

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

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

PR tree-optimization/36245
* tree-ssa-address.c (add_to_parts): Deal with non-pointer
bases.

* gcc.c-torture/compile/pr36245.c: New testcase.

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

Resync.

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

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

* mlib-prj.adb: Minor reformatting

* prj-part.adb: Minor reformatting

* prj.ads: Minor reformatting

* exp_ch3.adb: Minor reformatting.

* sem_ch3.ads: Minor reformatting

* sem_eval.adb: Minor reformatting

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

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

* exp_aggr.adb (Build_Array_Aggr_Code): If component type includes
tasks and context is an object declaration. create master entity before
expansion.

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

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

* sem_ch3.adb (Build_Incomplete_Type_Declaration): In the case of an
untagged private type with a tagged full type, where the full type has
a self reference, create the corresponding class-wide type early, in
case the self reference is "access T'Class".

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

* prj-nmsc.adb: Minor reformatting

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

* a-ststio.adb, s-direio.adb: Further code clean up of previous change.
Update comments.

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

Resync.

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

Replace heavy address clause by 'Unrestricted_Access, cleaner and more portable
across GNAT targets, since this kind of address clause is not supported by
VM back-ends (.NET/JGNAT).

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

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

* prj-part.adb:
(Project_Path_Name_Of.Try_Path): Do not use Locate_Regular_File to find
a project file, so that symbolic links are not resolved.

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

Replace address clause by unrestricted_access, simpler and compatible with .NET.

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

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

* gnat_rm.texi:
Document the new behavior regarding trampolines.

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

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

* exp_aggr.adb (Expand_Array_Aggregate): If the aggregate contains
tasks, create an activation chain now, before the expansion into
assignments and build-in-place calls that require the presence of an
activation chain.
(Backend_Processing_Possible): If the component type is inherently
limited, the aggregate must be expanded into individual built-in-place
assignments.

* sem_ch6.adb (Build_Extra_Formals): Use underlying type of result to
determine whether an allocation extra parameter must be built, to
handle case of a private type whose full type is a discriminated type
with defaults.

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

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

* gnatcmd.adb:
<prefix>-gnat stack spawns gnatstack, not <prefix>-gnatstack

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

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.md: Replace all occurences of the 'm'
constraint with 'RT'.

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

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.md ("cpu_facility", "enabled"): Attribute
definitions added.
("*movdi_64dfp", "*movdi_64extimm", "*movdi_64"): Merged into
"*movdi_64".
("*anddi3_extimm", "*anddi3"): Merged into "*anddi3".
("*iordi3_extimm", "*iordi3"): Merged into "*iordi3".
("*xordi3_extimm", "*xordi3"): Merged into "*xordi3".

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

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* reload.c: (find_reloads): Skip alternatives according to the
"enabled" attribute. Constify the constraint variable.
* recog.c (get_attr_enabled): Add default implementation.
(extract_insn): Set the alternative_enabled_p array
in the recog_data struct.
(preprocess_constraints, constrain_operands): Skip
alternatives according to the "enabled" attribute
* recog.h (struct recog_data): New field alternative_enabled_p.
(skip_alternative): New inline function.
* regclass.c: (record_operand_costs): Check the "enabled"
attribute.
(record_reg_classes): Skip alternative according to the
"enabled" attribute.

* doc/md.texi: Add documention for the "enabled" attribute.

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

2008-05-27  Andreas Krebbel  <krebbel1@de.ibm.com>

* defaults.h (TARGET_MEM_CONSTRAINT): New target macro added.
* postreload.c (reload_cse_simplify_operands): Replace 'm'
constraint with TARGET_MEM_CONSTRAINT.
* recog.c (asm_operand_ok, preprocess_constraints,
constrain_operands): Likewise.
* regclass.c (record_reg_classes): Likewise.
* reload.c (find_reloads, alternative_allows_const_pool_ref):
Likewise.
* reload1.c (maybe_fix_stack_asms): Likewise.
* stmt.c (parse_output_constraint, parse_input_constraint):
Likewise.
* recog.h: Adjust comment.
* genpreds.c (generic_constraint_letters): Remove 'm' constraint.
* genoutput.c (note_constraint): Don't emit error for 'm'
constraint.
* doc/md.texi: Add a note to description of 'm' constraint.
* doc/tm.texi: Document the new TARGET_MEM_CONSTRAINT macro.

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

Resync.

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

* tree-sra.c (sra_type_can_be_decomposed_p) <RECORD_TYPE>: Make sure
that the bitfield is of integral type before testing its precision.

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

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

* gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj.adb,
prj.ads, makegpr.adb, makeutl.adb, clean.adb, prj-nmsc.adb,
mlib-tgt.adb, prj-env.adb, prj-env.ads:
(Path_Information): New record type
Use component of type Path_Information when there are two paths, one in
canonical format and one in display format.
Update the project manager to these new components.

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

* bindgen.adb: Update comments.

* s-tasinf-mingw.adb: Add "with" of System.OS_Interface

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

Resync

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

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

* makeutl.adb: Minor reformatting
* prj-nmsc.adb: Minor reformatting
* s-stausa.adb: Minor reformatting
* s-stausa.ads: Minor reformatting
* sem_ch6.adb: Minor reformatting

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

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

* sem_res.adb: Minor comment fixes

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

Resync.

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

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

(System.File_IO.{Close, Delete, Reset}):
Change File parameter from "in out AFCB_Ptr" to "access AFCB_Ptr".

(Ada.*_IO.{Close, Delete, Reset, Set_Mode}):
Pass File parameter by reference.

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

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

* sem_ch3.adb:
(Get_Discr_Value): Remove obsolete code that failed to find the value
of a discriminant for an inherited task component appearing in a type
extension.

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

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

* prj-nmsc.adb:
(Check_File): Make sure that a unit that replaces the same unit in a
 project being extended is properly processed.

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

2008-05-27  Quentin Ochem  <ochem@adacore.com>

* s-stausa.adb (Initialize): Updated result initialization, and
initialization of environment stack.
(Fill_Stack): Improved computation of the pattern zone, taking into
account already filled at the calling point.
(Get_Usage_Range): Now uses Min_Measure and Max_Measure instead of
Measure and Overflow_Guard.
(Report_Result): Fixed computation of the result using new fields of
Stack_Analyzer.

* s-stausa.ads (Initialize_Analyzer): Replaced Size / Overflow_Guard
params by more explicit Stack_Size / Max_Pattern_Size params.
(Stack_Analyzer): Added distinct Stack_Size & Pattern_Size fields.
Added Stack_Used_When_Filling field.
(Task_Result): Replaced Measure / Overflow_Guard by more explicit
Min_Measure and Max_Measure fields.

* s-tassta.adb (Task_Wrapper): Updated call to Initialize_Analyzer.

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

* exp_ch6.adb: Minor reformatting

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

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

* exp_aggr.adb: Add ??? comment
Fix typo

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

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

* makeutl.adb: Minor code reorganization

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

* gnat.dg/interface5.ad[sb]: New test.

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

Resync.

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

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

* makeutl.ads, makeutl.adb:
(Set_Location): New procedure
(Get_Location): New function
(Update_Main): New procedure

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

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

* sem_ch6.adb:
(Is_Interface_Conformant): Handle properly a primitive operation that
overrides an interface function with a controlling access result.
(Type_Conformance): If Skip_Controlling_Formals is true, when matching
inherited and overriding operations, omit as well the conformance check
on result types, to prevent spurious errors.

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

* sem_ch3.adb: Minor reformatting

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

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

* prj-nmsc.adb:
(Process_Sources_In_Multi_Language_Mode): Check that there are not two
sources of the same project that have the same object file name.
(Find_Explicit_Sources): Always remove a source exception that was not
found.

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

* gnat.dg/sync1.ad[sb]: New test.

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

Resync.

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

2008-05-27  Eric Botcazou  <ebotcazou@adacore.com>

* system-darwin-ppc.ads (Always_Compatible_Rep): Set to False.
* system-darwin-x86.ads (Always_Compatible_Rep): Likewise.
* system-freebsd-x86.ads (Always_Compatible_Rep): Likewise.
* system-linux-ppc.ads (Always_Compatible_Rep): Likewise.
* system-linux-x86_64.ads (Always_Compatible_Rep): Likewise.
* system-linux-x86.ads (Always_Compatible_Rep): Likewise.
* system-mingw.ads (Always_Compatible_Rep): Likewise.
* system-solaris-sparc.ads (Always_Compatible_Rep): Likewise.
* system-solaris-sparcv9.ads (Always_Compatible_Rep): Likewise.
* system-solaris-x86.ads (Always_Compatible_Rep): Likewise.

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

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

* prj-nmsc.adb:
(Check_Library): Allow standard project to be extended as a static
library project.
(Get_Mains): Do not inherit attribute Main in an extending library
project.

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

Resync

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

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

* exp_dist.adb: Minor reformating

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

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

* exp_ch6.adb:
(Expand_N_Function_Call): Fix comments. Minor reformatting.

* exp_vfpt.ads:
(Expand_Vax_Foreign_Return): Fix comments.

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

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

* xsnames.adb: Remove unused variable Oname

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

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

* prj-attr.adb: Add new project level attribute Map_File_Option

* prj-nmsc.adb (Process_Linker): Process new attribute Map_File_Option

* prj.ads: Minor reformatting and comment update
(Project_Configuration): New component Map_File_Option

* snames.adb: New standard name Map_File_Option

* snames.ads: New standard name Map_File_Option

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

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

* gnat_ugn.texi:
Add succinct documentation for attribute Excluded_Source_List_File

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

2008-05-27  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb (Fixup_Bad_Constraint): Set the Etype on the bad subtype
to the known type entity E, rather than setting it to Any_Type. Fixes
possible blowup in function Base_Init_Proc, as called from Freeze_Entity
for objects whose type had an illegal constraint.

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

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

* exp_disp.adb (Build_Dispatch_Tables): For a private type completed by
a synchronized tagged type, do not attempt to build dispatch table for
full view. The table is built for the corresponding record type, which
has its own declaration.

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

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

* sem_attr.adb: add guard to previous patch.

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

Add TImode libgcc functions for mul and div on SPU.

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

Add TImode libgcc functions for mul and div.

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

Add TImode libgcc functions for mul and div.

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

* gcc.c-torture/compile/pr11832.c: XFAIL on (x86 && ilp32 && pic).
* gcc.c-torture/compile/pr33009.c: Likewise.

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

gcc/cp/ChangeLog:
PR c++/35909
* call.c (convert_like_real): Convert bitfield to desired type
before creating temporary.
gcc/testsuite/ChangeLog:
PR c++/35909
* g++.dg/conversion/bitfield9.C: New.

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

Daily bump.

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

2008-05-26  Steven Bosscher  <stevenb.gcc@gmail.com>

* config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Generate
new tls_gd_* and tls_ld_* insns instead of an insn sequence.
* config/rs6000/rs6000.md (TLSmode, tls_abi_suffix, tls_insn_suffix,
tls_sysv_suffix): New mode and mode attribute iterators.
(tls_gd_32, tls_gd_64, tls_ld_32, tls_ld_64): Remove.
(lts_gd_aix*, tls_gd_sysv*, tls_ld_aix*, tls_ld_sysv*): New patterns.
(tls_dtprel_*, tls_dtprel_ha_*, tls_dtprel_lo_*, tls_got_dtprel_*,
tls_tprel_*, tls_tprel_ha_*, tls_tprel_lo_*, tls_got_tprel_*,
tls_tls_*): Merge 32 bit and 64 bit variants using aforementioned
iterators.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

* cpp.c (cpp_define_builtins): Fixed warning about comment.

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

2008-05-26  Daniel Franke  <franke.daniel@gmail.com>

        * fortran/cpp.c (cpp_define_builtins): Remove usage of TARGET_* macros,
        added FIXME instead.

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

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

* include/c_global/cmath (pow(float, int), pow(double, int),
pow(long double, int)): Do not define in C++0x mode, per DR 550.
* include/tr1_impl/cmath (pow): Do not bring in unconditionally
from namespace std.
* include/tr1/cmath (pow(double, double), pow(float, float),
pow(long double, long double), pow(_Tp, _Up)): Define.
* include/tr1/complex (pow): Do not bring in from namespace std.
(pow(const std::complex<_Tp>&, int), pow(const std::complex<_Tp>&,
const _Tp&), pow(const _Tp&, const std::complex<_Tp>&),
pow(const std::complex<_Tp>&, const std::complex<_Tp>&)): Define.
* include/tr1_impl/complex (pow(const std::complex<_Tp>&,
const _Up&), pow(const _Tp&, const std::complex<_Up>&),
pow(const std::complex<_Tp>&, const std::complex<_Up>&)): Always
define.
* doc/xml/manual/intro.xml: Add an entry for DR 550.
* testsuite/26_numerics/headers/cmath/dr550.cc: New.
* testsuite/tr1/8_c_compatibility/cmath/overloads.cc: Adjust.

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

PR tree-optimization/36329
* tree.h (CALL_CANNOT_INLINE_P): Add access check.
* tree-gimple.h (CALL_STMT_CANNOT_INLINE_P): New macro.
* cgraphbuild.c (initialize_inline_failed): Use the latter
macro in lieu of the former.
* ipa-inline.c (cgraph_mark_inline): Likewise.
(cgraph_decide_inlining_of_small_function): Likewise.
(cgraph_decide_inlining): Likewise.
(cgraph_decide_inlining_incrementally): Likewise.

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

* config/avr/avr.md ("call_prologue_saves"): Use hi8(gs())/lo8(gs())
instead of pm_lo8/pm_hi8 to makes this call working on avr6.
* config/avr/avr.c (expand_prologue): Tune "call_prologue"
optimization for 'avr6' architecture.

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

PR target/34932
* config/avr/avr.md (*addhi3_zero_extend2): Remove.

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

Resync.

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

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

* tree_io.ads (ASIS_Version_Number): Update because of the changes
made in front-end

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

* sem_attr.adb: Add some ??? comments for previous change

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

* s-vaflop.ads: Add comments for previous change

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

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

* s-vaflop-vms-alpha.adb:
Remove System.IO use clause, to prevent spurious ambiguities when
package is access through rtsfind.

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

* exp_vfpt.ads: Add ??? comment for last change

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