OSDN Git Service

13 years ago * c-decl.c (grokdeclarator): Added 'deprecated_state' argument.
tromey [Sat, 9 Jun 2007 16:48:47 +0000 (16:48 +0000)]
* c-decl.c (grokdeclarator): Added 'deprecated_state' argument.
(deprecated_state): Removed.
(start_decl): Update.
(enum deprecated_states): Moved earlier.
(groktypename): Update.
(push_parm_decl): Likewise.
(grokfield): Likewise.
(start_function): Likewise.

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

13 years ago./:
ian [Sat, 9 Jun 2007 16:28:31 +0000 (16:28 +0000)]
PR tree-optimization/32169
* tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
CONVERT_EXPR, check whether min and max both converted to an
overflow infinity representation.
PR tree-optimization/32169
* gcc.c-torture/compile/pr32169.c: New test.

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

13 years ago * cppfiles.c (open_file): Account for the
vprus [Sat, 9 Jun 2007 10:16:52 +0000 (10:16 +0000)]
    * cppfiles.c (open_file): Account for the
        fact that on windows, opening a directory gives

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

13 years ago2007-06-08 Paolo Carlini <pcarlini@suse.de>
paolo [Sat, 9 Jun 2007 00:55:43 +0000 (00:55 +0000)]
2007-06-08  Paolo Carlini  <pcarlini@suse.de>

* docs/html/install.html: Adjust consistently with libstdc++/31717.

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

13 years agoDaily bump.
gccadmin [Sat, 9 Jun 2007 00:17:00 +0000 (00:17 +0000)]
Daily bump.

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

13 years ago * reload1.c (fixup_abnormal_edges): Clear bb field for insns
ebotcazou [Fri, 8 Jun 2007 23:22:46 +0000 (23:22 +0000)]
* reload1.c (fixup_abnormal_edges): Clear bb field for insns
not inserted on the edge.

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

13 years ago * ChangeLog fix * ChangeLog fix.
uros [Fri, 8 Jun 2007 20:55:46 +0000 (20:55 +0000)]
* ChangeLog fix * ChangeLog fix.

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

13 years ago * config/xtensa/lib1funcs.asm (__udivsi3): Use hardware divide
bwilson [Fri, 8 Jun 2007 16:49:23 +0000 (16:49 +0000)]
* config/xtensa/lib1funcs.asm (__udivsi3): Use hardware divide
instructions if they are supported.
(__divsi3, __umodsi3, __modsi3): Likewise.
(__ashldi3, __ashrdi3, __lshrdi3): New.
* config/xtensa/t-xtensa (LIB1ASMFUNCS): Add DImode shift functions.

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

13 years agogcc/ChangeLog:
hjagasia [Fri, 8 Jun 2007 16:30:49 +0000 (16:30 +0000)]
2007-06-08  Harsha Jagasia <harsha.jagasia@amd.com>
            Tony Linthicum <tony.linthicum@amd.com>

* doc/extend.texi: Add fvect-cost-model flag.
* common.opt (fvect-cost-model): New flag.
* tree-vectorizer.c (new_stmt_vec_info): Initialize inside and outside
cost fields in stmt_vec_info struct for STMT.
* tree-vectorizer.h (stmt_vec_info): Define inside and outside cost
fields in stmt_vec_info struct and access functions for the same.
(TARG_COND_BRANCH_COST): Define cost of conditional branch.
(TARG_VEC_STMT_COST): Define cost of any vector operation, excluding
load, store and vector to scalar operation.
(TARG_VEC_TO_SCALAR_COST): Define cost of vector to scalar operation.
(TARG_VEC_LOAD_COST): Define cost of aligned vector load.
(TARG_VEC_UNALIGNED_LOAD_COST): Define cost of misasligned vector load.
(TARG_VEC_STORE_COST): Define cost of vector store.
(vect_estimate_min_profitable_iters): Define new function.
* tree-vect-analyze.c (vect_analyze_operations): Add a compile-time
check to evaluate if loop iterations are less than minimum profitable
iterations determined by cost model or minimum vect loop bound defined
by user, whichever is more conservative.
* tree-vect-transform.c (vect_do_peeling_for_loop_bound): Add a
run-time check to evaluate if loop iterations are less than minimum
profitable iterations determined by cost model or minimum vect loop
bound defined by user, whichever is more conservative.
(vect_estimate_min_profitable_iterations): New function to estimate
mimimimum iterartions required for vector version of loop to be
profitable over scalar version.
        (vect_model_reduction_cost): New function.
(vect_model_induction_cost): New function.
(vect_model_simple_cost): New function.
(vect_cost_strided_group_size): New function.
(vect_model_store_cost): New function.
(vect_model_load_cost): New function.
(vectorizable_reduction): Call vect_model_reduction_cost during
analysis phase.
(vectorizable_induction): Call vect_model_induction_cost during
analysis phase.
(vectorizable_load): Call vect_model_load_cost during analysis phase.
(vectorizable_store): Call vect_model_store_cost during analysis phase.
(vectorizable_call, vectorizable_assignment, vectorizable_operation,
vectorizable_promotion, vectorizable_demotion): Call
vect_model_simple_cost during analysis phase.

2007-06-08  Harsha Jagasia <harsha.jagasia@amd.com>

* gcc.dg/vect/costmodel: New directory.
* gcc.dg/vect/costmodel/i386: New directory.
* gcc.dg/vect/costmodel/i386/i386-costmodel-vect.exp: New testsuite.
* gcc.dg/vect/costmodel/i386/costmodel-fast-math-vect-pr29925.c:
New test.
* gcc.dg/vect/costmodel/i386/costmodel-vect-31.c: New test.
* gcc.dg/vect/costmodel/i386/costmodel-vect-33.c: New test.
* gcc.dg/vect/costmodel/i386/costmodel-vect-68.c: New test.
* gcc.dg/vect/costmodel/i386/costmodel-vect-reduc-1char.c: New test.
* gcc.dg/vect/costmodel/x86_64: New directory.
* gcc.dg/vect/costmodel/x86_64/x86_64-costmodel-vect.exp:
New testsuite.
* gcc.dg/vect/costmodel/x86_64/costmodel-fast-math-vect-pr29925.c:
New test.
* gcc.dg/vect/costmodel/x86_64/costmodel-vect-31.c: New test.
* gcc.dg/vect/costmodel/x86_64/costmodel-vect-33.c: New test.
* gcc.dg/vect/costmodel/x86_64/costmodel-vect-68.c: New test.
* gcc.dg/vect/costmodel/x86_64/costmodel-vect-reduc-1char.c: New test.
* gcc.dg/vect/costmodel/x86_64/costmodel-pr30843.c: New test.

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

13 years ago* reg-stack.c (get_true_reg): Readability change. Moved default case
simonb [Fri, 8 Jun 2007 16:17:01 +0000 (16:17 +0000)]
* reg-stack.c (get_true_reg): Readability change.  Moved default case
label into direct switch statement scope.

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

13 years ago* tree-flow-inline.h (var_ann): Replaced erroneous '=' assignment
simonb [Fri, 8 Jun 2007 16:15:41 +0000 (16:15 +0000)]
* tree-flow-inline.h (var_ann): Replaced erroneous '=' assignment
in gcc_assert() with '==' comparison.

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

13 years ago2007-06-08 Francesco Palagi <palagi@arcetri.astro.it>
paolo [Fri, 8 Jun 2007 13:16:38 +0000 (13:16 +0000)]
2007-06-08  Francesco Palagi  <palagi@arcetri.astro.it>

* include/std/fstream: Add Table 92 in comment.

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

13 years ago * config/i386/i386.c (override_options): Merge TARGET_SSE4_2 and
uros [Fri, 8 Jun 2007 11:34:56 +0000 (11:34 +0000)]
* config/i386/i386.c (override_options): Merge TARGET_SSE4_2 and
TARGET_ABM handling of x86_popcnt variable.

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

