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

* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.

* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.

* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.

* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.

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

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

* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.

* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.

* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.

* prep.ads (Preprocess): new Boolean out parameter Source_Modified

* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.

* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG

* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG

* ug_words: Add VMS equivalent for -gnateG

* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG

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

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

* utils2.c (fill_vms_descriptor): Use long_integer for comparison.
Call add_stmt_with_node to set locus.

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

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

* gcc-interface/utils2.c:
(fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer
in 32bit descriptor.

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

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

* sem_ch10.adb: Minor comment fix.

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

2008-08-04  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI
target.

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

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

* make.adb: Correct spelling error in comment

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

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

* prj-attr.adb: New Builder attribute Global_Compilation_Switches

* snames.adb: New standard name Global_Compilation_Switches

* snames.ads: New standard name Global_Compilation_Switches

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

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

* sem_ch3.adb (Access_Definition): Create an itype reference for an
anonymous access return type of a regular function that is not a
compilation unit.

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

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

* i-cobol.adb: Minor reformatting.

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

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

* par-ch10.adb: Minor reformatting

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

Resync.

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

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

* sem_prag.adb (Check_Precondition_Postcondition): When scanning the
list of declaration to find previous subprogram, do not go to the
original node of a generic unit.

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

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

* prj-proc.adb:
(Copy_Package_Declarations): When inheriting package Naming from a
project being extended, do not inherit source exception names.

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

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

* freeze.adb (Freeze_Entity): Check for size clause for boolean warning

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

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

* system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus

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

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

* restrict.adb: Improved messages for restriction warnings

* restrict.ads: Improved messages for restriction messages

* s-rident.ads (Profile_Name): Add No_Profile

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

Daily bump.

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

2008-08-03  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* gfortran.dg/fmt_t_7.f: Replace CR-LF with LF.

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

* config/i386/mmx.md (*mov<mode>_internal_rex64): Use Yi instead of x
to avoid inter-unit moves for !TARGET_INTER_UNIT_MOVES.
(*movv2sf_internal_rex64): Ditto.

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

* optabs.c (expand_binop, expand_builtin_pow, expand_builtin_powi,
expand_builtin_strcat): Upse optimize_insn_for_speed predicate.
* expmed.c (expand_smod_pow2): Likewise.

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

PR target/36992
* config/i386/sse.md (vec_concatv2di): Add Y2 constraint to
alternative 0 of operand 1.
(*vec_concatv2di_rex64_sse): Ditto.
(*vec_concatv2di_rex64_sse4_1): Add x constraint to alternative 0
of operand 1.
(*sse2_storeq_rex64): Penalize allocation of "r" registers.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Penalize allocation
of "Y2" registers to avoid SSE <-> MMX conversions for DImode moves.
(*movv2sf_internal_rex64): Ditto.

testsuite/ChangeLog:

PR target/36992
* gcc.target/i386/pr36992-1.c: New test.
* gcc.target/i386/pr36992-2.c: Ditto.

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

* mt-spu (all-ld): Update for ld Makefile changes.

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

Daily bump.

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

    * tcl.m4 (SC_PATH_TCLCONFIG): Add some simple logic to deal
        with cygwin.
        (SC_PATH_TKCONFIG): Likewise.

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

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.

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

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

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

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.

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

Daily bump.

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

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

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

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

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

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

Add missing ChangeLog entry for revision 138517.

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

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.

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

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.

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

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

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

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.

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

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

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

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.

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

Remove conflict marker.

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

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.

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

Revert incorrect patch.

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

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.

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

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.

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

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.

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

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

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

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

    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.

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

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

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

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

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

* lib-xref.adb: Add error defense.

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

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

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

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

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

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

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

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

* sem_ch12.adb: Minor comment reformatting

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

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

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

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

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

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

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

* scans.ads: Minor reformatting.

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

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

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

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

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

* s-os_lib.adb: Minor reformatting

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

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

* prj.ads: Minor reformatting

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

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

* sem_ch4.adb: Minor reformatting
Minor code reorganization

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

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

* prj-nmsc.adb: Minor reformatting

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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

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

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.

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

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

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

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

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.

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

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

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

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

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.

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

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

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

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

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.

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

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.

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

Resync.

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

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.

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

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.

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

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

* scng.adb (Error_Illegal_Wide_Character): Bump scan pointer

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

Resync.

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

Update comments.

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

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

* scng.adb: Minor reformatting

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

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

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

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

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

* opt.ads: Minor documentation fix

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

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

* sem_util.ads: Minor reformatting.

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

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.

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

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.

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

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

* gnatchop.adb: Minor reformatting

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

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

* sinput.adb: Minor reformatting

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

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.

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

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

* xref_lib.adb: Minor reformatting

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

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

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

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

* sem_ch10.adb: Minor reformatting

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

Daily bump.

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

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

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

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

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