optabs.c (maybe_encapsulate_block): Remove.

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

* optabs.c (maybe_encapsulate_block): Remove.
(emit_libcall_block): Adjust accordingly.
* optabs.h (maybe_encapsulate_block): Remove prototype.

* config/rs6000/rs6000.c (rs6000_legitimize_tls_address):
Don't use maybe_encapsulate_block.

From-SVN: r136217

rs6000.c (rs6000_legitimize_address, [...]): Make sure an rtx is a SYMBOL_REF before calling get_pool_constant.

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

        * config/rs6000/rs6000.c (rs6000_legitimize_address,
        rs6000_legitimize_reload_address, rs6000_emit_move): Make sure an
        rtx is a SYMBOL_REF before calling get_pool_constant.

From-SVN: r136216

configure.ac (arm*-*-linux-gnueabi): Don't disable building of libobjc for ARM EABI Linux.

    * configure.ac (arm*-*-linux-gnueabi): Don't disable building
    of libobjc for ARM EABI Linux.
    * configure: Regenerate.

    libobjc/
    * exception.c (__objc_exception_class): Initialise as constant
    array for ARM EABI. Change macro to static const for non-ARM EABI.
    (ObjcException): Add note about structure layout. Remove landingPad
    and handlerSwitchValue for ARM EABI.
    (get_ttype_entry): Add __ARM_EABI_UNWINDER__ version
    of function.
    (CONTINUE_UNWINDING): Define for ARM EABI/otherwise cases.
    (PERSONALITY_FUNCTION): Use ARM EABI-specific arguments, and add
    ARM EABI unwinding support.
    (objc_exception_throw): Use memcpy to initialise exception class.

From-SVN: r136215

re PR preprocessor/36320 (Required diagnosis of syntax error missed)

gcc/testsuite
PR preprocessor/36320:
* gcc.dg/cpp/pr36320.c: New file.
libcpp
PR preprocessor/36320:
* internal.h (_cpp_parse_expr): Update.
* expr.c (_cpp_parse_expr): Add 'is_if' argument.  Update error
messages.
* directives.c (do_if): Update.
(do_elif): Require expression if processing group.

From-SVN: r136209

* fold-const.c (fold_unary) <CASE_CONVERT>: Add ??? comment.

From-SVN: r136200

cpplib.h (struct cpp_dir): Add new field, canonical_name.

libcpp/ChangeLog
* include/cpplib.h (struct cpp_dir): Add new field, canonical_name.

gcc/ChangeLog

* incpath.c: Use HOST_LACKS_INODE_NUMBERS conditional
rather than OS names to choose INO_T_EQ definition.
(DIRS_EQ) [!INO_T_EQ]: Don't worry about case in comparison.
(add_path) [!INO_T_EQ]: Use lrealpath to fill canonical_name field.

From-SVN: r136196

Daily bump.

From-SVN: r136194

re PR target/36348 (f951 link failure on i686-apple-darwin9)

gcc:
2008-05-29  Daniel Franke  <franke.daniel@gmail.com>

        PR target/36348
        * config/darwin-f.c: New.
        * config/t-darwin: Added rule to build darwin-f.o.
        * config.gcc: Defined new variable, fortran_target_objs.
        (*-*-darwin*): Set fortran_target_objs.
        * Makefile.in: Defined new variable FORTRAN_TARGET_OBJS.
        * configure.ac: Substitute fortran_target_objs, set
        FORTRAN_TARGET_OBJS.
        * configure: Regenerated.

gcc/fortran:
2008-05-29  Daniel Franke  <franke.daniel@gmail.com>

        PR target/36348
        * Make-lang.in (F95_OBJS): Added dependency on FORTRAN_TARGET_OBJS.

From-SVN: r136178

re PR c++/35243 (ICE with invalid initializer list in variadic template)

/cp
2008-05-29  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/35243
        * pt.c (tsubst_initializer_list): Consistently check the tree
        returned by tsubst_pack_expansion for error_mark_node.

/testsuite
2008-05-29  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/35243
        * g++.dg/cpp0x/vt-35243.C: New.

From-SVN: r136174

scanner.c (load_line): Add first_char argument.

* scanner.c (load_line): Add first_char argument. Don't call ungetc.
(gfc_read_orig_filename): Adjust call to load_line. Don't call
ungetc.
(load_file): Adjust call to load_line.

From-SVN: r136171