13 years ago * doc/extend.texi (X86 Built-in Functions): Document __builtin_fabsq,
uros [Fri, 8 Jun 2007 11:22:44 +0000 (11:22 +0000)]
* doc/extend.texi (X86 Built-in Functions): Document __builtin_fabsq,
__builtin_copysignq and __builtin_infq built-in functions.

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

13 years ago * doc/extend.texi (X86 Built-in Functions): Add missing `@item's in
uros [Fri, 8 Jun 2007 11:08:12 +0000 (11:08 +0000)]
* doc/extend.texi (X86 Built-in Functions): Add missing `@item's in
SSE4.2 section.  Correct built-in function names in SSE4A section.

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

13 years ago PR tree-optimization/32243
uros [Fri, 8 Jun 2007 09:06:46 +0000 (09:06 +0000)]
PR tree-optimization/32243
* tree-vect-transform.c (vectorizable_type_promotion): Move check
for ncopies after ratio check between nunits_out and nunits_in.
(vectorizable_type_demotion): Remove single-use variable "scalar_type".


PR tree-optimization/32243
* gcc.dg/vect/vect.exp: Add support for -O3 tests.  Reset default
flags for -Os tests.
* gcc.dg/vect/03-vect-pr32243.c: New test.

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

13 years ago PR tree-optimization/32224
dorit [Fri, 8 Jun 2007 08:57:54 +0000 (08:57 +0000)]
    PR tree-optimization/32224
        * tree-vect-analyze.c (vect_determine_vectorization_factor): Fail
        vectorization upon a non GIMPLE_MODIFY_STMT.

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

13 years ago * trans-intrinsic.c: Revert Lee's 2007-06-04 patch.
fxcoudert [Fri, 8 Jun 2007 08:01:10 +0000 (08:01 +0000)]
* trans-intrinsic.c: Revert Lee's 2007-06-04 patch.

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

13 years agoPR target/29953
chrbr [Fri, 8 Jun 2007 07:58:41 +0000 (07:58 +0000)]
PR target/29953
* config/sh/sh.md (doloop_end): New pattern and splitter.
* loop-iv.c (simple_rhs_p): Check for hardware registers.

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

13 years ago PR middle-end/32209
rakdver [Fri, 8 Jun 2007 07:28:50 +0000 (07:28 +0000)]
PR middle-end/32209
* dominance.c (debug_dominance_tree, debug_dominance_tree_1): New
(verify_dominators): Do not change dominance tree.

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

13 years ago * config/sh/constraints.md: New file.
kkojima [Fri, 8 Jun 2007 06:59:55 +0000 (06:59 +0000)]
* config/sh/constraints.md: New file.
* config/sh/sh.c: Include tm-constrs.h.
(reg_class_from_letter): Remove.
(prepare_cbranch_operands): Use satisfies_constraint_*
function instead of macro.
(andcosts, broken_move, sh_secondary_reload): Likewise.
* config/sh/predicates.md (trapping_target_operand): Likewise.
(and_operand, arith_operand, arith_reg_or_0_operand,
cmp_operand, logical_operand, target_operand,
ua_address_operand, ua_offset, xor_operand): Likewise.
* config/sh/sh.md: Include constraints.md.
(*movsicc_t_false): Use satisfies_constraint_* function
instead of macro.
(*movsicc_t_true, ashlsi3_std, ashlhi3_k, lshrsi3_m,
lshrsi3_k, movsi_const_16bit+2, *movhi_media+1,
movdi_const_16bit+1, beq, bne, *ptb): Likewise.
* config/sh/sh.h (reg_class_from_letter): Remove prototype.
(OVERRIDE_OPTIONS): Don't modify reg_class_from_letter.
(SECONDARY_INOUT_RELOAD_CLASS): Use satisfies_constraint_*
function instead of macro.
(GO_IF_LEGITIMATE_INDEX): Fix indentation.

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

13 years ago2007-06-07 Steven G. Kargl <kargl@gcc.gnu.org>
jvdelisle [Fri, 8 Jun 2007 04:49:23 +0000 (04:49 +0000)]
2007-06-07  Steven G. Kargl  <kargl@gcc.gnu.org>
    Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/32223
* match.c (gfc_match_special_char): New function.  Match special char.
Add handling '\0'.
* match.h: Add prototype.
* io.c (next_char): Use it.
* primary.c (next_string_char): Ditto.

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

13 years ago * g++.dg/ext/cleanup-8.c: Run on i386-darwin9 and later.
geoffk [Fri, 8 Jun 2007 03:29:00 +0000 (03:29 +0000)]
* g++.dg/ext/cleanup-8.c: Run on i386-darwin9 and later.
* g++.dg/ext/cleanup-9.c: Run on i386-darwin9 and later.
* g++.dg/ext/cleanup-10.c: Run on i386-darwin9 and later.
* g++.dg/ext/cleanup-11.c: Run on i386-darwin9 and later.

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

13 years ago * config/i386/darwin.h (STACK_BOUNDARY): Define.
geoffk [Fri, 8 Jun 2007 03:22:56 +0000 (03:22 +0000)]
* config/i386/darwin.h (STACK_BOUNDARY): Define.

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

13 years agoDaily bump.
gccadmin [Fri, 8 Jun 2007 00:17:07 +0000 (00:17 +0000)]
Daily bump.

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

13 years ago PR c++/32177
jakub [Thu, 7 Jun 2007 23:11:23 +0000 (23:11 +0000)]
PR c++/32177
* semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr
on init, the non-decl cond operand and increment value.

* g++.dg/gomp/pr32177.C: New test.

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

13 years ago2007-06-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
manu [Thu, 7 Jun 2007 21:01:41 +0000 (21:01 +0000)]
2007-06-07  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR testsuite/25241

* gcc.dg/parm-mismatch-1.c: Use dg-message for notes.
* gcc.dg/Wfatal.c: Use dg-message for output that is neither a
warning nor an error.
* gcc.dg/Wfatal-2.c: Likewise.
* gcc.dg/Werror-1.c: Likewise.
* gcc.dg/Werror-5.c: Likewise.
* gcc.dg/Werror-7.c: Likewise.
* gcc.dg/Werror-10.c: Likewise.
* gcc.dg/Werror-11.c: Likewise.

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

13 years ago * team.c (gomp_team_start): Fix setting up thread_attr
jakub [Thu, 7 Jun 2007 20:16:53 +0000 (20:16 +0000)]
* team.c (gomp_team_start): Fix setting up thread_attr
stack size.

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

13 years agogcc/
simartin [Thu, 7 Jun 2007 19:59:33 +0000 (19:59 +0000)]

2007-06-07  Simon Martin  <simartin@users.sourceforge.net>

PR c++/30759
* c-common.h (flag_cpp0x): Replaced by...
(cxx_dialect): ... this new variable specifying the C++ dialect that
is used.
* c-common.c (flag_cpp0x): Removed.
(cxx_dialect): Defined.
* c-cppbuiltin.c (c_cpp_builtins): flag_cpp0x rewritten in terms of
* c-opts.c (c_common_post_options): Likewise.
(set_std_cxx98): Set cxx_dialect to cxx98.
(set_std_cxx0x): Set cxx_dialect to cxx0x.


2007-06-07  Simon Martin  <simartin@users.sourceforge.net>

PR c++/30759
* decl.c (check_initializer): Report an error when a brace enclosed
initializer is used for a non-aggregate type in C++98.
(redeclaration_error_message): Rewrote flag_cpp0x in terms of
(grokdeclarator): Likewise.
(move_fn_p): Likewise.
* typeck.c (check_return_expr): Likewise.
* call.c (reference_binding): Likewise.
* error.c (cp_cpp_error): Likewise.
* pt.c (check_default_tmpl_args): Likewise.
(tsubst): Likewise.
* lex.c (init_reswords): Likewise.
* parser.c (p_parser_primary_expression): Likewise.
(cp_parser_init_declarator): Likewise.
(cp_parser_ptr_operator): Likewise.
(cp_parser_parameter_declaration): Likewise.
(cp_parser_enclosed_template_argument_list): Likewise.
(cp_parser_skip_to_end_of_template_parameter_list): Likewise.
(cp_parser_next_token_ends_template_argument_p): Likewise.


