re PR tree-optimization/35252 (No vectorization for complex arrays)

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

PR target/35252
* config/i386/sse.md (SSEMODE4S, SSEMODE2D): New mode iterators.
(ssedoublesizemode): New mode attribute.
(sse_shufps): Call gen_sse_shufps_v4sf.
(sse_shufps_1): Macroize.
(sse2_shufpd): Call gen_Sse_shufpd_v2df.
(sse2_shufpd_1): Macroize.
(vec_extract_odd, vec_extract_even): New expanders.
(vec_interleave_highv4sf, vec_interleave_lowv4sf,
vec_interleave_highv2df, vec_interleave_lowv2df): Likewise.
* i386.c (ix86_expand_vector_init_one_nonzero): Call
gen_sse_shufps_v4sf instead of gen_sse_shufps_1.
(ix86_expand_vector_set): Likewise.
(ix86_expand_reduc_v4sf): Likewise.

* lib/target-supports.exp (vect_extract_even_odd_wide) Add.
(vect_strided_wide): Likewise.
* gcc.dg/vect/fast-math-pr35982.c: Enable for
vect_extract_even_odd_wide.
* gcc.dg/vect/fast-math-vect-complex-3.c: Likewise.
* gcc.dg/vect/vect-1.c: Likewise.
* gcc.dg/vect/vect-107.c: Likewise.
* gcc.dg/vect/vect-98.c: Likewise.
* gcc.dg/vect/vect-strided-float.c: Likewise.
* gcc.dg/vect/slp-11.c: Enable for vect_strided_wide.
* gcc.dg/vect/slp-12a.c: Likewise.
* gcc.dg/vect/slp-12b.c: Likewise.
* gcc.dg/vect/slp-19.c: Likewise.
* gcc.dg/vect/slp-23.c: Likewise.
* gcc.dg/vect/slp-5.c: Likewise.

From-SVN: r138553

utils2.c (build_binary_op): New case.

* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:
New case.  Convert BOOLEAN_TYPE operation to the default integer type.

From-SVN: r138552

matrix-reorg.c: Re-enable all code.

2008-08-01  Doug Kwan  <dougkwan@google.com>

* matrix-reorg.c: Re-enable all code.
(struct malloc_call_data): Change CALL_STMT to gimple type.
(collect_data_for_malloc_call): Tuplify.
  (struct access_site_info): Change STMT to gimple type.
(struct matrix_info): Change MIN_INDIRECT_LEVEL_ESCAPE_STMT,
and MALLOC_FOR_LEVEL to gimple and gimple pointer type.
(struct free_info): Change STMT to gimple type.
  (struct matrix_access_phi_node):  Change PHI to gimple type.
(get_inner_of_cast_expr): Remove.
(may_flatten_matrices_1): Tuplify.
(may_flatten_matrices): Ditto.
(mark_min_matrix_escape_level): Ditto.
  (ssa_accessed_in_tree): Refactor statement RHS related code into ...
(ssa_accessed_in_call_rhs): New
(ssa_accessed_in_assign_rhs): New
(record_access_alloc_site_info): Tuplify.
(add_allocation_site): Ditto.
(analyze_matrix_allocation_site): Ditto.
(analyze_transpose): Ditto.
(get_index_from_offset): Ditto.
(update_type_size): Ditto.
(analyze_accesses_for_call_expr): Tuplify and renamed into ...
(analyze_accesses_for_call_stmt): New. Also handle LHS of a call.
(analyze_accesses_for_phi_node): Tuplify.
(analyze_accesses_for_modify_stmt): Tuplify and renamed into ...
(analyze_accesses_for_assign_stmt): Remove code for handling call LHS.
(analyze_matrix_accesses): Tuplify.
(check_var_data): New call-back type for check_var_notmodified_p.
(check_var_notmodified_p): Tuplify and use call-back struct to
return statement found.
(can_calculate_expr_before_stmt): Factor out statement related code
into ...
(can_calculate_stmt_before_stmt): New.
  (check_allocation_function): Tuplify.
(find_sites_in_func): Ditto.
(record_all_accesses_in_func): Ditto.
(transform_access_sites): Ditto.
(transform_allocation_sites): Ditto.
(matrix_reorg): Re-enable.
(gate_matrix_reorg): Re-enable.