re PR middle-end/35771 (Call expander ignores type alignment)

gcc/

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

PR target/35771
* config/i386/i386.c (ix86_function_arg_boundary): Convert to
canonical type if needed.

gcc/testsuite/

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

PR target/35771
* gcc.dg/torture/pr35771.h: New.
* gcc.dg/torture/pr35771-1.c: Likewise.
* gcc.dg/torture/pr35771-2.c: Likewise.
* gcc.dg/torture/pr35771-3.c: Likewise.

From-SVN: r136159

bitset (bitset(const char*)): Implement DR 778 in debug-mode too.

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

* include/debug/bitset (bitset(const char*)): Implement DR 778
in debug-mode too.

* include/bits/cpp_type_traits.h (__is_integer): In C++0x mode
deal with char16_t and char32_t.

From-SVN: r136158

tree-nested.c (check_for_nested_with_variably_modified): Fix typo.

* tree-nested.c (check_for_nested_with_variably_modified): Fix typo.

From-SVN: r136154

re PR tree-optimization/36343 (Wrong code due to bad TBAA pruning of points-to-sets and use in call clobbering)

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

PR tree-optimization/36343
PR tree-optimization/36346
PR tree-optimization/36347
* tree-flow.h (clobber_what_p_points_to): Declare.
* tree-ssa-structalias.c (set_uids_in_ptset): Whether the
pointed-to variable is dereferenced is irrelevant to whether
the pointer can access the pointed-to variable.
(clobber_what_p_points_to): New function.
* tree-ssa-alias.c (set_initial_properties): Use it.
* tree-ssa.c (verify_flow_sensitive_alias_info): Adjust
call clobber check for NMTs.

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

From-SVN: r136152

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

From-SVN: r136151

Resync.

From-SVN: r136150

re PR ada/864 (--program-suffix is ignored (for ada))

PR ada/864
* osint.ads, osint.adb (Program_Name): New parameter "Prog" to
allow recognition of program suffix in addition to prefix.

* gnatchop.adb (Locate_Executable): Add support for prefix.

* make.adb, gnatcmd.adb, gnatlink.adb, prj-makr.adb,
mlib-utl.adb: Adjust calls to Program_Name.

From-SVN: r136149

sem_ch6.adb (Analyze_Subprogram_Specification): if the return type is abstract...

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

* sem_ch6.adb (Analyze_Subprogram_Specification): if the return type
is abstract, do not apply abstractness check on subprogram if this is
a renaming declaration.

From-SVN: r136148

* sem_eval.adb: Minor reformatting

From-SVN: r136147

Resync.

From-SVN: r136145

sem_eval.adb (Is_Same_Value): Take care of several more cases

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

* sem_eval.adb (Is_Same_Value): Take care of several more cases

From-SVN: r136144

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

* sem_util.adb:
(Abstract_Interface_List): Add missing support for full type-declaration
associated with synchronized types.

From-SVN: r136143

* sinput-p.ads: Minor reformatting

From-SVN: r136142

* sem_res.adb: Minor reformatting

From-SVN: r136141

* sem_prag.adb: Minor reformatting

From-SVN: r136140

* sem_ch3.adb: Minor reformatting

From-SVN: r136139

Daily bump.

From-SVN: r136135

value-prof.c (tree_ic_transform): Use HOST_WIDEST_INT_PRINT_DEC for printing gcov_type.

2008-05-28  Seongbae Park  <seongbae.park@gmail.com>

* value-prof.c (tree_ic_transform): Use HOST_WIDEST_INT_PRINT_DEC
for printing gcov_type.

From-SVN: r136131

re PR fortran/36325 (specific or generic INTERFACE implies the EXTERNAL attribute)

2008-05-28  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36325
PR fortran/35830
* interface.c (gfc_procedure_use): Enable argument checking for
external procedures with explicit interface.
* symbol.c (check_conflict): Fix conflict checking for externals.
(copy_formal_args): Fix handling of arrays.
* resolve.c (resolve_specific_f0, resolve_specific_s0): Fix handling
of intrinsics.
* parse.c (parse_interface): Non-abstract INTERFACE statement implies
EXTERNAL attribute.

2008-05-28  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36325
PR fortran/35830
* gfortran.dg/interface_23.f90: New.
* gfortran.dg/gomp/reduction3.f90: Fixed invalid code.
* gfortran.dg/proc_decl_12.f90: New:
* gfortran.dg/external_procedures_1.f90: Fixed error message.