2007-06-07  Simon Martin  <simartin@users.sourceforge.net>

PR c++/30759
* g++.dg/init/brace6.C: New test.

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

13 years ago * gcc.dg/attr-weakref-1-darwin.c: Run on all Darwin platforms.
geoffk [Thu, 7 Jun 2007 19:04:02 +0000 (19:04 +0000)]
* gcc.dg/attr-weakref-1-darwin.c: Run on all Darwin platforms.
* gcc.dg/20050826-1.c: Run on all Darwin platforms.
* gcc.dg/darwin-ld-2.c: Run on all Darwin platforms.
* gcc.dg/darwin-ld-4.c: Run on all Darwin platforms.
* gcc.dg/cleanup-8.c: Run on i386-darwin9 and later.
* gcc.dg/cleanup-9.c: Run on i386-darwin9 and later.
* gcc.dg/cleanup-10.c: Run on i386-darwin9 and later.
* gcc.dg/cleanup-11.c: Run on i386-darwin9 and later.

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

13 years agoIndex: ChangeLog
geoffk [Thu, 7 Jun 2007 18:56:51 +0000 (18:56 +0000)]
Index: ChangeLog
2007-06-06  Geoffrey Keating  <geoffk@apple.com>
    Hui-May Chang <hm.chang@apple.com>

* doc/invoke.texi (Darwin Options): Update documentation for
* config.gcc (*-*-darwin*): Set extra_gcc_objs.
* config/darwin-driver.c: New file.
* config/darwin.h (GCC_DRIVER_HOST_INITIALIZATION): New.
* config/t-darwin (darwin-driver.o): New rule.

* config/darwin-c.c (version_as_macro): Ignore low digit.

Index: testsuite/ChangeLog
2007-06-06  Geoffrey Keating  <geoffk@apple.com>

* gcc.dg/darwin-minversion-3.c: New.

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

13 years ago * configure.ac: Non-default multilibs can be cross compilations.
geoffk [Thu, 7 Jun 2007 18:42:47 +0000 (18:42 +0000)]
* configure.ac: Non-default multilibs can be cross compilations.
* configure: Regenerate

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

13 years ago * config/i386/i386.md (standard sse constant splitter): Handle TFmode.
uros [Thu, 7 Jun 2007 18:31:40 +0000 (18:31 +0000)]
    * config/i386/i386.md (standard sse constant splitter): Handle TFmode.
        (negtf2, abstf2, *absnegtf2_sse): New insn patterns.
        (CSGNMODE): New mode macro.
        (CSGNVMODE): New mode attribute.
        (copysign<mode>3): Rename from copysingsf3 and copysigndf3.  Macroize
        expander using CSGNMODE mode macro.  Handle TFmode.
        (copysign<mode>3_const): Rename from copysignsf3_const and
        copysigndf3_const.  Macroize pattern using CSGNMODE mode macro.
        Handle TFmode.
        (copysign<mode>3_var): Rename from copysignsf3_var and
        copysigndf3_var.  Macroize pattern using CSGNMODE mode macro.
        Handle TFmode.
        (copysign<mode>3_var splitter): Macroize pattern using CSGNMODE
        mode macro.  Handle TFmode.
        * config/i386/sse.md (andtf3, *andtf3, *nandtf3): New insn patterns.
        (iortf3, *iortf3): Ditto.
        (xortf3, *xortf3): Ditto.
        * config/i386/i386.c (ix86_build_signbit_mask): Create scalar
        TFmode and TImode masks.
        (ix86_expand_copysign): Expand TFmode copysign insn.
        (IX86_BUILTIN_INFQ): New.
        (IX86_BUILTIN_FABSQ): Ditto.
        (IX86_BUILTIN_COPYSIGNQ): Ditto.
        (ix86_init_mmx_sse_builtins) [__builtin_infq]: New builtin definition.
        [__builtin_fabsq]: Ditto.
        [__builtin_copysignq]: Ditto.
        (ix86_expand_builtin) [IX86_BUILTIN_INFQ]: Expand builtin.
        [IX86_BUILTIN_FABSQ]: Expand builtin using ix86_expand_unop_builtin().
        [IX86_BUILTIN_COPYSIGNQ]: Expand builtin using


        * gcc.target/i386/builtin-copysign.c: New test.

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

13 years ago * config/xtensa/lib1funcs.asm: Clean up whitespace.
bwilson [Thu, 7 Jun 2007 18:27:42 +0000 (18:27 +0000)]
* config/xtensa/lib1funcs.asm: Clean up whitespace.

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

13 years ago* decl.c: Miscellaneous whitespace fixes.
brooks [Thu, 7 Jun 2007 18:10:31 +0000 (18:10 +0000)]
* decl.c: Miscellaneous whitespace fixes.
* expr.c: Likewise.
* gfortran.h: Likewise.
* interface.c : Likewise.
* io.c: Likewise.
* match.c: Likewise.
* match.h: Likewise.
* module.c: Likewise.
* parse.c: Likewise.
* resolve.c: Likewise.
* symbol.c: Likewise.
* trans-array.c: Likewise.
* trans-common.c: Likewise.
* trans-decl.c: Likewise.
* trans-intrinsic.c: Likewise.
* trans-io.c: Likewise.
* trans-stmt.c: Likewise.
* trans-types.c: Likewise.

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

13 years ago PR target/31850
sje [Thu, 7 Jun 2007 16:46:26 +0000 (16:46 +0000)]
PR target/31850
* rtl.h (push_to_sequence2): New.
* emit-rtl.c (push_to_sequence2): New.
* function.c (assign_parm_data_all): Add new fields.
(assign_parm_setup_block): Call push_to_sequence2 instead of
(assign_parm_setup_reg): Ditto.
(assign_parm_setup_stack): Ditto.
(assign_parms_unsplit_complex): Ditto.
(assign_parms): Change field name.

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

13 years ago PR tree-optimization/32220
rakdver [Thu, 7 Jun 2007 15:34:40 +0000 (15:34 +0000)]
PR tree-optimization/32220
* tree-predcom.c (eliminate_temp_copies): Handle the case that loop
phi node is reached before defining statement.

* gfortran.dg/predcom-2.f: New testcase.

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

13 years agoAdd new tests
charlet [Thu, 7 Jun 2007 13:44:58 +0000 (13:44 +0000)]
Add new tests

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

13 years ago2007-06-07 Matthias Klose <doko@ubuntu.com>
doko [Thu, 7 Jun 2007 13:38:49 +0000 (13:38 +0000)]
2007-06-07  Matthias Klose  <doko@ubuntu.com>

        PR libgcj/32227
        * include/config-int.h: Delete, it is a generated file.

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

13 years agoAdd new tests
charlet [Thu, 7 Jun 2007 11:04:02 +0000 (11:04 +0000)]
Add new tests

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

13 years ago2007-06-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
pinskia [Thu, 7 Jun 2007 02:12:31 +0000 (02:12 +0000)]
2007-06-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32231
        * tree-vect-transform.c (vectorizable_call): Call update_stmt
        after changing the right hand side of the assignment.

2007-06-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/32231
        * gcc.target/i386/vectorize4.c: New test.

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

13 years agoDaily bump.
gccadmin [Thu, 7 Jun 2007 00:16:54 +0000 (00:16 +0000)]
Daily bump.

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

13 years ago * config.sub, config.guess: Update from upstream sources.
bje [Wed, 6 Jun 2007 23:23:20 +0000 (23:23 +0000)]
* config.sub, config.guess: Update from upstream sources.

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

13 years ago * gfortran.dg/integer_exponentiation_3.F90: Use approx. check.
sje [Wed, 6 Jun 2007 23:11:06 +0000 (23:11 +0000)]
* gfortran.dg/integer_exponentiation_3.F90: Use approx. check.

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