From-SVN: r138544

Daily bump.

From-SVN: r138541

dwarf2out.c (compute_barrier_args_size): Set barrier_args_size for labels for which it hasn't been set yet.

* dwarf2out.c (compute_barrier_args_size): Set barrier_args_size
for labels for which it hasn't been set yet.  If it has been set,
stop walking insns and continue with next worklist item.
(dwarf2out_stack_adjust): Don't call compute_barrier_args_size
if the only BARRIER is at the very end of a function.

From-SVN: r138537

re PR tree-optimization/36991 (ICE in remove_useless_stmts_1, at tree-cfg.c:1882)

2008-08-01  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/36991
* gcc.dg/pr36991.c: New test.

From-SVN: r138530

Add missing ChangeLog entry for revision 138517.

From-SVN: r138525

cfgexpand.c (expand_stack_alignment): Assert that stack_realign_drap and drap_rtx must match.

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

* cfgexpand.c (expand_stack_alignment): Assert that
stack_realign_drap and drap_rtx must match.

* function.c (instantiate_new_reg): If DRAP is used to realign
stack, replace virtual_incoming_args_rtx with internal arg
pointer.

From-SVN: r138524

tree-ssa-pre.c (fini_pre): Take in_fre parameter.

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

* tree-ssa-pre.c (fini_pre): Take in_fre parameter.  Free
loop information only if we initialized it.
(execute_pre): Call fini_pre with in_fre.
* tree-ssa-loop-ivcanon (try_unroll_loop_completely): Dump
if we do not unroll because we hit max-completely-peeled-insns.
Use our estimation for consistency, do allow shrinking.

From-SVN: r138522

* gnat.dg/boolean_expr.ad[sb]: Rename to boolean_expr1.ad[sb].

From-SVN: r138520

acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime search, but only in libposix4, never link librt.

2008-08-01  Paolo Bonzini  <bonzini@gnu.org>
    Chris Fairles  <chris.fairles@gmail.com>

* acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime
search, but only in libposix4, never link librt.
* src/Makefile.am: Reinstate previous change to add GLIBCXX_LIBS.
        * configure: Regenerate.
        * configure.in: Likewise.
        * Makefile.in: Likewise.
        * src/Makefile.in: Likewise.
        * libsup++/Makefile.in: Likewise.
        * po/Makefile.in: Likewise.
        * doc/Makefile.in: Likewise.

Co-Authored-By: Chris Fairles <chris.fairles@gmail.com>
From-SVN: r138519

ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.

* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify
and adjust for above renaming.
* gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new
gnu_expr_alt_type parameter.  Convert the expression to it instead
of changing its type in place.
(build_function_stub): Adjust call to above function.

From-SVN: r138518

i386.c (override_options): Replace ABI_STACK_BOUNDARY with MIN_STACK_BOUNDARY.

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

* config/i386/i386.c (override_options): Replace ABI_STACK_BOUNDARY
with MIN_STACK_BOUNDARY.
(ix86_update_stack_boundary): Likewise.
(ix86_expand_prologue): Assert MIN_STACK_BOUNDARY instead of
STACK_BOUNDARY.

* config/i386/i386.h (ABI_STACK_BOUNDARY): Renamed to ...
(MIN_STACK_BOUNDARY): This.

From-SVN: r138517

Remove conflict marker.

From-SVN: r138516