From-SVN: r136130

re PR fortran/36319 (Segfault with wide characters in DATA)

PR fortran/36319

* intrinsic.c (gfc_convert_chartype): Don't mark conversion
function as pure.
* trans-array.c (gfc_trans_array_ctor_element): Divide element
size by the size of one character to obtain length.
* iresolve.c (gfc_resolve_cshift): Call the _char4 variant when
appropriate.
(gfc_resolve_eoshift): Likewise.
* trans-intrinsic.c (gfc_conv_intrinsic_ctime): Minor beautification.
(gfc_conv_intrinsic_fdate): Minor beautification.
(gfc_conv_intrinsic_ttynam): Minor beautification.
(gfc_conv_intrinsic_minmax_char): Allow all character kinds.
(size_of_string_in_bytes): New function.
(gfc_conv_intrinsic_size): Call size_of_string_in_bytes for
character expressions.
(gfc_conv_intrinsic_sizeof): Likewise.
(gfc_conv_intrinsic_array_transfer): Likewise.
(gfc_conv_intrinsic_trim): Allow all character kinds. Minor
beautification.
(gfc_conv_intrinsic_repeat): Fix comment typo.
* simplify.c (gfc_convert_char_constant): Take care of conversion
of array constructors.

* intrinsics/string_intrinsics_inc.c (string_index): Return
correct value for zero-length substring.
* intrinsics/cshift0.c: Add _char4 variant.
* intrinsics/eoshift0.c (eoshift0): Allow filler to be a pattern
wider than a single byte. Add _char4 variant and use above
functionality.
* intrinsics/eoshift2.c (eoshift2): Likewise.
* m4/eoshift1.m4: Likewise.
* m4/eoshift3.m4: Likewise.
* m4/cshift1.m4: Add _char4 variants.
* gfortran.map (GFORTRAN_1.1): Add _gfortran_cshift0_1_char4,
_gfortran_cshift0_2_char4, _gfortran_cshift0_4_char4,
_gfortran_cshift0_8_char4, _gfortran_cshift1_16_char4,
_gfortran_cshift1_4_char4, _gfortran_cshift1_8_char4,
_gfortran_eoshift0_1_char4, _gfortran_eoshift0_2_char4,
_gfortran_eoshift0_4_char4, _gfortran_eoshift0_8_char4,
_gfortran_eoshift1_16_char4, _gfortran_eoshift1_4_char4,
_gfortran_eoshift1_8_char4, _gfortran_eoshift2_1_char4,
_gfortran_eoshift2_2_char4, _gfortran_eoshift2_4_char4,
_gfortran_eoshift2_8_char4, _gfortran_eoshift3_16_char4,
_gfortran_eoshift3_4_char4 and _gfortran_eoshift3_8_char4.
* generated/eoshift3_4.c: Regenerate.
* generated/eoshift1_8.c: Regenerate.
* generated/eoshift1_16.c: Regenerate.
* generated/cshift1_4.c: Regenerate.
* generated/eoshift1_4.c: Regenerate.
* generated/eoshift3_8.c: Regenerate.
* generated/eoshift3_16.c: Regenerate.
* generated/cshift1_8.c: Regenerate.
* generated/cshift1_16.c: Regenerate.

* gfortran.dg/widechar_5.f90: New file.
* gfortran.dg/widechar_6.f90: New file.
* gfortran.dg/widechar_7.f90: New file.
* gfortran.dg/widechar_intrinsics_5.f90: Uncomment the lines
testing the SPREAD intrinsic.
* gfortran.dg/widechar_intrinsics_6.f90: New file.
* gfortran.dg/widechar_intrinsics_7.f90: New file.
* gfortran.dg/widechar_intrinsics_8.f90: New file.
* gfortran.dg/widechar_intrinsics_9.f90: New file.
* gfortran.dg/widechar_intrinsics_10.f90: New file.

From-SVN: r136129

tree-ssa-propagate.c (set_rhs): Preserve the histogram and the eh region information.

2008-05-28  Seongbae Park  <seongbae.park@gmail.com>

* tree-ssa-propagate.c (set_rhs): Preserve the histogram
and the eh region information.
* value-prof.c (gimple_move_stmt_histograms): New function.
* value-prof.h (gimple_move_stmt_histograms): New function declaration.

From-SVN: r136124