13 years ago * Makefile.tpl: Fix spelling error.
bje [Wed, 6 Jun 2007 23:02:22 +0000 (23:02 +0000)]
* Makefile.tpl: Fix spelling error.
* Makefile.in: Regenerate.

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

13 years ago2007-06-06 Eric Christopher <echristo@apple.com>
echristo [Wed, 6 Jun 2007 22:43:49 +0000 (22:43 +0000)]
2007-06-06  Eric Christopher  <echristo@apple.com>

    * config.gcc (i?86-*-darwin*): Remove arch parameter.
    (x86_64-*-darwin*): Ditto.
    * config/i386/darwin.h (TARGET_SUBTARGET32_ISA_DEFAULT): Define.

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

13 years ago2007-06-06 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
manu [Wed, 6 Jun 2007 20:49:09 +0000 (20:49 +0000)]
2007-06-06  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR testsuite/25241

* gcc.dg/simd-5.c: Mark output as a note.
* gcc.dg/simd-6.c: Mark output as a note. Fix incorrect use of
* gcc.dg/simd-1.c: Likewise.
* gcc.dg/always_inline.c: Mark output as a sorry.
* gcc.dg/always_inline2.c: Likewise.
* gcc.dg/always_inline3.c: Likewise.

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

13 years ago * tree-ssa-alias-warnings.c (maybe_add_match): Cast according to the
tneumann [Wed, 6 Jun 2007 20:18:47 +0000 (20:18 +0000)]
* tree-ssa-alias-warnings.c (maybe_add_match): Cast according to the
coding conventions.
(add_key): Likewise.
* tree-ssa.c (init_tree_ssa): Use type safe memory macros.
* tree-ssa-ccp.c (ccp_fold_builtin): Avoid using C++ keywords as
variable names.
* tree-ssa-coalesce.c (find_coalesce_pair): Use type safe memory macros.
(add_cost_one_coalesce): Likewise.
* tree-ssa-copy.c (merge_alias_info): Avoid using C++ keywords as
variable names. Rename orig to orig_name for consistency.
* tree-ssa-dom.c (dom_thread_across_edge): Cast according to the coding
(cprop_into_successor_phis): Avoid using C++ keywords as variable names.
(record_equivalences_from_stmt): Likewise.
* tree-ssa-dse.c (dse_initialize_block_local_data): Cast according to
the coding conventions.
(memory_ssa_name_same): Likewise.
(dse_optimize_stmt): Likewise.
(dse_record_phis): Likewise.
(dse_finalize_block): Likewise.
* tree-ssa-loop-im.c (outermost_invariant_loop_expr): Avoid using C++
keywords as variable names.
(may_move_till): Cast according to the coding conventions.
(force_move_till_expr): Avoid using C++ keywords as variable names.
(force_move_till): Cast according to the coding conventions.
(memref_hash): Likewise.
(memref_eq): Likewise.
(gather_mem_refs_stmt): Likewise.
* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Avoid using C++
keywords as variable names.
(idx_find_step): Cast according to the coding conventions.
(idx_record_use): Likewise.
(find_depends): Likewise.
(prepare_decl_rtl): Likewise.
(mbc_entry_hash): Likewise.
(mbc_entry_eq): Likewise.
* tree-ssa-loop-niter.c (SWAP): Use the correct the type for tmp.
(simplify_replace_tree): Avoid using C++ keywords as variable names.
(idx_infer_loop_bounds): Cast according to the coding conventions.
* tree-ssa-loop-prefetch.c (idx_analyze_ref): Likewise.
* tree-ssa-math-opts.c (occ_new ): Likwise.
* tree-ssanames.c (duplicate_ssa_name_ptr_info): Use type safe memory
* tree-ssa-operands.c (add_def_op): Avoid using C++ keywords as variable
(add_use_op): Likewise.
(add_vop): Likewise.
(add_vuse_op): Likewise.
(add_vdef_op): Likewise.
(get_expr_operands): Likewise.
(push_stmt_changes): Use type safe memory macros.
* tree-ssa-phiopt.c (replace_phi_edge_with_variable): Avoid using C++
keywords as variable names.
(conditional_replacement): Likewise.
(minmax_replacement): Likewise.
(abs_replacement): Likewise.
* tree-ssa-pre.c (create_expression_by_pieces): Cast according to the
coding conventions.
(insert_fake_stores): Avoid using C++ keywords as variable names.
* tree-ssa-reassoc.c (add_to_ops_vec): Cast according to the coding
* tree-ssa-structalias.c (heapvar_lookup): Likewise.
(heapvar_insert): Use type safe memory macros.
(new_var_info): Cast according to the coding conventions.
(new_constraint): Likewise.
(remove_preds_and_fake_succs): Use type safe memory macros.
* tree-ssa-threadupdate.c (thread_block): Cast according to the coding
(thread_single_edge): Likewise.

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

13 years ago2007-06-06 Paolo Carlini <pcarlini@suse.de>
paolo [Wed, 6 Jun 2007 18:44:02 +0000 (18:44 +0000)]
2007-06-06  Paolo Carlini  <pcarlini@suse.de>

PR libstdc++/32233
* include/bits/stl_vector.h (_M_fill_initialize): Fix return type.
* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc:
Adjust dg-error line.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:

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

13 years ago2007-06-06 Eric Christopher <echristo@apple.com>
echristo [Wed, 6 Jun 2007 18:39:25 +0000 (18:39 +0000)]
2007-06-06  Eric Christopher  <echristo@apple.com>

        * config/i386/i386.c (override_options): Move handling
        of TARGET_SUBTARGET* earlier.

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

13 years ago PR testsuite/31828
sje [Wed, 6 Jun 2007 17:48:03 +0000 (17:48 +0000)]
PR testsuite/31828
* inclhack.def (hppa_hpux_fp_macros): New.
* fixincl.x: Regenerate.
* * tests/base/math.h: Update.

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

13 years ago2007-06-06 Paolo Bonzini <bonzini@gnu.org>
bonzini [Wed, 6 Jun 2007 15:43:29 +0000 (15:43 +0000)]
2007-06-06  Paolo Bonzini  <bonzini@gnu.org>

* genmodes.c (tagged_printf, emit_insn_modes_h): Don't
use %n on printf.

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

13 years ago * haifa-sched.c (restore_bb_notes): Clear bb field of the notes
rakdver [Wed, 6 Jun 2007 14:46:34 +0000 (14:46 +0000)]
* haifa-sched.c (restore_bb_notes): Clear bb field of the notes
emited outside of basic block.
* cfgbuild.c (find_bb_boundaries): Clear bb field for insns between
the created blocks.
* rtl.h (delete_insn_chain): Declaration changed.
* cfgrtl.c (delete_insn_chain): Add option to clear bb field for
non-removed insns.
(rtl_delete_block, rtl_merge_blocks): Pass true to delete_insn_chain.
(delete_insn_chain_and_edges, try_redirect_by_replacing_jump,
rtl_tidy_fallthru_edge, cfg_layout_merge_blocks): Pass false
to delete_insn_chain.
(rtl_verify_flow_info_1): Verify that the insns in header and footer
do not have bb field set.
(rtl_verify_flow_info): Verify that insns between basic blocks do not
have bb field set.
* recog.c (peephole2_optimize): Add argument to delete_insn_chain call.
* cfgcleanup.c (try_optimize_cfg): Ditto.

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

13 years ago * lambda-code.c (struct lambda_lattice_s): Add a name to the struct.
tneumann [Wed, 6 Jun 2007 14:33:57 +0000 (14:33 +0000)]
* lambda-code.c (struct lambda_lattice_s): Add a name to the struct.
(lambda_body_vector_new): Use type safe memory macros.
(lambda_linear_expression_new): Likewise.
(lambda_loopnest_new): Likewise.
(lambda_lattice_new): Likewise.
(replace_uses_equiv_to_x_with_y): Cast according to the coding
conventions. Use type safe memory macros.
* lambda.h (struct lambda_trans_matrix_s): Add a name to the struct.
(lambda_body_vector_s): Likewise.
* lambda-mat.c (lambda_matrix_new): Use type safe memory macros.
* lambda-trans.c (lambda_trans_matrix_new): Likewise.

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