re PR middle-end/36997 (ICE with incompatible arg to '__builtin_ia32_paddq)

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

PR middle-end/36997
* gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR.

* gcc.dg/pr36997.c: New testcase.

From-SVN: r138515

Revert incorrect patch.

From-SVN: r138514

decl.c (gnat_to_gnu_entity): Remove dead code.

2008-08-01  Eric Botcazou  <ebotcazou@adacore.com>

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead
code.  Do not get full definition of deferred constants with address
clause for a use.  Do not ignore deferred constant definitions with
address clause.  Ignore constant definitions already marked with the
error node.
<object>: Remove obsolete comment.  For a deferred constant with
address clause, get the initializer from the full view.
* gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
Rework and remove obsolete comment.
<N_Object_Declaration>: For a deferred constant with address clause,
mark the full view with the error node.
*  gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix
formatting nits.

From-SVN: r138513

re PR middle-end/36988 (ICE in gimple_rhs_has_side_effects, at gimple.c:2369)

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

PR tree-optimization/36988
* tree-ssa-ccp.c (ccp_fold): Conversions of constants only
do not matter if that doesn't change volatile qualification.

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

From-SVN: r138512

rtsfind.ads: Add block IO versions of stream routines for Strings.

2008-08-01  Hristian Kirtchev  <kirtchev@adacore.com>

* rtsfind.ads: Add block IO versions of stream routines for Strings.

* bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads,
sem_prag.adb, snames.adb, snames.ads, snames.h,
par-prag.adb: Undo Canonical_Streams related changes.

* s-rident.ads: Add new restriction No_Stream_Optimizations.

* s-ststop.ads, s-ststop.adb: Comment reformatting.
Define enumeration type to designate different IO mechanisms.
Enchance generic package Stream_Ops_Internal to include an
implementation of Input and Output.

* exp_attr.adb (Find_Stream_Subprogram): If restriction
No_Stream_Optimization is active, choose the default byte IO
implementations of stream attributes for Strings.
Otherwise use the corresponding block IO version.

From-SVN: r138511

par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to convert plain identifier into defining identifier.

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

* par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to
convert plain identifier into defining identifier.

From-SVN: r138510

decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well.

        ada/
        * decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada
        Pure into GCC const, now implicitely implying nothrow as well.

        testsuite/
        * gnat.dg/raise_from_pure.ad[bs],
        * gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ...
        * gnat.dg/test_raise_from_pure.adb: New test.

From-SVN: r138509

ioexcept.ads, [...]: Correct comment.

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

* ioexcept.ads, sequenio.ads, directio.ads: Correct comment.

From-SVN: r138508

lib-xref.adb: Add error defense.

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

* lib-xref.adb: Add error defense.

From-SVN: r138507

sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve warnings

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

* sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve
warnings

From-SVN: r138506

par-ch3.adb (P_Type_Declaration): Properly handle missing type keyword

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

* par-ch3.adb (P_Type_Declaration): Properly handle missing type
keyword

From-SVN: r138503

sem_ch12.adb: Minor comment reformatting

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

* sem_ch12.adb: Minor comment reformatting

From-SVN: r138502

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

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

From-SVN: r138501

sem_prag.adb (Analyze_Pragma): Put entries in alpha order

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

* sem_prag.adb (Analyze_Pragma): Put entries in alpha order
(Analyze_Pragma): Make sure all GNAT pragmas call GNAT_Pragma

From-SVN: r138500

scans.ads: Minor reformatting.

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

* scans.ads: Minor reformatting.

From-SVN: r138499

par-prag.adb (Prag, [...]): Deal with upper half encodings

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

* par-prag.adb (Prag, case Wide_Character_Encoding): Deal with upper
half encodings

From-SVN: r138498

s-os_lib.adb: Minor reformatting

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

* s-os_lib.adb: Minor reformatting

From-SVN: r138497

prj.ads: Minor reformatting

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

* prj.ads: Minor reformatting

From-SVN: r138496

sem_ch4.adb: Minor reformatting Minor code reorganization

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

* sem_ch4.adb: Minor reformatting
Minor code reorganization

From-SVN: r138495

prj-nmsc.adb: Minor reformatting

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

* prj-nmsc.adb: Minor reformatting

From-SVN: r138494

exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing correct accessibility levels.

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

* exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing
correct accessibility levels. In the "when others" case, retrieve the
access level of the Etype of Prev rather than Prev_Orig, because the
original exression has not always been analyzed.

From-SVN: r138493

utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter.

2008-08-01  Eric Botcazou  <ebotcazou@adacore.com>

* gcc-interface/utils.c (convert_vms_descriptor): Add gnu_expr_alt_type
parameter.
Convert the expression to it instead of changing its type in place.
(build_function_stub): Adjust call to above function.

From-SVN: r138492

sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a procedure call whose prefix is a parameterless...

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

* sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a
procedure call whose prefix
is a parameterless function call that returns an access_to_procedure.

From-SVN: r138491

exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets Orig_Prev to Prev in the case where...

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

* exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets
Orig_Prev to Prev in the case where the actual is N_Function_Call or
N_Identifier. This was interfering with other cases that are rewritten
as N_Identifier, such as allocators, resulting in passing of the wrong
accessibility level, and based on testing this code is apparently no
longer needed at all.

From-SVN: r138490

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

* sem_prag.adb:
(Check_Precondition_Postcondition): If not generating code, analyze the
expression in a postcondition that appears in a subprogram body, so that
it is properly decorated for ASIS use.

From-SVN: r138489

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

* mlib-utl.adb:
(Adalib_Path): New variable to store the path of the adalib directory
when procedure Specify_Adalib_Dir is called.
(Lib_Directory): If Adalib_Path is not null, return its value
(Specify_Adalib_Dir): New procedure

* mlib-utl.ads (Specify_Adalib_Dir): New procedure

From-SVN: r138488

prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)

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

* prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)

* prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax

* prj.adb (Object_Exist_For): Use Object_Generated, not
Objects_Generated that is removed and was never modified anyway.

* prj.ads:
(Path_Syntax_Kind): New enumeration type
(Language_Config): New component Path_Syntax, defaulted to Host.
Components PIC_Option and Objects_Generated removed, as they are not
used.

* snames.adb: New standard name Path_Syntax

* snames.ads: New standard name Path_Syntax

From-SVN: r138487

checks.adb (Apply_Float_Conversion_Check): If the expression to be converted is a real literal and the target type has...

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

* checks.adb (Apply_Float_Conversion_Check): If the expression to be
converted is a real literal and the target type has static bounds,
perform the conversion exactly to prevent floating-point anomalies on
some targets.

From-SVN: r138486

sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code

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

* sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not
generating code

From-SVN: r138485

s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths...

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

* s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in
paths, which are authorized by Windows but can lead to errors when used
elsewhere.

From-SVN: r138484

sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_Exception

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

* sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of
Raise_Exception

From-SVN: r138483

adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX.

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

* adaint.c (__gnat_tmp_name): Refine the generation of temporary names
for RTX. Adding a suffix that is incremented at each iteration.

From-SVN: r138482

gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32).

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

* gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and
rts-rtx-w32).

From-SVN: r138481

sem_ch12.ads (Need_Subprogram_Instance_Body): new function...

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

* sem_ch12.ads (Need_Subprogram_Instance_Body): new function, to create
a pending instantiation for the body of a subprogram that is to be
inlined.

* sem_ch12.adb:
(Analyze_Subprogram_Instantiation): use Need_Subprogram_Instance_Body.

* sem_prag.adb (Make_Inline): If the pragma applies to an instance,
create a pending instance for its body, so that calls to the subprogram
can be inlined by the back-end.

From-SVN: r138480

configure.ac: Do not generate libada-mk.

gcc:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac: Do not generate libada-mk.  Do not subst
host_cc_for_libada.
* libada-mk.in: Remove.
* Makefile.in: Pass TARGET_LIBGCC2_CFLAGS to libgcc.mvars.
* configure: Regenerate.

libada:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_CFLAGS, T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove,
they were unused.
(libada-mk): Do not include.  Include libgcc.mvars instead.
(tmake_file): Remove, do not include.
(FLAGS_TO_PASS): Pass dummy values for exeext and CC.
* configure: Regenerate.

gnattools:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, exeext, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Remove as they were unused.
(libsubdir): Remove.
(libada-mk): Do not include.  Include libgcc.mvars instead.
(xmake_file): Remove, do not include.

From-SVN: r138479

Resync.

From-SVN: r138475

adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor tmpnam...

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

* adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam
nor tmpnam, so we always use c:\WINDOWS\Temp\gnat-XXXXXX as temporary
name.

From-SVN: r138474

gnat_rm.texi: Document new mechanism Short_Descriptor.

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

* gnat_rm.texi: Document new mechanism Short_Descriptor.

* types.ads (Mechanism_Type): Modify range for new Short_Descriptor
mechanism values.

* sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.

* snames.adb (preset_names): Add short_descriptor entry.