pa.md: Remove extern frame_pointer_needed declaration.

2008-05-28  Andreas Tobler  <a.tobler@schweiz.org>

* config/pa/pa.md: Remove extern frame_pointer_needed declaration.

From-SVN: r136121

value-prof.c (tree_ic_transform): Print counts.

gcc/ChangeLog:
2008-05-28  Seongbae Park <seongbae.park@gmail.com>

* value-prof.c (tree_ic_transform): Print counts.
* tree-profile.c (tree_gen_ic_func_profiler):
Clear __gcov_indreict_call_callee variable
to avoid misattribution of the profile.

gcc/testsuite/ChangeLog:
2008-05-28  Seongbae Park <seongbae.park@gmail.com>

* gcc.dg/tree-prof/ic-misattribution-1.c: New test.
* gcc.dg/tree-prof/ic-misattribution-1a.c: New test.
* lib/profopt.exp (profopt-get-options): Support
dg-additional-sources.
(profopt-execute): Handle additional sources.

From-SVN: r136118

see.c (see_def_extension_not_merged): Use copy_rtx_if_shared to avoid invalid sharing.

2008-05-28  Rafael Espindola  <espindola@google.com>

* see.c (see_def_extension_not_merged): Use copy_rtx_if_shared to avoid
invalid sharing.

2008-05-28  Rafael Espindola  <espindola@google.com>

* gcc.dg/20080528-1.c: New test.

From-SVN: r136115

Resync.

From-SVN: r136114

sem_res.adb (Valid_Conversion): An anonymous access_to_subprogram type has a deeper level than any master only...

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

* sem_res.adb (Valid_Conversion): An anonymous access_to_subprogram
type has a deeper level than any master only when it is the type of an
access parameter.

From-SVN: r136113

sinput-p.adb (Source_File_Is_Subunit): Allow special character used for preprocessing

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

* sinput-p.adb (Source_File_Is_Subunit): Allow special character used
for preprocessing

* sinput-p.ads: Minor comment update and reformatting

From-SVN: r136112

re PR ada/34446 (gnatprep evaluating "not" operator at incorrect precidence)

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

PR ada/34446
* gnat_ugn.texi: Document restriction introduced on 2007-04-20 in
preprocessing expressions

From-SVN: r136111

system-lynxos-ppc.ads (Always_Compatible_Rep): Set to False.

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

* system-lynxos-ppc.ads (Always_Compatible_Rep): Set to False.
* system-lynxos-x86.ads (Always_Compatible_Rep): Set to False.

From-SVN: r136110

sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous access type...

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

* sem_ch5.adb (Analyze_Assignment): If the name is of a local anonymous
access type, wrap the expression in a conversion to force an
accessibility check.

* sem_aggr.adb (Aggegate_Constraint_Checks): Apply conversion to force
accessibility checks even when expansion is disabled in order to
generate messages in the presence of previous errors or in
semantics-only mode.

From-SVN: r136108

Resync.

From-SVN: r136107

sem_prag.adb (Process_Extended_Import_Export_Subprogram_Pragma): Set Entity field for formal_parameter_NAME in MECHANISM_ASSOCIATION.

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

* sem_prag.adb (Process_Extended_Import_Export_Subprogram_Pragma): Set
Entity field for formal_parameter_NAME in MECHANISM_ASSOCIATION.

From-SVN: r136106

sem_util.ads (Find_Overridden_Synchronized_Primitive): Removed.

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

* sem_util.ads (Find_Overridden_Synchronized_Primitive): Removed.
* sem_util.adb (Find_Overridden_Synchronized_Primitive): Removed.
* sem_ch6.adb (Check_Synchronized_Overriding): Remove one formal.
Add code that was previously located in
Find_Overridden_Synchronized_Primitive because it is only used here.

From-SVN: r136105

sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation.

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

* sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation.

From-SVN: r136104

re PR libgcj/35020 (Class.getSimpleName() differs from Sun Java)

2008-05-28  Andrew Haley  <aph@redhat.com>

* java/lang/Class.java (getSimpleName): Use getEnclosingClass().
* testsuite/libjava.lang/PR35020.java: New cases.
* testsuite/libjava.lang/PR35020.out: New cases.

From-SVN: r136103

re PR tree-optimization/36339 (not call clobbering variable for non common offset)

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

PR tree-optimization/36339
* tree-ssa-alias.c (set_initial_properties): Move pt_anything
and clobbering code out of the loop.