13 years ago2007-06-06 Richard Guenther <rguenther@suse.de>
rguenth [Wed, 6 Jun 2007 13:58:41 +0000 (13:58 +0000)]
2007-06-06  Richard Guenther  <rguenther@suse.de>

* tree-ssa-forwprop.c (forward_propagate_into_cond): Return 2
if we need to schedule cfg_cleanup.
(tree_ssa_forward_propagate_single_use_vars): Do so.

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

13 years ago2007-06-06 Benjamin Kosnik <bkoz@redhat.com>
bkoz [Wed, 6 Jun 2007 13:57:00 +0000 (13:57 +0000)]
2007-06-06  Benjamin Kosnik  <bkoz@redhat.com>
    Frank Mori Hess  <frank.hess@nist.gov>

    * docs/html/debug.html: Correct link.

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

13 years ago./:
ian [Wed, 6 Jun 2007 13:56:00 +0000 (13:56 +0000)]
* fold-const.c (merge_ranges): If range_successor or
range_predecessor fail, just return 0.
* g++.dg/conversion/enum1.C: New test.

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

13 years ago 2007-06-06 Benjamin Kosnik <bkoz@redhat.com>
bkoz [Wed, 6 Jun 2007 13:54:44 +0000 (13:54 +0000)]
 2007-06-06  Benjamin Kosnik  <bkoz@redhat.com>
    Frank Mori Hess  <frank.hess@nist.gov>

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

13 years ago * configure.ac: Update TOOLS_TARGET_PAIRS configuration to match
charlet [Wed, 6 Jun 2007 13:18:52 +0000 (13:18 +0000)]
    * configure.ac: Update TOOLS_TARGET_PAIRS configuration to match

        * configure: Regenerated.

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

13 years ago PR tree-optimization/32216
uros [Wed, 6 Jun 2007 12:12:32 +0000 (12:12 +0000)]
PR tree-optimization/32216
* tree-vectorizer.c (supportable_widening_operation): Determine
signedness of FIX_TRUNC_EXPR from output operand.
(supportable_narrowing_operation): Ditto.
* tree-vect-generic.c (expand_vector_operations_1): Determine
from input operand.


PR tree-optimization/32216
* gcc.dg/vect/pr32216.c: New test.

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

13 years agoResync
charlet [Wed, 6 Jun 2007 11:07:47 +0000 (11:07 +0000)]

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

13 years agoAdd new tests
charlet [Wed, 6 Jun 2007 10:54:25 +0000 (10:54 +0000)]
Add new tests

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

