Bob Duff [Mon, 11 Jun 2007 06:41:43 +0000 (08:41 +0200)]
g-stsifd-sockets.adb (Create): Work around strange behavior of 'bind' on windows that causes 'connect' to fail...
2007-06-11 Bob Duff <duff@adacore.com>
Thomas Quinot <quinot@adacore.com>
* g-stsifd-sockets.adb (Create): Work around strange behavior of
'bind' on windows that causes 'connect' to fail intermittently, by
retrying the 'bind'.
(GNAT.Sockets.Thin.Signalling_Fds): New procedure Close.
From-SVN: r125612
Jerry DeLisle [Mon, 11 Jun 2007 03:06:01 +0000 (03:06 +0000)]
re PR fortran/32235 (incorrectly position text file after backspace)
2007-06-10 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libgfortran/32235
* gfortran.dg/backspace_9.f: New test.
From-SVN: r125611
GCC Administrator [Mon, 11 Jun 2007 00:16:58 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r125609
Jerry DeLisle [Sun, 10 Jun 2007 22:50:47 +0000 (22:50 +0000)]
re PR fortran/32235 (incorrectly position text file after backspace)
2007-06-10 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libgfortran/32235
* io/transfer.c (st_read): Remove test for end of file condition.
(next_record_r): Add test for end of file condition.
From-SVN: r125606
Jan Sjodin [Sun, 10 Jun 2007 21:00:59 +0000 (21:00 +0000)]
lambda-code.c (remove_iv): New.
* lambda-code.c (remove_iv): New.
(lambda_loopnest_to_gcc_loopnest): Use remove_iv.
Co-Authored-By: Sebastian Pop <sebpop@gmail.com>
From-SVN: r125605
Zdenek Dvorak [Sun, 10 Jun 2007 20:39:22 +0000 (22:39 +0200)]
tree-data-ref.c (dr_analyze_alias): Handle case smt is NULL.
* tree-data-ref.c (dr_analyze_alias): Handle case smt is NULL.
* tree-predcom.c (mark_virtual_ops_for_renaming): Exported.
* tree-ssa-loop-prefetch.c: Include optabs.h.
(FENCE_FOLLOWING_MOVNT): New macro.
(struct mem_ref): Add independent_p and storent_p fields.
(record_ref): Initalize the new fields.
(gather_memory_references_ref): Return true if the reference
could be analysed.
(gather_memory_references): Check whether all memory accesses
in loop were recorded.
(should_issue_prefetch_p): Return false for nontemporal stores.
(nontemporal_store_p, mark_nontemporal_store, emit_mfence_after_loop,
may_use_storent_in_loop_p, mark_nontemporal_stores): New functions.
(determine_loop_nest_reuse): Detect independent memory references.
(loop_prefetch_arrays): Call mark_nontemporal_stores.
* tree-flow.h (mark_virtual_ops_for_renaming): Declare.
* Makefile.in (tree-ssa-loop-prefetch.o): Add OPTABS_H dependency.
* config/i386/i386.h (x86_mfence): Declare.
(FENCE_FOLLOWING_MOVNT): Return x86_mfence.
* config/i386/i386.c (x86_mfence): New variable.
(ix86_init_mmx_sse_builtins): Initialize x86_mfence.
* tree-pretty-print.c (dump_generic_node): Mark nontemporal stores.
* optabs.c (init_optabs): Initialize storent_optab.
* optabs.h (enum optab_index): Add OTI_storent.
(storent_optab): Declare.
* genopinit.c (optabs): Add initialization for storent_optab.
* tree.h (MOVE_NONTEMPORAL): New macro.
* expr.c (expand_assignment, store_expr, store_constructor_field,
store_constructor, store_field, expand_expr_real_1): Propagate
nontemporality of the expanded store.
(emit_storent_insn): New function.
* expr.h (expand_assignment, store_expr): Declaration changed.
* function.c (assign_parm_setup_reg): Pass false as nontemporality
to expand_assignment.
* stmt.c (expand_asm_expr): Ditto.
* calls.c (initialize_argument_information): Pass false as
nontemporality to store_expr.
* config/i386/sse.md (storentv4sf, storentv2df, storentv2di,
storentsi): New.
* gcc.dg/tree-ssa/prefetch-7.c: New test.
From-SVN: r125604
Daniel Berlin [Sun, 10 Jun 2007 20:21:48 +0000 (20:21 +0000)]
tree-ssa-structalias.c (set_uids_in_ptset): Add is_deref'd parameter, use it.
2007-06-09 Daniel Berlin <dberlin@dberlin.org>
* tree-ssa-structalias.c (set_uids_in_ptset): Add is_deref'd
parameter, use it.
(find_what_p_points_to): Pass new parameter to set_uids_in_ptset.
From-SVN: r125603
Duncan Sands [Sun, 10 Jun 2007 18:36:40 +0000 (20:36 +0200)]
decl.c (gnat_to_gnu_entity): Use pointers to dummy nodes...
* decl.c (gnat_to_gnu_entity): Use pointers to dummy nodes, rather
than to void, for the fields when making a new fat pointer type.
(gnat_substitute_in_type): Now substitute_in_type.
* gigi.h (gnat_substitute_in_type): Likewise.
* trans.c (gnat_gimplify_expr): Remove COMPONENT_REF kludge.
* utils.c (update_pointer_to): Update fat pointers by updating the
dummy node pointers used for the fields.
From-SVN: r125602
Daniel Berlin [Sun, 10 Jun 2007 14:13:18 +0000 (14:13 +0000)]
tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b, and allow DECL_P here.
2007-06-09 Daniel Berlin <dberlin@dberlin.org>
* tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b,
and allow DECL_P here.
From-SVN: r125601
Benjamin Kosnik [Sun, 10 Jun 2007 09:14:43 +0000 (09:14 +0000)]
testsuite_performance.h: Add cstring include for memset.
2007-06-10 Benjamin Kosnik <bkoz@redhat.com>
* testsuite/util/testsuite_performance.h: Add cstring include for
memset.
From-SVN: r125600
GCC Administrator [Sun, 10 Jun 2007 00:16:56 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r125598
Zdenek Dvorak [Sat, 9 Jun 2007 21:34:08 +0000 (23:34 +0200)]
tree-scalar-evolution.c (follow_ssa_edge_in_rhs, [...]): Keep more precise track of the size of the expression.
* tree-scalar-evolution.c (follow_ssa_edge_in_rhs,
follow_ssa_edge_in_condition_phi, follow_ssa_edge): Keep more precise
track of the size of the expression.
* cfghooks.c (merge_blocks): Remove block from loops structure only
after call of the merge_blocks hook.
* gcc.dg/tree-ssa/loop-28.c: New testcase.
From-SVN: r125595
Keith Seitz [Sat, 9 Jun 2007 17:32:42 +0000 (17:32 +0000)]
dummyagent.c (Agent_OnLoad): Add missing return value.
* testsuite/libjava.jvmti/dummyagent.c (Agent_OnLoad):
Add missing return value.
From-SVN: r125594
Tom Tromey [Sat, 9 Jun 2007 16:48:47 +0000 (16:48 +0000)]
c-decl.c (grokdeclarator): Added 'deprecated_state' argument.
* 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.
From-SVN: r125593
Ian Lance Taylor [Sat, 9 Jun 2007 16:28:31 +0000 (16:28 +0000)]
re PR tree-optimization/32169 (Ice in set_value_range, at tree-vrp.c:326)
./: 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.
testsuite/:
PR tree-optimization/32169
* gcc.c-torture/compile/pr32169.c: New test.
From-SVN: r125591
Vladimir Prus [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 EACCES.
* cppfiles.c (open_file): Account for the
fact that on windows, opening a directory gives
EACCES.
From-SVN: r125590
Paolo Carlini [Sat, 9 Jun 2007 00:55:43 +0000 (00:55 +0000)]
install.html: Adjust consistently with libstdc++/31717.
2007-06-08 Paolo Carlini <pcarlini@suse.de>
* docs/html/install.html: Adjust consistently with libstdc++/31717.
From-SVN: r125587
GCC Administrator [Sat, 9 Jun 2007 00:17:00 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r125585
Eric Botcazou [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.
* reload1.c (fixup_abnormal_edges): Clear bb field for insns
not inserted on the edge.
From-SVN: r125582
Uros Bizjak [Fri, 8 Jun 2007 20:55:46 +0000 (22:55 +0200)]
* ChangeLog fix * ChangeLog fix.
From-SVN: r125578
Bob Wilson [Fri, 8 Jun 2007 16:49:23 +0000 (16:49 +0000)]
lib1funcs.asm (__udivsi3): Use hardware divide instructions if they are supported.
* 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.
From-SVN: r125577
Harsha Jagasia [Fri, 8 Jun 2007 16:30:49 +0000 (16:30 +0000)]
extend.texi: Add fvect-cost-model flag.
gcc/ChangeLog:
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.
gcc/testsuite/ChangeLog:
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.
Co-Authored-By: Tony Linthicum <tony.linthicum@amd.com>
From-SVN: r125575
Simon Baldwin [Fri, 8 Jun 2007 16:17:01 +0000 (16:17 +0000)]
reg-stack.c (get_true_reg): Readability change.
* reg-stack.c (get_true_reg): Readability change. Moved default case
label into direct switch statement scope.
From-SVN: r125574
Simon Baldwin [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.
* tree-flow-inline.h (var_ann): Replaced erroneous '=' assignment
in gcc_assert() with '==' comparison.
From-SVN: r125573
Francesco Palagi [Fri, 8 Jun 2007 13:16:38 +0000 (15:16 +0200)]
fstream: Add Table 92 in comment.
2007-06-08 Francesco Palagi <palagi@arcetri.astro.it>
* include/std/fstream: Add Table 92 in comment.
From-SVN: r125571
Uros Bizjak [Fri, 8 Jun 2007 11:34:56 +0000 (13:34 +0200)]
i386.c (override_options): Merge TARGET_SSE4_2 and TARGET_ABM handling of x86_popcnt variable.
* config/i386/i386.c (override_options): Merge TARGET_SSE4_2 and
TARGET_ABM handling of x86_popcnt variable.
From-SVN: r125570
Uros Bizjak [Fri, 8 Jun 2007 11:22:44 +0000 (13:22 +0200)]
extend.texi (X86 Built-in Functions): Document __builtin_fabsq, __builtin_copysignq and __builtin_infq built-in functions.
* doc/extend.texi (X86 Built-in Functions): Document __builtin_fabsq,
__builtin_copysignq and __builtin_infq built-in functions.
From-SVN: r125569
Uros Bizjak [Fri, 8 Jun 2007 11:08:12 +0000 (13:08 +0200)]
extend.texi (X86 Built-in Functions): Add missing `@item's in SSE4.2 section.
* doc/extend.texi (X86 Built-in Functions): Add missing `@item's in
SSE4.2 section. Correct built-in function names in SSE4A section.
From-SVN: r125568
Uros Bizjak [Fri, 8 Jun 2007 09:06:46 +0000 (11:06 +0200)]
re PR tree-optimization/32243 (ICE in vectorizable_type_promotion, at tree-vect-transform.c:2890)
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".
testsuite/ChangeLog:
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.
From-SVN: r125567
Dorit Nuzman [Fri, 8 Jun 2007 08:57:54 +0000 (08:57 +0000)]
re PR tree-optimization/32224 (ICE in vect_analyze_operations, at tree-vect-analyze.c:374)
PR tree-optimization/32224
* tree-vect-analyze.c (vect_determine_vectorization_factor): Fail
vectorization upon a non GIMPLE_MODIFY_STMT.
From-SVN: r125566
Francois-Xavier Coudert [Fri, 8 Jun 2007 08:01:10 +0000 (08:01 +0000)]
* trans-intrinsic.c: Revert Lee's 2007-06-04 patch.
From-SVN: r125565
Christian Bruel [Fri, 8 Jun 2007 07:58:41 +0000 (09:58 +0200)]
re PR target/29953 ([SH-4] Perfomance regression in loops. cmp/eq used instead of dt)
PR target/29953
* config/sh/sh.md (doloop_end): New pattern and splitter.
* loop-iv.c (simple_rhs_p): Check for hardware registers.
From-SVN: r125564
Zdenek Dvorak [Fri, 8 Jun 2007 07:28:50 +0000 (09:28 +0200)]
re PR middle-end/32209 (Boot failure Comparing stages 2 and 3 with --disable-checking)
PR middle-end/32209
* dominance.c (debug_dominance_tree, debug_dominance_tree_1): New
functions.
(verify_dominators): Do not change dominance tree.
From-SVN: r125563
Kaz Kojima [Fri, 8 Jun 2007 06:59:55 +0000 (06:59 +0000)]
constraints.md: New file.
* 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.
(REG_CLASS_FROM_CONSTRAINT): Remove.
(CONSTRAINT_LEN, CONST_OK_FOR_I20, CONST_OK_FOR_I,
CONST_OK_FOR_J, CONST_OK_FOR_K16, CONST_OK_FOR_K,
CONST_OK_FOR_P27, CONST_OK_FOR_P, CONST_OK_FOR_M,
CONST_OK_FOR_N, CONST_OK_FOR_CONSTRAINT_P,
CONST_DOUBLE_OK_FOR_LETTER_P): Likewise.
(SECONDARY_INOUT_RELOAD_CLASS): Use satisfies_constraint_*
function instead of macro.
(SECONDARY_INPUT_RELOAD_CLASS): Likewise.
(EXTRA_CONSTRAINT_Q, EXTRA_CONSTRAINT_A,
EXTRA_CONSTRAINT_Bsc, EXTRA_CONSTRAINT_B,
EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Remove.
(IS_PC_RELATIVE_LOAD_ADDR_P): New macro.
(IS_LITERAL_OR_SYMBOLIC_S16_P): Likewise.
(IS_LITERAL_OR_SYMBOLIC_U16_P): Likewise.
(IS_NON_EXPLICIT_CONSTANT_P): Likewise.
(EXTRA_CONSTRAINT_Csy, EXTRA_CONSTRAINT_Z, EXTRA_CONSTRAINT_W,
EXTRA_CONSTRAINT_Cpg, EXTRA_CONSTRAINT_C,
EXTRA_MEMORY_CONSTRAINT, EXTRA_CONSTRAINT_Sr0,
EXTRA_CONSTRAINT_Sua, EXTRA_CONSTRAINT_S,
EXTRA_CONSTRAINT_STR): Likewise.
(GO_IF_LEGITIMATE_INDEX): Fix indentation.
From-SVN: r125561
Steven G. Kargl [Fri, 8 Jun 2007 04:49:23 +0000 (04:49 +0000)]
re PR fortran/32223 (Backslash handling inconsistent)
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.
Co-Authored-By: Jerry DeLisle <jvdelisle@gcc.gnu.org>
From-SVN: r125557
Geoffrey Keating [Fri, 8 Jun 2007 03:29:00 +0000 (03:29 +0000)]
cleanup-8.c: Run on i386-darwin9 and later.
* 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.
From-SVN: r125556
Geoffrey Keating [Fri, 8 Jun 2007 03:22:56 +0000 (03:22 +0000)]
darwin.h (STACK_BOUNDARY): Define.
* config/i386/darwin.h (STACK_BOUNDARY): Define.
Co-Authored-By: Hui-May Chang <hm.chang@apple.com>
From-SVN: r125555
GCC Administrator [Fri, 8 Jun 2007 00:17:07 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r125549
Jakub Jelinek [Thu, 7 Jun 2007 23:11:23 +0000 (01:11 +0200)]
re PR c++/32177 (g++ crashes on some valid OpenMP code)
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.
From-SVN: r125544
Manuel López-Ibáñez [Thu, 7 Jun 2007 21:01:41 +0000 (21:01 +0000)]
re PR testsuite/25241 ([C++] DejaGNU does not distinguish between errors and warnings)
2007-06-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR testsuite/25241
testsuite/
* 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.
From-SVN: r125543
Jakub Jelinek [Thu, 7 Jun 2007 20:16:53 +0000 (22:16 +0200)]
team.c (gomp_team_start): Fix setting up thread_attr stack size.
* team.c (gomp_team_start): Fix setting up thread_attr
stack size.
From-SVN: r125542
Simon Martin [Thu, 7 Jun 2007 19:59:33 +0000 (19:59 +0000)]
re PR c++/30759 (initializer-list accepted for object of non-POD type)
gcc/
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
cxx_dialect.
* c-opts.c (c_common_post_options): Likewise.
(set_std_cxx98): Set cxx_dialect to cxx98.
(set_std_cxx0x): Set cxx_dialect to cxx0x.
gcc/cp/
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
cxx_dialect.
(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.
(TOKEN_PRECEDENCE): 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.
gcc/testsuite/
2007-06-07 Simon Martin <simartin@users.sourceforge.net>
PR c++/30759
* g++.dg/init/brace6.C: New test.
From-SVN: r125539
Geoffrey Keating [Thu, 7 Jun 2007 19:04:02 +0000 (19:04 +0000)]
attr-weakref-1-darwin.c: Run on all Darwin platforms.
* 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.
From-SVN: r125538
Geoffrey Keating [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
-mmacosx-version-min.
* 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.
Co-Authored-By: Hui-May Chang <hm.chang@apple.com>
From-SVN: r125537
Geoffrey Keating [Thu, 7 Jun 2007 18:42:47 +0000 (18:42 +0000)]
configure.ac: Non-default multilibs can be cross compilations.
* configure.ac: Non-default multilibs can be cross compilations.
* configure: Regenerate
From-SVN: r125536
Uros Bizjak [Thu, 7 Jun 2007 18:31:40 +0000 (20:31 +0200)]
i386.md (standard sse constant splitter): Handle TFmode.
* 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
ix86_expand_unop_builtin().
testsuite/ChangeLog:
* gcc.target/i386/builtin-copysign.c: New test.
From-SVN: r125535
Bob Wilson [Thu, 7 Jun 2007 18:27:42 +0000 (18:27 +0000)]
* config/xtensa/lib1funcs.asm: Clean up whitespace.
From-SVN: r125534
Steven G. Kargl [Thu, 7 Jun 2007 18:10:31 +0000 (18:10 +0000)]
decl.c: Miscellaneous whitespace fixes.
* 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.
From-SVN: r125533
Steve Ellcey [Thu, 7 Jun 2007 16:46:26 +0000 (16:46 +0000)]
re PR target/31850 (gcc.c-torture/compile/limits-fnargs.c is slow at compiling for spu-elf)
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
push_to_sequence.
(assign_parm_setup_reg): Ditto.
(assign_parm_setup_stack): Ditto.
(assign_parms_unsplit_complex): Ditto.
(assign_parms): Change field name.
From-SVN: r125532
Zdenek Dvorak [Thu, 7 Jun 2007 15:34:40 +0000 (17:34 +0200)]
re PR tree-optimization/32220 (internal compiler error: in eliminate_temp_copies, at tree-predcom.c:1937)
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.
From-SVN: r125531
Arnaud Charlet [Thu, 7 Jun 2007 13:44:58 +0000 (15:44 +0200)]
Add new tests
From-SVN: r125529
Matthias Klose [Thu, 7 Jun 2007 13:38:49 +0000 (13:38 +0000)]
re PR libgcj/32227 (../gcc/libjava/classpath/include/config-int.h:7:20: error: stdint.h: No such file or directory)
2007-06-07 Matthias Klose <doko@ubuntu.com>
PR libgcj/32227
* include/config-int.h: Delete, it is a generated file.
From-SVN: r125528
Arnaud Charlet [Thu, 7 Jun 2007 11:04:02 +0000 (13:04 +0200)]
Add new tests
From-SVN: r125527
Andrew Pinski [Thu, 7 Jun 2007 02:12:31 +0000 (02:12 +0000)]
re PR tree-optimization/32231 (Segfault in verify_ssa_name)
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.
From-SVN: r125521
GCC Administrator [Thu, 7 Jun 2007 00:16:54 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r125514
Ben Elliston [Wed, 6 Jun 2007 23:23:20 +0000 (23:23 +0000)]
* config.sub, config.guess: Update from upstream sources.
From-SVN: r125511
Steve Ellcey [Wed, 6 Jun 2007 23:11:06 +0000 (23:11 +0000)]
* gfortran.dg/integer_exponentiation_3.F90: Use approx. check.
From-SVN: r125510
Ben Elliston [Wed, 6 Jun 2007 23:02:22 +0000 (23:02 +0000)]
Makefile.tpl: Fix spelling error.
* Makefile.tpl: Fix spelling error.
* Makefile.in: Regenerate.
From-SVN: r125509
Eric Christopher [Wed, 6 Jun 2007 22:43:49 +0000 (22:43 +0000)]
config.gcc (i?86-*-darwin*): Remove arch parameter.
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.
(TARGET_SUBTARGET64_ISA_DEFAULT): Ditto.
From-SVN: r125508
Manuel López-Ibáñez [Wed, 6 Jun 2007 20:49:09 +0000 (20:49 +0000)]
re PR testsuite/25241 ([C++] DejaGNU does not distinguish between errors and warnings)
2007-06-06 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR testsuite/25241
testsuite/
* gcc.dg/simd-5.c: Mark output as a note.
* gcc.dg/simd-6.c: Mark output as a note. Fix incorrect use of
dg-message.
* 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.
From-SVN: r125505
Thomas Neumann [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.
* 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
conventions.
(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
macros.
* tree-ssa-operands.c (add_def_op): Avoid using C++ keywords as variable
names.
(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
conventions.
* 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
conventions.
(thread_single_edge): Likewise.
From-SVN: r125504
Paolo Carlini [Wed, 6 Jun 2007 18:44:02 +0000 (18:44 +0000)]
re PR libstdc++/32233 (warning in stl_vector.h:832)
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:
Likewise.
From-SVN: r125499
Eric Christopher [Wed, 6 Jun 2007 18:39:25 +0000 (18:39 +0000)]
i386.c (override_options): Move handling of TARGET_SUBTARGET* earlier.
2007-06-06 Eric Christopher <echristo@apple.com>
* config/i386/i386.c (override_options): Move handling
of TARGET_SUBTARGET* earlier.
From-SVN: r125497
Steve Ellcey [Wed, 6 Jun 2007 17:48:03 +0000 (17:48 +0000)]
re PR testsuite/31828 (FAIL: gcc.dg/float-range-[3-5].c (test for excess errors))
PR testsuite/31828
* inclhack.def (hppa_hpux_fp_macros): New.
* fixincl.x: Regenerate.
* * tests/base/math.h: Update.
From-SVN: r125496
Paolo Bonzini [Wed, 6 Jun 2007 15:43:29 +0000 (15:43 +0000)]
genmodes.c (tagged_printf, [...]): Don't use %n on printf.
2007-06-06 Paolo Bonzini <bonzini@gnu.org>
* genmodes.c (tagged_printf, emit_insn_modes_h): Don't
use %n on printf.
From-SVN: r125494
Zdenek Dvorak [Wed, 6 Jun 2007 14:46:34 +0000 (16:46 +0200)]
haifa-sched.c (restore_bb_notes): Clear bb field of the notes emited outside of basic block.
* 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.
From-SVN: r125492
Thomas Neumann [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-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.
From-SVN: r125491
Richard Biener [Wed, 6 Jun 2007 13:58:41 +0000 (13:58 +0000)]
tree-ssa-forwprop.c (forward_propagate_into_cond): Return 2 if we need to schedule cfg_cleanup.
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.
From-SVN: r125490
Benjamin Kosnik [Wed, 6 Jun 2007 13:57:00 +0000 (13:57 +0000)]
debug.html: Correct link.
2007-06-06 Benjamin Kosnik <bkoz@redhat.com>
Frank Mori Hess <frank.hess@nist.gov>
* docs/html/debug.html: Correct link.
From-SVN: r125488
Ian Lance Taylor [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.
./: * fold-const.c (merge_ranges): If range_successor or
range_predecessor fail, just return 0.
testsuite/:
* g++.dg/conversion/enum1.C: New test.
From-SVN: r125486
Benjamin Kosnik [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>
Co-Authored-By: Frank Mori Hess <frank.hess@nist.gov>
From-SVN: r125485
Arnaud Charlet [Wed, 6 Jun 2007 13:18:52 +0000 (13:18 +0000)]
configure.ac: Update TOOLS_TARGET_PAIRS configuration to match gcc/ada/Makefile.in.
* configure.ac: Update TOOLS_TARGET_PAIRS configuration to match
gcc/ada/Makefile.in.
* configure: Regenerated.
From-SVN: r125484
Uros Bizjak [Wed, 6 Jun 2007 12:12:32 +0000 (14:12 +0200)]
re PR tree-optimization/32216 (ICE: verify_stmts failed (invalid reference prefix) with -ftree-vectorize)
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
signedness of VEC_UNPACK_FLOAT_HI_EXPR and VEC_UNPACK_FLOAT_LO_EXPR
from input operand.
testsuite/ChangeLog:
PR tree-optimization/32216
* gcc.dg/vect/pr32216.c: New test.
From-SVN: r125482
Arnaud Charlet [Wed, 6 Jun 2007 11:07:47 +0000 (13:07 +0200)]
Resync
From-SVN: r125481
Arnaud Charlet [Wed, 6 Jun 2007 10:54:25 +0000 (12:54 +0200)]
Add new tests
From-SVN: r125480
Arnaud Charlet [Wed, 6 Jun 2007 10:54:04 +0000 (12:54 +0200)]
Minor editing.
Update constants.
Update copyright notice.
From-SVN: r125479
Robert Dewar [Wed, 6 Jun 2007 10:52:32 +0000 (12:52 +0200)]
a-reatim.adb: Documentation addition
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
Push_Scope.
* 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
Debug_Raise_Assert_Failure.
* 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
code.
From-SVN: r125478
Javier Miranda [Wed, 6 Jun 2007 10:52:10 +0000 (12:52 +0200)]
a-cidlli.ads, [...] (Empty_Vector, [...]): Move this object declaration after freezing point of all its associated tagged...
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.
From-SVN: r125477
Pascal Obry [Wed, 6 Jun 2007 10:51:56 +0000 (12:51 +0200)]
makegpr.adb (Add_Archive_Path): Use untouched object and library dirs and library name.
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
comments.
(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
to.
(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.
From-SVN: r125476
Vincent Celier [Wed, 6 Jun 2007 10:51:44 +0000 (12:51 +0200)]
xgnatugn.adb: Allow dots to be used in ug_words (-gnatw.c and -gnatw.C)
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
-gnatw.C)
* 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
gnatprep.
Document gnatw.x and gnatw.X warning flags
Mention -Winline switch to activate warnings when back-end inlining is
ineffective.
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
From-SVN: r125475
Vincent Celier [Wed, 6 Jun 2007 10:51:19 +0000 (12:51 +0200)]
vms_conv.adb (Process_Argument): Keep arguments starting with '+' as is.
2007-04-20 Vincent Celier <celier@adacore.com>
* vms_conv.adb (Process_Argument): Keep arguments starting with '+' as
is.
* 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
From-SVN: r125474
Thomas Quinot [Wed, 6 Jun 2007 10:50:59 +0000 (12:50 +0200)]
types.h, types.ads: Rename PE_Illegal_CW_Actual_E_4_18 to PE_Non_Transportable_Actual.
2007-04-20 Thomas Quinot <quinot@adacore.com>
* types.h, types.ads: Rename PE_Illegal_CW_Actual_E_4_18 to
PE_Non_Transportable_Actual.
(By_Descriptor_Last): New constant.
(By_Copy_Return): Likewise.
From-SVN: r125473
Eric Botcazou [Wed, 6 Jun 2007 10:50:46 +0000 (12:50 +0200)]
tracebak.c (FRAME_OFFSET): Add parameter FP.
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.
From-SVN: r125472
Matthew Gingell [Wed, 6 Jun 2007 10:50:30 +0000 (12:50 +0200)]
s-stchop-vxworks.adb (Set_Stack_Info): Instead of trying to map the VxWorks task descriptor in the Ada run time...
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.
From-SVN: r125471
Vincent Celier [Wed, 6 Jun 2007 10:50:04 +0000 (12:50 +0200)]
switch-b.adb (Scan_Binder_Switches): Add processing for new switches -R and -Z
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
From-SVN: r125470
Robert Dewar [Wed, 6 Jun 2007 10:49:42 +0000 (12:49 +0200)]
stylesw.ads, [...] (Set_GNAT_Style_Check): New procedure
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
back-ends.
(Scan_Front_End_Switches): For 'g', call Set_GNAT_Style_Checks
From-SVN: r125469
Vincent Celier [Wed, 6 Jun 2007 10:49:20 +0000 (12:49 +0200)]
a-dirval-vms.adb, [...] (Windows): New Boolean function.
2007-04-20 Vincent Celier <celier@adacore.com>
* a-dirval-vms.adb, a-dirval.ads, a-dirval.adb (Windows): New Boolean
function.
* 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
directory.
(Extension): When returning the result, use a conversion to Result_Type,
not a qualification.
From-SVN: r125468
Eric Botcazou [Wed, 6 Jun 2007 10:49:08 +0000 (12:49 +0200)]
s-stoele.ads, [...]: Move inline_always subprograms earlier than their first call.
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.
From-SVN: r125467
Thomas Quinot [Wed, 6 Jun 2007 10:48:51 +0000 (12:48 +0200)]
g-soccon-darwin.ads, [...]: Add new constant Thread_Blocking_IO...
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
basis.
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.
From-SVN: r125466
Quentin Ochem [Wed, 6 Jun 2007 10:48:27 +0000 (12:48 +0200)]
s-stausa.ads, [...] (Initialize_Analyzer): Added parameter "Overflow_Guard".
2007-04-20 Quentin Ochem <ochem@adacore.com>
* s-stausa.ads, s-stausa.adb (Initialize_Analyzer): Added parameter
"Overflow_Guard".
(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.
From-SVN: r125465
Arnaud Charlet [Wed, 6 Jun 2007 10:48:07 +0000 (12:48 +0200)]
s-secsta.adb (Chunk): Ensure this object has a static size known at compile time...
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.
From-SVN: r125464
Ed Schonberg [Wed, 6 Jun 2007 10:47:54 +0000 (12:47 +0200)]
sprint.ads, sprint.adb (Sprint_Node_Actual): Output aggregate for exceptions.
2007-04-20 Ed Schonberg <schonberg@adacore.com>
Robert Dewar <dewar@adacore.com>
* sprint.ads, sprint.adb (Sprint_Node_Actual): Output aggregate for
exceptions.
(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
From-SVN: r125463
Robert Dewar [Wed, 6 Jun 2007 10:47:30 +0000 (12:47 +0200)]
sinput-l.ads, [...]: implement a new pragma No_Body
2007-04-20 Robert Dewar <dewar@adacore.com>
* sinput-l.ads, sinput-l.adb: implement a new pragma No_Body
From-SVN: r125462
Ed Schonberg [Wed, 6 Jun 2007 10:47:17 +0000 (12:47 +0200)]
sem_smem.adb (Check_Shared_Var): Check explicitly for as task object, to prevent subsequent expansion.
2007-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_smem.adb (Check_Shared_Var): Check explicitly for as task object,
to prevent subsequent expansion.
From-SVN: r125461
Robert Dewar [Wed, 6 Jun 2007 10:47:02 +0000 (12:47 +0200)]
sem_eval.adb (Eval_Relational_Op): nothing to do if an operand is an illegal aggregate and the type is still...
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
From-SVN: r125460
Thomas Quinot [Wed, 6 Jun 2007 10:46:39 +0000 (12:46 +0200)]
s-finroo.ads, [...] (Read, Write): Use null procedure declarations instead of an explicit null body, for conciseness.
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.
From-SVN: r125459
Jose Ruiz [Wed, 6 Jun 2007 10:46:22 +0000 (12:46 +0200)]
s-taprob.adb (Unlock): Change the ceiling priority of the underlying lock, if needed.
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
needed.
* 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
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.
(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
Defer/Undefer_Abort.
* 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
terminating
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.
From-SVN: r125458
Thomas Quinot [Wed, 6 Jun 2007 10:46:09 +0000 (12:46 +0200)]
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
fashion.
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.
From-SVN: r125457
Thomas Quinot [Wed, 6 Jun 2007 10:45:42 +0000 (12:45 +0200)]
socket.c (__gnat_close_signalling_fd): New function.
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.
From-SVN: r125456
Olivier Hainque [Wed, 6 Jun 2007 10:45:25 +0000 (12:45 +0200)]
raise-gcc.c (__gnat_eh_personality): Tweak the signature and add special code on ia64-vms to handle major...
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.
From-SVN: r125455