* snames.ads: Add Name_Short_Descriptor.

* types.h: Add new By_Short_Descriptor mechanism values.

* sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.

* sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism
values.
(Descriptor_Codes): Modify range for new mechanism values.

* treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor
mechanism values.

* gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor.
(gnat_to_gnu_param): Handle By_Short_Descriptor.

* gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype.
(build_vms_descriptor32): New prototype.
(fill_vms_descriptor): Remove unneeded gnat_actual parameter.

* gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual
argument in call fill_vms_descriptor.

* gcc-interface/utils.c (build_vms_descriptor32): Renamed from
build_vms_descriptor and enhanced to hande Short_Descriptor mechanism.
(build_vms_descriptor): Renamed from build_vms_descriptor64.
(convert_vms_descriptor32): New function.
(convert_vms_descriptor64): New function.
(convert_vms_descriptor): Rewrite to handle both 32bit and 64bit
descriptors.

* gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes,
no longer needed.

From-SVN: r138473

scng.adb (Error_Illegal_Wide_Character): Bump scan pointer

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

* scng.adb (Error_Illegal_Wide_Character): Bump scan pointer

From-SVN: r138472

Resync.

From-SVN: r138470

Update comments.

From-SVN: r138469

scng.adb: Minor reformatting

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

* scng.adb: Minor reformatting

From-SVN: r138468

vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING

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

* vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING

From-SVN: r138467

opt.ads: Minor documentation fix

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

* opt.ads: Minor documentation fix

From-SVN: r138466

sem_util.ads: Minor reformatting.

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

* sem_util.ads: Minor reformatting.

From-SVN: r138465

mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy transfer address for debugging.

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

* mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a
dummy transfer address for debugging.

* mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise.

From-SVN: r138464

exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type.

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

* exp_disp.adb (Expand_Interface_Conversion): If the target type is a
tagged synchronized type, use corresponding record type.

From-SVN: r138463

gnatchop.adb: Minor reformatting

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

* gnatchop.adb: Minor reformatting

From-SVN: r138462

sinput.adb: Minor reformatting

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

* sinput.adb: Minor reformatting

From-SVN: r138461

cstreams.c (__gnat_full_name): RTSS applications cannot ask for the current directory so only fully qualified...

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

* cstreams.c (__gnat_full_name): RTSS applications cannot ask for the
current directory so only fully qualified names are allowed.

From-SVN: r138460

xref_lib.adb: Minor reformatting

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

* xref_lib.adb: Minor reformatting

From-SVN: r138459

snames.ads: Minor comment fixes...

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

* snames.ads:
Minor comment fixes, some pragmas were not properly
categorized in the comments, documentation change only

From-SVN: r138458

sem_ch10.adb: Minor reformatting

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

* sem_ch10.adb: Minor reformatting

From-SVN: r138457

s-ststop.adb: Add some ??? comments

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

* s-ststop.adb: Add some ??? comments

From-SVN: r138456

gnat_ugn.texi: Minor editing, remove uncomfortable use of semicolon

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

* gnat_ugn.texi:
Minor editing, remove uncomfortable use of semicolon

From-SVN: r138455

tree-pass.h: Added comment about not dumping passes with name starting with star in struct...

2008-08-01  Basile Starynkevitch  <basile@starynkevitch>
* gcc/tree-pass.h: Added comment about not dumping passes with name
starting with star in struct opt_pass.
* gcc/passes.c (register_dump_files_1): Don't do dump for a pass with
name starting with star.
* gcc/doc/passes.texi (Pass manager): Mention pass names and special
meaning of star prefix to avoid dump.

From-SVN: r138450

config.gcc (mipsisa64*-*-linux*): New configuration.