13 years agoMinor editing.
charlet [Wed, 6 Jun 2007 10:54:04 +0000 (10:54 +0000)]
Minor editing.
Update constants.
Update copyright notice.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:52:32 +0000 (10:52 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* a-reatim.adb: Documentation addition

* g-cgideb.adb: Minor code reorganization

* tree_io.adb, treepr.adb, cstand.adb, krunch.adb, par.adb,
mdll-utl.adb, par-ch5.adb, par-tchk.adb, s-exctab.ads, s-memory.ads,
s-osprim.ads, s-restri.ads, s-soflin.ads: Minor reformatting.

* debug.ads, debug.adb (Get_Debug_Flag_K): Remove unused obsolete
function.  Change name New_Scope to Push_Scope
(Get_Debug_Flag_K): Remove unused obsolete function.

* exp_ch8.adb, inline.adb, sem_ch8.ads: Change name New_Scope to

* makeusg.adb: Update Copyright notice
Add line for switch -aP

* makeusg.adb: Fix wording of some usage messages

* s-assert.adb (Raise_Assert_Failure): Add call to

* s-unstyp.ads (type Packed_Bytes2): Change alignment to use 'Min
(2, Standard'Alignment) for compatibility with AAMP (where alignment
is restricted to 1).

* s-wchjis.adb: Remove use of System.Pure_Exceptions

* tbuild.ads, tbuild.adb (Make_Implicit_Exception_Handler): Set the
node location to No_Location when we're not debugging the expanded

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

13 years ago2007-04-20 Javier Miranda <miranda@adacore.com>
charlet [Wed, 6 Jun 2007 10:52:10 +0000 (10:52 +0000)]
2007-04-20  Javier Miranda  <miranda@adacore.com>

* a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads,
a-convec.ads (Empty_Vector, Empty_Map, Empty_List): Move this object
declaration after freezing point of all its associated tagged types;
otherwise such types are frozen too early.

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

13 years ago2007-04-20 Pascal Obry <obry@adacore.com>
charlet [Wed, 6 Jun 2007 10:51:56 +0000 (10:51 +0000)]
2007-04-20  Pascal Obry  <obry@adacore.com>
    Vincent Celier  <celier@adacore.com>

* makegpr.adb (Add_Archive_Path): Use untouched object and library
dirs and library name.
(Build_Global_Archive): Idem. Minor code clean-up. Removes duplicate
(Build_Library): Idem.
(Compile_Individual_Sources): Idem.
(Compile_Link_With_Gnatmake): Idem.
(Compile_Sources): Idem.
(Get_Imported_Directories): Idem.
(Link_Executables): Idem. Same change for the executable dir.
(Check_Compilation_Needed): C_Source_Path new variable containing
the canonical form of Source_Path to check against the source names
in the dependency file.
(Build_Global_Archive, Compile_Individual_Sources, Compile_Sources): In
verbose mode, display the name of the object directory we're changing
(Saved_Switches): New name of table X_Switches
(Scan_Arg): Recognize new switch -aP and save in table Saved_Switches
(Usage): New line for switch -aP
(Get_Imported_Directories.Add): Make sure that Add_Arg is True before
testing if a directory should be added to the search path.

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

13 years ago2007-04-20 Vincent Celier <celier@adacore.com>
charlet [Wed, 6 Jun 2007 10:51:44 +0000 (10:51 +0000)]
2007-04-20  Vincent Celier  <celier@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* xgnatugn.adb: Allow dots to be used in ug_words (-gnatw.c and

* gnat_ugn.texi: Fix ordering of -g switch for gnatmake
Document gnatbind switch -a
(case Constructions): Document that variables declarations are allowed
for previously declared variables.
Fix external lib project example
-gnatg: Indicate new VMS qualifier /GNAT_INTERNAL
Indicate that "#if not X or Y then" is not allowed in input files to
Document gnatw.x and gnatw.X warning flags
Mention -Winline switch to activate warnings when back-end inlining is
Add gnatcheck rule descriptions
Describe how to use the GNAT driver to call a tool on a closure.
Describe how to run project-wide checks or metrics.
Document gnatbind's -R option
Updated to account for Ada 2005 support

* gnat_rm.texi (Case Construction): Allow variable declarations for
previously declared variables.
(Representation Clauses and Pragmas): Lift restriction on alignment
clauses for record types.
(Ada.Characters.*): Fix typo in reference to A.3.3(27).
Document No_Exception_Propagation restriction
Document No_Body pragma
Updated to account for Ada 2005 support; corrected some typos
(Implementation Defined Pragmas): Document pragma Universal_Aliasing.

* gnat-style.texi: Make it clear that we never use mode IN for
procedures or functions

* ug_words: Add entries for -gnatw.x and -gnatw.X
Add entries for -gnatw.c/.C

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

13 years ago2007-04-20 Vincent Celier <celier@adacore.com>
charlet [Wed, 6 Jun 2007 10:51:19 +0000 (10:51 +0000)]
2007-04-20  Vincent Celier  <celier@adacore.com>

* vms_conv.adb (Process_Argument): Keep arguments starting with '+' as

* vms_data.ads: Add entries for -gnatw.x and -gnatw.X
/STYLE_CHECKS=GNAT: Change meaning to -gnatyg
/GNAT_INTERNAL: New compiler qualifier corresponding to -gnatg
Add missing comment for /OPTIMIZE=SPACE
Add entry for OPTIMIZE=SPACE
Add new qualifier /ALL_PROJECTS (= -U) for GNAT LIST
Add documentation for new qualifiers corresponding to -gnatw.c/.C

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

13 years ago2007-04-20 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 6 Jun 2007 10:50:59 +0000 (10:50 +0000)]
2007-04-20  Thomas Quinot  <quinot@adacore.com>

* types.h, types.ads: Rename PE_Illegal_CW_Actual_E_4_18 to
(By_Descriptor_Last): New constant.
(By_Copy_Return): Likewise.

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

13 years ago2007-04-20 Eric Botcazou <ebotcazou@adacore.com>
charlet [Wed, 6 Jun 2007 10:50:46 +0000 (10:50 +0000)]
2007-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* tracebak.c (FRAME_OFFSET): Add parameter FP. On SPARC/Solaris, do not
add the stack bias if the offset is computed from a frame address.
(__gnat_backtrace): Adjust for above change.

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

13 years ago2007-04-20 Matthew Gingell <gingell@adacore.com>
charlet [Wed, 6 Jun 2007 10:50:30 +0000 (10:50 +0000)]
2007-04-20  Matthew Gingell  <gingell@adacore.com>
    Jose Ruiz  <ruiz@adacore.com>

* s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the
VxWorks task descriptor in the Ada run time, call a C subprogram
(__gnat_get_stack_info) that extracts the required information.

* sysdep.c: Back out temporary lynxos workaround.
(__gnat_get_stack_info): Add this procedure that passes to the Ada run
time the stack information associated to the currently executing task.
Only VxWorks systems require this function.

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

13 years ago2007-04-20 Vincent Celier <celier@adacore.com>
charlet [Wed, 6 Jun 2007 10:50:04 +0000 (10:50 +0000)]
2007-04-20  Vincent Celier  <celier@adacore.com>

* switch-b.adb (Scan_Binder_Switches): Add processing for new
switches -R and -Z

* switch-m.adb (Normalize_Compiler_Switches): Do not record switch -E
(Scan_Make_Switches): Recognize new switch -aP

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:49:42 +0000 (10:49 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* stylesw.ads, stylesw.adb (Set_GNAT_Style_Check): New procedure
(Set_Style_Check_Options): Recognize new -gnatyg style switch

* switch-c.adb (Scan_Front_End_Switches, case -gnatg): Set
Warn_On_Non_Local_Exception to False, to turn off warnings for
No_Exception_Propagation in ZFP runtime.
(Scan_Front_End_Switches): Fix handling of --RTS switch for non GCC
(Scan_Front_End_Switches): For 'g', call Set_GNAT_Style_Checks

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

13 years ago2007-04-20 Vincent Celier <celier@adacore.com>
charlet [Wed, 6 Jun 2007 10:49:20 +0000 (10:49 +0000)]
2007-04-20  Vincent Celier  <celier@adacore.com>

* a-dirval-vms.adb, a-dirval.ads, a-dirval.adb (Windows): New Boolean

* a-dirval-mingw.adb (Is_Valid_Path_Name): Forbid a path with a drive
letter if it is not followed by a '/' or a '\'.
(Windows): New Boolean function

* a-direct.ads, a-direct.adb: Remove unnecessary and misplaced pragma
Ada 2005.
(Containing_Directory): On Windows, keep at least one '/' or '\' after a
drive letter.
(Containing_Directory): Raise Use_Error when the directory is a root
(Extension): When returning the result, use a conversion to Result_Type,
not a qualification.

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

13 years ago2007-04-20 Eric Botcazou <ebotcazou@adacore.com>
charlet [Wed, 6 Jun 2007 10:49:08 +0000 (10:49 +0000)]
2007-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* s-stoele.ads, s-stoele.adb: Move inline_always subprograms earlier
than their first call.
Add type Dummy_Communication_Block used in the generation of the pre-
defined dispatching primitive _disp_asynchronous_select.
(Storage_Element): Put Pragma Universal_Aliasing on it.

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

13 years ago2007-04-20 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 6 Jun 2007 10:48:51 +0000 (10:48 +0000)]
2007-04-20  Thomas Quinot  <quinot@adacore.com>

* g-soccon-darwin.ads, gen-soccon.c: Add new constant
Thread_Blocking_IO, always True by default, set False on a per-runtime
Add Windows-specific constants
Add new constant Need_Netdb_Buffer.
Add new macros to indicate whether getXXXbyYYY is thread safe and, if
not, whether to use getXXXbyYYY_r.

* gsocket.h: Add new constant Need_Netdb_Buffer.
Add new macros to indicate whether getXXXbyYYY is thread safe and, if
not, whether to use getXXXbyYYY_r.

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

13 years ago2007-04-20 Quentin Ochem <ochem@adacore.com>
charlet [Wed, 6 Jun 2007 10:48:27 +0000 (10:48 +0000)]
2007-04-20  Quentin Ochem  <ochem@adacore.com>

* s-stausa.ads, s-stausa.adb (Initialize_Analyzer): Added parameter
(Stack_Analyzer): Added field "Overflow_Guard"
(Task_Result): Added field "Overflow_Guard".
(Index_Str): New constant.
(Task_Name_Str): New constant.
(Actual_Size_Str): New constant.
(Pattern_Array_Element_Size): New constant.
(Get_Usage_Range): New subprogram.
(Output_Result): Added parameter Max_Size_Len and Max_Actual_Use_Len.
Now align the output.
Added comments.
(Initialize): Added value for Overflow_Guard.
(Fill_Stack): Use constant Pattern_Array_Elem_Size when relevant.
Update the value of the overflow guard according to the actual
beginning of the pattern array.
(Initialize_Analyzer): Added parameter Overflow_Guard.
Take this parameter into accound when computing the max size.
(Compute_Result): Use constant Pattern_Array_Elem_Size when relevant.
(Report_Result): Removed extra useless procedure.
Updated call to Output_Result.
Moved full computation of the Task_Result here.

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

13 years ago2007-04-20 Arnaud Charlet <charlet@adacore.com>
charlet [Wed, 6 Jun 2007 10:48:07 +0000 (10:48 +0000)]
2007-04-20  Arnaud Charlet  <charlet@adacore.com>

* s-secsta.adb (Chunk): Ensure this object has a static size known at
compile time, to avoid dynamic memory allocation
(Elaboration code): Only use dynamic memory allocation when needed.

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

13 years ago2007-04-20 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 6 Jun 2007 10:47:54 +0000 (10:47 +0000)]
2007-04-20  Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* sprint.ads, sprint.adb (Sprint_Node_Actual): Output aggregate for
(Write_Itype): Handle case of string literal subtype, which
comes up in this context.
(Update_Itype): when debugging expanded code, update sloc of itypes
associated with defining_identifiers and ranges, for gdb use.
(Sprint_Node_Actual): Add static keyword to object or exception
declaration output if Is_Statically_Allocated is True.
(Sprint_End_Label): Set entity of end marker for a subprogram, package,
or task body, so that the tree carries the proper Sloc information for
debugging use.
(Write_Indent): In Dump_Source_Text mode, ignore implicit label nodes

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:47:30 +0000 (10:47 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* sinput-l.ads, sinput-l.adb: implement a new pragma No_Body

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

13 years ago2007-04-20 Ed Schonberg <schonberg@adacore.com>
charlet [Wed, 6 Jun 2007 10:47:17 +0000 (10:47 +0000)]
2007-04-20  Ed Schonberg  <schonberg@adacore.com>

* sem_smem.adb (Check_Shared_Var): Check explicitly for as task object,
to prevent subsequent expansion.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:47:02 +0000 (10:47 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb (Eval_Relational_Op): nothing to do if an operand is an
illegal aggregate and the type is still Any_Composite.
(Subtypes_Statically_Match): Fix problem of empty discriminant list

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

13 years ago2007-04-20 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 6 Jun 2007 10:46:39 +0000 (10:46 +0000)]
2007-04-20  Thomas Quinot  <quinot@adacore.com>

* s-finroo.ads, s-finroo.adb (Read, Write): Use null procedure
declarations instead of an explicit null body, for conciseness.

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

13 years ago2007-04-20 Jose Ruiz <ruiz@adacore.com>
charlet [Wed, 6 Jun 2007 10:46:22 +0000 (10:46 +0000)]
2007-04-20  Jose Ruiz  <ruiz@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>

* s-taprob.adb (Unlock): Change the ceiling priority of the underlying
lock, if needed.

* s-taprop.ads (Set_Ceiling): Add this procedure to change the ceiling
priority associated to a lock.

* s-tpoben.adb ([Vulnerable_]Complete_Task, Lock_Entries): Relax
assertion to take into account case of no abort restriction.
(Initialize_Protection_Entries): Add initialization for the field
New_Ceiling associated to the protected object.
(Unlock_Entries): Change the ceiling priority of the underlying lock, if

* s-solita.adb (Get_Current_Excep): Moved back to s-tasini/s-tarest,
since this function needs to be set consistently with Update_Exception.

* s-tarest.adb (Get_Current_Excep): Moved back to s-tasini/s-tarest,
since this function needs to be set consistently with Update_Exception.

* s-taskin.ads: Update comments on
(Unbind_Handler): Fix handling of server_task wakeup
(Server_Task): Set self's state so that Unbind_Handler can take
appropriate actions.
(Common_ATCB): Now use a constant from System.Parameters to determine
the max size of the Task_Image field.

* s-tassta.adb (Task_Wrapper): Now pass the overflow guard to the
Initialize_Analyzer function.
([Vulnerable_]Complete_Task, Lock_Entries): Relax assertion to
take into account case of no abort restriction.
([Vulnerable_]Complete_Master): Modify assertion.

* s-tataat.adb (Finalize): Use the nestable versions of

* s-tpobop.adb (Protected_Entry_Call): Relax assertion.

* s-tpobop.ads: Update comments.

* s-tposen.adb (Protected_Single_Entry_Call): Call Lock_Entry instead
of locking the object manually, to avoid inconsistencies between
Lock/Unlock_Entry assertions.

* s-interr.ads, s-interr.adb (Server_Task): Fix race condition when
application and System.Parameters.No_Abort is True.
Update comments on Interrupt_Server_Blocked_On_Event_Flag.
(Unbind_Handler): Fix handling of server_task wakeup
(Server_Task): Set self's state so that Unbind_Handler can take
appropriate actions.

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

13 years ago2007-04-20 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 6 Jun 2007 10:46:09 +0000 (10:46 +0000)]
2007-04-20  Thomas Quinot  <quinot@adacore.com>
    Olivier Hainque  <hainque@adacore.com>