From-SVN: r136100

constraints.md ('b', [...]): New constraint letters defined.

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.

From-SVN: r136098

s390.c (z10_cost): New cost function for z10.

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.

From-SVN: r136097

re PR tree-optimization/36291 (GCC is slow and memory-hungry building sipQtGuipart.cpp)

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.

From-SVN: r136095

Resync.

From-SVN: r136091

* exp_util.ads: Minor reformatting.

From-SVN: r136090

* exp_util.adb: Minor reformatting

From-SVN: r136089

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

From-SVN: r136088

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

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

From-SVN: r136087

Make-lang.in: Remove gprmake.

* Make-lang.in: Remove gprmake.

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

From-SVN: r136084

old_errors.adb, [...]: Adjust.

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

From-SVN: r136082

Resync.

From-SVN: r136081

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

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

From-SVN: r136080

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

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

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

From-SVN: r136079

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

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

From-SVN: r136078

sem_ch3.adb (Diagnose_Interface): Cleanup error messages involving improper progenitor names...

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

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

From-SVN: r136077

iface_eq_test.ads, [...]: New test.

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

From-SVN: r136073

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

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.

From-SVN: r136072

mips.c (mips_cpu_info_table): Add loongson2e and loongson2f entries.

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.

From-SVN: r136071

Daily bump.

From-SVN: r136064

data-dep-1.c: Skip test for avr-*-* too much code.

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

From-SVN: r136058

re PR target/35767 (x86 backend uses aligned load on unaligned memory)

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.

From-SVN: r136054

assignment_3.f90: Add missing cleanup-modules.

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

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

From-SVN: r136053

re PR fortran/36316 (type mismatch in binary expression caught by verify_gimple)

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.

From-SVN: r136052

fortran-torture.exp (get-fortran-torture-options): New function, replacing old FORTRAN_TORTURE_OPTIONS code.

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.

From-SVN: r136050

dwarf2out.c (current_fde): Change return type to dw_fde_ref.

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.

From-SVN: r136046

dwarf2out.c (current_fde): New.

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.

Co-Authored-By: H.J. Lu <hongjiu.lu@intel.com>
From-SVN: r136043

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.

From-SVN: r136035

re PR middle-end/36326 (gimplification of aggregate copies introduces extra aggregate copy)

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.

From-SVN: r136033

re PR tree-optimization/36339 (not call clobbering variable for non common offset)

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.

From-SVN: r136030

re PR tree-optimization/36245 (internal compiler error: in build2_stat, at tree.c:3116)

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.

From-SVN: r136029

Resync.

From-SVN: r136028

mlib-prj.adb: Minor reformatting

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

From-SVN: r136027

exp_aggr.adb (Build_Array_Aggr_Code): If component type includes tasks and context is an object declaration.

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.

From-SVN: r136026

sem_ch3.adb (Build_Incomplete_Type_Declaration): In the case of an untagged private type with a tagged full type...

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

From-SVN: r136025

* prj-nmsc.adb: Minor reformatting

From-SVN: r136024

a-ststio.adb, [...]: Further code clean up of previous change.

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

From-SVN: r136023

Resync.

From-SVN: r136021

Replace heavy address clause by 'Unrestricted_Access...

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

From-SVN: r136020

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.

From-SVN: r136019

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

From-SVN: r136018

gnat_rm.texi: Document the new behavior regarding trampolines.

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

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

From-SVN: r136017

exp_aggr.adb (Expand_Array_Aggregate): If the aggregate contains tasks...

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.

From-SVN: r136016

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

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

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

From-SVN: r136015

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

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

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

From-SVN: r136014

s390.md ("cpu_facility", "enabled"): Attribute definitions added.

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

From-SVN: r136013

reload.c: (find_reloads): Skip alternatives according to the "enabled" attribute.

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.

From-SVN: r136012

defaults.h (TARGET_MEM_CONSTRAINT): New target macro added.

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.

From-SVN: r136011

Resync.

From-SVN: r136010

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

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

From-SVN: r136009

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.

From-SVN: r136008

bindgen.adb: Update comments.

* bindgen.adb: Update comments.

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

From-SVN: r136007

Resync

From-SVN: r136006

makeutl.adb: Minor reformatting

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

From-SVN: r136005

sem_res.adb: Minor comment fixes

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

* sem_res.adb: Minor comment fixes

From-SVN: r136004