* config.gcc (mipsisa64*-*-linux*): New configuration.  Set ISA
to MIPS64r2 for mipsisa64r2*.
* config/mips/mips.h (GENERATE_MIPS16E): Update comment.
(ISA_MIPS64R2): New macro.
(TARGET_CPU_CPP_BUILTINS, MULTILIB_ISA_DEFAULT): Handle it.
(ISA_HAS_64BIT_REGS, ISA_HAS_MUL3, ISA_HAS_FP_CONDMOVE,
ISA_HAS_8CC, ISA_HAS_FP4, ISA_HAS_PAIRED_SINGLE,
ISA_HAS_MADD_MSUB, ISA_HAS_NMADD4_NMSUB4, ISA_HAS_CLZ_CLO,
ISA_HAS_ROR, ISA_HAS_PREFETCH, ISA_HAS_PREFETCHX, ISA_HAS_SEB_SEH,
ISA_HAS_EXT_INS, ISA_HAS_MXHC1, ISA_HAS_HILO_INTERLOCKS,
ISA_HAS_SYNCI, MIN_FPRS_PER_FMT): Return true for ISA_MIPS64R2.
(MIPS_ISA_LEVEL_SPEC, ASM_SPEC, LINK_SPEC): Handle -mips64r2.
(TARGET_LOONGSON_2E, TARGET_LOONGSON_2F, TARGET_LOONGSON_2EF):
Move up to keep list alphabetically sorted.
(TUNE_20KC, TUNE_24K, TUNE_74K, TUNE_LOONGSON_2EF): Likewise.
* config/mips/mips.c (mips_cpu_info_table): Add default MIPS64r2
processor.
* doc/invoke.texi (MIPS Options): Add -mips64r2.
(-march=@var{arch}): Add mips64r2.

testsuite/

* gcc.target/mips/ext-1.c: New test.

From-SVN: r138448

darwin.h (MAIN_STACK_BOUNDARY): Define to 128.

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/darwin.h (MAIN_STACK_BOUNDARY): Define to 128.

From-SVN: r138446

Daily bump.

From-SVN: r138444

decl.c (gnat_to_gnu_entity): Fix formatting.

* gcc-interface/decl.c (gnat_to_gnu_entity): Fix formatting.
* gcc-interface/utils.c (create_field_decl): Avoid superfluous work.

From-SVN: r138440

* expr.c (expand_assignment): Check for complete type.

From-SVN: r138439

re PR debug/36977 (Incorrect debug info for stack variables with stack alignment)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36977
* cfgexpand.c (expand_stack_alignment): Set stack_realign_tried.

* dwarf2out.c (based_loc_descr): Check crtl->stack_realign_tried
for stack alignment.

* function.h (rtl_data): Add stack_realign_tried.  Update
comments.

From-SVN: r138438

sh.c (sh_canonical_va_list_type): Remove.

* config/sh/sh.c (sh_canonical_va_list_type): Remove.
(TARGET_CANONICAL_VA_LIST_TYPE): Remove.

From-SVN: r138437

* mkstemps.c (mkstemps): Keep looping even for EISDIR.

From-SVN: r138436

re PR target/35100 (internal compiler error: in extract_insn, at recog.c:1990)

PR target/35100
* gcc.target/powerpc/longcall-1.c: New test.

From-SVN: r138435

chrono (duration): Use explicitly defaulted ctor, cctor, dtor and assignment.

2008-07-31  Chris Fairles <chris.fairles@gmail.com>

        * include/std/chrono (duration): Use explicitly defaulted ctor, cctor,
 dtor and assignment. Add diagnostics as per 20.8.3 paragraphs 2, 3
 and 4 in WD. Other minor tweaks.
        * testsuite/20_util/duration/cons/1_neg.cc: Adjust line numbers.
* testsuite/20_util/duration/requirements/typedefs_neg1.cc: New.
* testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
* testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.

From-SVN: r138434