* a-except-2005.ads, a-except-2005.adb
(Raise_From_Controlled_Operation): New procedure in
(private part of) Ada.Exceptions (standard runtime version). Used to
provide informational exception message when Program_Error is raised as
a result of an Adjust or Finalize operation propagating an exception.
(Rmsg_28): Fix description for E.4(18) check.
(Raise_Current_Excep): Call Debug_Raise_Exception just before
propagation starts, to let debuggers know about the event in a reliable
Take the address of E and dereference to make sure it is homed on stack
and prevent the stores from being deleted, necessary for proper
debugger behavior on "break exception" hits.
(Local_Raise): Moved to System.Exceptions

* s-finimp.adb (Raise_From_Finalize): Code to construct an appropriate
exception message from the current occurrence and raise Program_Error
has been moved to Ada.Exceptions.Raise_From_Controlled_Operation.

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

13 years ago2007-04-20 Thomas Quinot <quinot@adacore.com>
charlet [Wed, 6 Jun 2007 10:45:42 +0000 (10:45 +0000)]
2007-04-20  Thomas Quinot  <quinot@adacore.com>

* socket.c (__gnat_close_signalling_fd): New function.
(__gnat_safe_gethostbyaddr, __gnat_safe_gethostbyname,
__gnat_safe_getservbyname, __gnat_safe_getservbyport):
New supporting functions for task safe Netdb operations.

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

13 years ago2007-04-20 Olivier Hainque <hainque@adacore.com>
charlet [Wed, 6 Jun 2007 10:45:25 +0000 (10:45 +0000)]
2007-04-20  Olivier Hainque  <hainque@adacore.com>

* raise-gcc.c (__gnat_eh_personality): Tweak the signature and add
special code on ia64-vms to handle major incompatibilities between the
GCC unwinding ABI and the VMS Condition Handling Facility, both calling
this routine with a very different set of arguments and expectations on
the return value.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:45:10 +0000 (10:45 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* sem_elab.adb (Check_A_Call): Specialize elaboration warnings on
elaboration model
(Check_A_Call): Add check for entry call which was causing blowup

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

13 years ago2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
charlet [Wed, 6 Jun 2007 10:44:43 +0000 (10:44 +0000)]
2007-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* sem_util.ads, sem_util.adb (May_Be_Lvalue): A prefix of an attribute
reference acts as an lvalue when the attribute name modifies the prefix
(Is_Coextension_Root): New routine.
(Mark_Static_Coextensions): New routine.
(Type_Access_Level): Revise code for checking the level of the
anonymous access type of a return object.
(Safe_To_Capture_Value): Not safe to capture if Address_Taken
(Matches_Prefixed_View_Profile): Remove the no longer necessary
retrieval of the corresponding controlling record type.
(Find_Overridden_Synchronized_Primitive): Code cleanup. Add handling of
concurrent types declared within a generic as well as class wide types.
Emit a mode incompatibility error whenever a protected entry or routine
override an interface routine whose first parameter is not of mode
"out", "in out" or access to variable.
(Overrides_Synchronized_Primitive): Rename to
(Collect_Interface_Components): New subprogram that collects all the
components of a tagged record containing tags of secondary dispatch
(Add_Global_Declaration): New procedure
(Abstract_Interface_List): Handle properly the case of a subtype of a
private extension.
(Type_Access_Level): In the case of a type whose parent scope is a
return statement, call Type_Access_Level recursively on the enclosing
function's result type to determine the level of the return object's
(Build_Elaboration_Entity): Build name of elaboration entity from the
scope chain of the entity, rather than the unit name of the file name.
(Check_Nested_Access): New procedure.
(Has_Up_Level_Access, Set_Has_Up_Level_Access): New procedures.
(Find_Direct_Name, Note_Possible_Modification): Use Check_Nested_Access.
(Get_Renamed_Entity): Utility routine for performing common operation
of chasing the Renamed_Entity field of an entity.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:44:24 +0000 (10:44 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* sem_ch7.adb (Check_Anonymous_Access_Types): Fix error for null body
(Derive_Inherited_Private_Subprogram): Code cleanup. In case of explicit
overriding of an inherited private subprogram now there is no need to
inherit its dispatching slot and reduce the size of the dispatch table.
Set_All_DT_Position now ensures that the same slot is now assigned to
both entities. This is required to statically build the dispatch table.
(Declare_Inherited_Private_Subprograms): Rewriten to avoid the need
of calling Set_All_DT_Position to re-evaluate the position of the
entries in the dispatch table. Such reevaluation is not desired if
the tagged type is already frozen.

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

13 years ago2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
charlet [Wed, 6 Jun 2007 10:43:57 +0000 (10:43 +0000)]
2007-04-20  Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* sem_res.ads, sem_res.adb (Process_Allocator): Do not propagate the
chain of coextensions when an allocator serves as the root of such a
(Propagate_Coextensions): Remove the test for the root being an
(Resolve_Allocator): Add condition to ensure that all future decoration
occurs on an allocator node. Add processing and cleanup for static
(Valid_Conversion): If the operand type is the limited view of a
class-wide type, use the non-limited view is available to determine
legality of operation.
(Ambiguous_Character): move to spec, for use elsewhere.
(Ambiguous_Character): Handle Wide_Wide_Character in Ada 2005 mode
(Resolve_Range): Diagnose properly an ambiguous range whose bounds are
character literals.
(Resolve_Arithmetic_Op): Call Activate_Division_Check instead of setting
Do_Division_Check flag explicitly.
(Resolve_Actuals): If the actual is of a synchronized type, and the
formal is of the corresponding record type, this is a call to a
primitive operation of the type, that is declared outside of the type;
the actual must be unchecked-converted to the type of the actual
(Resolve_Call): Kill all current values for any subprogram call if
flag Suppress_Value_Tracking_On_Call is set.
(Resolve_Type_Conversion): Generate error message the the operand
or target of interface conversions come from a limited view.
(Check_Infinite_Recursion): Ignore generated calls
(Check_Allocator_Discrim_Accessibility): New procedure for checking
that an expression that constrains an access discriminant in an
allocator does not denote an object with a deeper level than the
allocator's access type.
(Resolve_Allocator): In the case of an allocator initialized by an
aggregate of a discriminated type, check that associations for any
access discriminants satisfy accessibility requirements by calling
(Resolve_Equality_Op): Handle comparisons of anonymous access to
subprogram types in the same fashion as other anonymous access types.
(Resolve_Concatenation_Arg): Remove initial character '\' in an error
message that is not a continuation message.
(Resolve_Type_Conversion): Add missing support for conversion to
interface type.
(Resolve_Actuals): Introduce a transient scope around the call if an
actual is a call to a function returning a limited type, because the
resulting value must be finalized after the call.
(Resolve_Actuals): If the call was given in prefix notations, check
whether an implicit 'Access reference or implicit dereference must be
added to make the actual conform to the controlling formal.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:43:37 +0000 (10:43 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb
(Find_Var): Do not consider function call in test for infinite loop
warning if warnings set off for function entity.
(One_Bound): Do not create a temporary for a loop bound if it is a
character literal.
(Analyze_Assignment): Traverse the right hand side of an assignment and
mark all allocators as static coextensions.
(Analyze_Assignment): Exempt assignments involving a dispatching call
to a function with a controlling access result from the check requiring
the target to be class-wide.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:43:09 +0000 (10:43 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Stream_Size):
Check for restriction No_Implementation_Attributes if in Ada 95 mode.
(Storage_Pool): Do not crash when RE_Stack_Bounded_Pool is not available
(Analyze_Attribute_Definition_Clause [External_Tag]): Generate error
message when using a VM, since this attribute is not supported.
(Analyze_Record_Representation_Clause): Give unrepped component warnings

* usage.adb: Add new warning for renaming of function return objects
Indicate that -gnatwp and -gnatwP concern front-end inlining
Add line for -gnatyg
Add usage information for -gnatw.c/C

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

13 years ago2007-04-20 Javier Miranda <miranda@adacore.com>
charlet [Wed, 6 Jun 2007 10:42:51 +0000 (10:42 +0000)]
2007-04-20  Javier Miranda  <miranda@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* sem_ch11.adb (Analyze_Exception_Handlers): Add barrier to avoid the
use of entity Exception_Occurrence if it is not available in the
target run-time.

* sem_ch9.adb (Analyze_Protected_Type, Analyze_Task_Type): When
concurrent types are declared within an Ada 2005 generic, build their
corresponding record types since they are needed for overriding-related
semantic checks.
(Analyze_Protected_Type): Rearrange and simplify code for testing that a
protected type does not implement a task interface or a nonlimited
(Analyze_Task_Type): Rearrange and simplify code for testing that a task
type does not implement a protected interface or a nonlimited interface.
(Single_Task_Declaration, Single_Protected_Declaration): use original
entity for variable declaration, to ensure that debugging information
is correcty generated.
(Analyze_Protected_Type, Analyze_Task_Type): Do not call expander
routines if the expander is not active.
(Analyze_Task_Body): Mark all handlers to stop optimization of local
raise, since special things happen for task exception handlers.

* sem_disp.adb (Check_Controlling_Formals): Add type retrieval for
concurrent types declared within a generic.
(Check_Dispatching_Operation): Do not emit warning about late interface
operations in the context of an instance.
(Check_Dispatching_Call): Remove restriction against calling a
dispatching operation with a limited controlling result.
(Check_Dispatching_Operation): Replace calls to Fill_DT_Entry and
Register_Interface_DT_Entry by calls to Register_Primitive.
(Check_Dispatching_Formals): Handle properly a function with a
controlling access result.

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

13 years ago2007-04-20 Javier Miranda <miranda@adacore.com>
charlet [Wed, 6 Jun 2007 10:42:36 +0000 (10:42 +0000)]
2007-04-20  Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* sem_ch10.ads, sem_ch10.adb (Analyze_Compilation_Unit): Disable check
on obsolescent withed unit in case of limited-withed units.
(Analyze_Compilation_Unit): Add guard to code that removed an
instantiation from visibility, to prevent compiler aborts when
instantiation is abandoned early on.
(Install_Limited_Withed_Unit): Recognize a limited-with clause on the
current unit being analyzed, and Distinguish local incomplete types
from limited views of types declared elsewhere.
(Build_Limited_Views.Decorate_Tagged_Type): Add documentation
to state that the class-wide entity is shared by the limited-view
and the full-view.
(Analyze_With_Clause): Improve placement of flag for case of
unimplemented unit.
(Analyze_With_Clause): Recognize use of GNAT.Exception_Traces in a
manner similar to GNAT.Current_Exception. This is a violation of
restriction (No_Exception_Propagation), and also inhibits the
optimization of local raise to goto.
(Analyze_With_Clause): Check for Most_Recent_Exception being with'ed,
and if so set Most_Recent_Exception_Used flag in Opt, and also check
for violation of restriction No_Exception_Propagation.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:42:10 +0000 (10:42 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* sem.ads, sem.adb (Semantics): Save and restore Global_Discard_Names
Remove no longer used nodes.

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

13 years ago2007-04-20 Robert Dewar <dewar@adacore.com>
charlet [Wed, 6 Jun 2007 10:41:57 +0000 (10:41 +0000)]
2007-04-20  Robert Dewar  <dewar@adacore.com>

* scng.adb: (Check_End_Of_Line): Deal with very long lines

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

13 years ago2007-04-20 Arnaud Charlet <charlet@adacore.com>
charlet [Wed, 6 Jun 2007 10:41:35 +0000 (10:41 +0000)]
2007-04-20  Arnaud Charlet  <charlet@adacore.com>

* s-bitops.adb: Get rid of System.Pure_Exceptions.
Replace UC by Ada.UC

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

13 years ago2007-04-20 Arnaud Charlet <charlet@adacore.com>
charlet [Wed, 6 Jun 2007 10:41:12 +0000 (10:41 +0000)]
2007-04-20  Arnaud Charlet  <charlet@adacore.com>

* restrict.ads, restrict.adb (No_Exception_Handlers_Set): Only return
true if configurable run-time or No_Run_Time is set.
(Set_Restriction): Avoid setting restriction No_Elaboration_Code when
processing an unit which is not the one being compiled.

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

13 years ago2007-04-20 Vincent Celier <celier@adacore.com>
charlet [Wed, 6 Jun 2007 10:40:57 +0000 (10:40 +0000)]
2007-04-20  Vincent Celier  <celier@adacore.com>

* prj.adb (Project_Empty): Gives default value for new component

* prj-attr.ads: Minor reformatting

* prj-env.ads, prj-env.adb (For_All_Object_Dirs): Register object
directory using the untouched casing.
(For_All_Source_Dirs): Idem.

* prj-ext.ads, prj-ext.adb (Search_Directories): New table to record
directories specified with switches -aP.
(Add_Search_Project_Directory): New procedure
(Initialize_Project_Path): Put the directories in table
Search_Directories in the project search path.
(Initialize_Project_Path): For VMS, transform into canonical form the
project path.

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