re PR preprocessor/36649 (-H option doesn't work as expected)

PR preprocessor/36649
* files.c (struct report_missing_guard_data): New type.
(report_missing_guard): Put paths into an array instead of printing
them right away.  Return 1 rather than 0.
(report_missing_guard_cmp): New function.
(_cpp_report_missing_guards): Sort and print paths gathered by
report_missing_guard callback.

* gcc.dg/pch/cpp-3.hs: Add include guards.
* gcc.dg/pch/cpp-3a.h: Likewise.
* gcc.dg/pch/cpp-3b.h: Likewise.
* gcc.dg/cpp/mi8.c: New test.
* gcc.dg/cpp/mi8a.h: New file.
* gcc.dg/cpp/mi8b.h: New file.
* gcc.dg/cpp/mi8c.h: New file.
* gcc.dg/cpp/mi8d.h: New file.

From-SVN: r138432

mkstemps.c (mkstemps): If open failed with errno other than EEXIST, return immediately.

* mkstemps.c (mkstemps): If open failed with errno other than
EEXIST, return immediately.
* make-temp-file.c: Include errno.h.
(make_temp_file): If mkstemps failed, print an error message
before aborting.

From-SVN: r138429

libstdc++.exp (libstdc++_init): Set v3-libgomp.

2008-07-31  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/lib/libstdc++.exp (libstdc++_init): Set v3-libgomp.
(check_v3_target_parallel_mode): Robustify, just follow the
structure of testsuite/Makefile.am.

From-SVN: r138428

re PR rtl-optimization/36419 (Wrong unwind info with -Os -fasynchronous-unwind-tables)

PR rtl-optimization/36419
* dwarf2out.c (barrier_args_size): New variable.
(compute_barrier_args_size, compute_barrier_args_size_1): New
functions.
(dwarf2out_stack_adjust): For BARRIERs call compute_barrier_args_size
if not called yet in the current function, use barrier_args_size
array to find the new args_size value.
(dwarf2out_frame_debug): Free and clear barrier_args_size.

* g++.dg/eh/async-unwind2.C: New test.

From-SVN: r138427

re PR c++/36405 (ICE with typeid of member function)

PR c++/36405
* rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.

* g++.dg/rtti/typeid8.C: New test.

From-SVN: r138426

re PR middle-end/36633 (warning "array subscript is below array bounds" on delete [] with -O2, -Wall)

        PR c++/36633
        * init.c (build_new_1): Don't convert pointer to the data type
        until we're actually going to treat it as that type.

From-SVN: r138425

re PR debug/36980 (Bootstrap broken with RTL checking on i586)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36980
* dwarf2out.c (dwarf2out_frame_debug_expr): Move rule 17 before
rule 19.

From-SVN: r138424

Resync.

From-SVN: r138422

prj-env.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* prj-env.adb: Minor reformatting

From-SVN: r138421

makeutl.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* makeutl.adb: Minor reformatting

From-SVN: r138420

exp_aggr.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* exp_aggr.adb: Minor reformatting

From-SVN: r138419

2008-07-31  Jose Ruiz  <ruiz@adacore.com>

* s-parame-vxworks.adb
Document that this body is used for RTX in RTSS (kernel) mode.

* gcc-interface/Makefile.in
(LIBGNAT_TARGET_PAIRS for the rtx_rtss run time): Use the
s-parame-vxworks.adb body in order to have reasonable stack sizes in
RTX RTSS kernel mode. Virtual memory is not used in that case, so we
cannot ask for too big values.

From-SVN: r138418

prj-nmsc.adb: Keep Object and Exec directory casing.

2008-07-31  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Keep Object and Exec directory casing.

From-SVN: r138417

re PR debug/36976 (FAIL: g++.dg/torture/stackalign/unwind-2.C)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36976
* dwarf2out.c (dwarf2out_args_size_adjust): New.
(dwarf2out_stack_adjust): Use it.
(dwarf2out_frame_debug_expr): Likewise.

From-SVN: r138416

re PR tree-optimization/36978 (ICE in gimple_cond_set_lhs for -O2 -funswitch-loops after tuples merge)

2008-07-31  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/36978
* tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Do not fold
the generated condition.

* gcc.dg/torture/pr36978.c: New testcase.

From-SVN: r138415

Resync.

From-SVN: r138414

* gnat.dg/specs/null_aggr_bug.ads: New test.

From-SVN: r138413

2008-07-31  Gary Dismukes  <dismukes@adacore.com>

* sem_aggr.adb:
(Resolve_Record_Aggregate): Bypass error that a type without
components must have a "null record" aggregate when compiling for Ada
2005, since it's legal to give an aggregate of form (others => <>)
for such a type.

From-SVN: r138412

exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private tagged type is completed by a concurrent type.

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private
tagged type is completed by a concurrent type.

From-SVN: r138411

* gnat.dg/sync_iface_test.ad[s,b]: New test.

From-SVN: r138410