Arnaud Charlet [Mon, 21 Jun 2010 14:17:34 +0000 (16:17 +0200)]
[multiple changes]
2010-06-21 Thomas Quinot <quinot@adacore.com>
* bindgen.ads: Update comments.
2010-06-21 Vincent Celier <celier@adacore.com>
* gnatbind.adb: Suppress dupicates when listing the sources in the
closure (switch -R).
2010-06-21 Emmanuel Briot <briot@adacore.com>
* s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
is too small.
2010-06-21 Emmanuel Briot <briot@adacore.com>
* g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process):
New subprograms.
(Expect_Internal): No longer raises an exception, so that it can set
out parameters as well. When a process has died, reset its Input_Fd
to Invalid_Fd, so that when using multiple processes we can find out
which process has died.
From-SVN: r161081
Tobias Burnus [Mon, 21 Jun 2010 14:15:56 +0000 (16:15 +0200)]
re PR fortran/40632 (Support F2008's contiguous attribute)
2010-06-20 Tobias Burnus <burnus@net-b.de>
PR fortran/40632
* interface.c (compare_parameter): Add gfc_is_simply_contiguous
checks.
* symbol.c (gfc_add_contiguous): New function.
(gfc_copy_attr, check_conflict): Handle contiguous attribute.
* decl.c (match_attr_spec): Ditto.
(gfc_match_contiguous): New function.
* resolve.c (resolve_fl_derived, resolve_symbol): Handle
contiguous.
* gfortran.h (symbol_attribute): Add contiguous.
(gfc_is_simply_contiguous): Add prototype.
(gfc_add_contiguous): Add prototype.
* match.h (gfc_match_contiguous): Add prototype.
* parse.c (decode_specification_statement,
decode_statement): Handle contiguous attribute.
* expr.c (gfc_is_simply_contiguous): New function.
* dump-parse-tree.c (show_attr): Handle contiguous.
* module.c (ab_attribute, attr_bits, mio_symbol_attribute):
Ditto.
* trans-expr.c (gfc_add_interface_mapping): Copy
attr.contiguous.
* trans-array.c (gfc_conv_descriptor_stride_get,
gfc_conv_array_parameter): Handle contiguous arrays.
* trans-types.c (gfc_build_array_type, gfc_build_array_type,
gfc_sym_type, gfc_get_derived_type, gfc_get_array_descr_info):
Ditto.
* trans.h (gfc_array_kind): Ditto.
* trans-decl.c (gfc_get_symbol_decl): Ditto.
2010-06-20 Tobias Burnus <burnus@net-b.de>
PR fortran/40632
* gfortran.dg/contiguous_1.f90: New.
* gfortran.dg/contiguous_2.f90: New.
* gfortran.dg/contiguous_3.f90: New.
From-SVN: r161079
Arnaud Charlet [Mon, 21 Jun 2010 13:44:29 +0000 (15:44 +0200)]
[multiple changes]
2010-06-21 Robert Dewar <dewar@adacore.com>
* s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads,
checks.adb, sem_res.adb: Minor reformatting. Add comments.
2010-06-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): If the new entity is a
rederivation associated with a full declaration in a private part, and
there is a partial view that derives the same parent subprogram, the
new entity does not become visible. This check must be applied to
interface operations as well.
From-SVN: r161078
Thomas Quinot [Mon, 21 Jun 2010 13:38:58 +0000 (13:38 +0000)]
checks.adb: Add comments.
2010-06-21 Thomas Quinot <quinot@adacore.com>
* checks.adb: Add comments.
* prj-nmsc.adb: Minor reformatting.
From-SVN: r161077
Arnaud Charlet [Mon, 21 Jun 2010 13:35:58 +0000 (15:35 +0200)]
[multiple changes]
2010-06-21 Thomas Quinot <quinot@adacore.com>
* sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb,
sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to
extract bounds, to ensure that we get the proper captured values,
rather than an expression that may have changed value since the point
where the subtype was elaborated.
(Find_Body_Discriminal): New utility subprogram to share code between...
(Eval_Attribute): For the case of a subtype bound that references a
discriminant of the current concurrent type, insert appropriate
discriminal reference.
(Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a
requeue to an entry in a family in the current task, use corresponding
body discriminal.
(Analyze_Accept_Statement): Rely on expansion of attribute references
to insert proper discriminal references in range check for entry in
family.
2010-06-21 Emmanuel Briot <briot@adacore.com>
* s-regpat.adb (Compile): Fix handling of big patterns.
2010-06-21 Robert Dewar <dewar@adacore.com>
* a-tifiio.adb: Minor reformatting.
From-SVN: r161076
Arnaud Charlet [Mon, 21 Jun 2010 13:26:24 +0000 (15:26 +0200)]
[multiple changes]
2010-06-21 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb (Search_Directories): Use the non-translated directory
path to open it.
2010-06-21 Javier Miranda <miranda@adacore.com>
* exp_cg.adb (Write_Call_Info): Fill the component sourcename using the
external name.
2010-06-21 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_Concatenate): If an object declaration is created
to hold the result, indicate that the target of the declaration does
not need an initialization, to prevent spurious errors when
Initialize_Scalars is enabled.
2010-06-21 Ed Schonberg <schonberg@adacore.com>
* a-tifiio.adb (Put): In the procedure that performs I/O on a String,
Fore is not bound by line length. The Fore parameter of the internal
procedure that performs the operation is an integer.
2010-06-21 Thomas Quinot <quinot@adacore.com>
* sem_res.adb, checks.adb: Minor reformatting.
2010-06-21 Emmanuel Briot <briot@adacore.com>
* s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged
into Get_Next.
(Insert_Operator_Before): New subprogram, avoids duplicated code
(Compile): Avoid doing two compilations when the pattern matcher ends
up being small.
From-SVN: r161074
Arnaud Charlet [Mon, 21 Jun 2010 12:53:05 +0000 (14:53 +0200)]
[multiple changes]
2010-06-21 Emmanuel Briot <briot@adacore.com>
* s-regpat.adb: Improve debug traces
(Dump): Change output format to keep it smaller.
2010-06-21 Javier Miranda <miranda@adacore.com>
* exp_cg.adb (Generate_CG_Output): Disable redirection of standard
output to the output file when this routine completes its work.
From-SVN: r161073
Joern Rennecke [Mon, 21 Jun 2010 12:45:47 +0000 (12:45 +0000)]
* c-opts.c: Include "tm_p.h".
From-SVN: r161071
Jan Kratochvil [Mon, 21 Jun 2010 11:40:02 +0000 (11:40 +0000)]
Move the entry from libjava/classpath/ ChangeLog to ChangeLog.gcj as it is a local change.
Move the entry from libjava/classpath/ ChangeLog to ChangeLog.gcj as it is
a local change. Reported by Jakub Jelinek, approved by Mark Wielaard.
From-SVN: r161069
Nick Clifton [Mon, 21 Jun 2010 11:27:32 +0000 (11:27 +0000)]
rx.h (PTRDIFF_TYPE): Define.
* config/rx/rx.h (PTRDIFF_TYPE): Define.
(SMALL_REGISTER_CLASS): Define (to zero).
(PRINT_OPERAND): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/rx/rx-protos.h (rx_print_operand): Delete prototype.
(rx_print_operand_address): Delete prototype.
* config/rx/rx.c (rx_print_operand): Make static.
Allow %H and %L to handle CONST_DOUBLEs.
(rx_print_operand_address): Make static.
(rx_gen_move_template): Rename local variable 'template' to
out_template.
(rx_function_arg): Do not pass unknown sized objects in
registers.
(TARGET_PRINT_OPERAND): Define.
(TARGET_PRINT_OPERAND_ADDRESS): Define.
From-SVN: r161068
Jan Kratochvil [Mon, 21 Jun 2010 11:16:18 +0000 (11:16 +0000)]
Makefile.in (POD2MAN): Provide --date from $(DATESTAMP).
gcc/
* Makefile.in (POD2MAN): Provide --date from $(DATESTAMP).
libjava/classpath/
* doc/Makefile.am (POD2MAN): Provide --date from ChangeLog.
* doc/Makefile.in: Regenerate.
From-SVN: r161066
Kai Tietz [Mon, 21 Jun 2010 07:29:55 +0000 (07:29 +0000)]
i386.c (ix86_compute_frame_layout): Avoid stack-alignment for simple leaf-functions.
2010-06-21 Kai Tietz <kai.tietz@onevision.com>
* config/i386/i386.c (ix86_compute_frame_layout): Avoid
stack-alignment for simple leaf-functions.
From-SVN: r161064
Kai Tietz [Mon, 21 Jun 2010 07:27:19 +0000 (07:27 +0000)]
leaf-1.c: New.
2010-06-21 Kai Tietz <kai.tietz@onevision.com>
* gcc.target/x86_64/abi/callabi/leaf-1.c: New.
* gcc.target/x86_64/abi/callabi/leaf-2.c: New.
From-SVN: r161063
Alexandre Oliva [Mon, 21 Jun 2010 00:23:06 +0000 (00:23 +0000)]
compare-debug: Drop LTO sections.
contrib/ChangeLog:
* compare-debug: Drop LTO sections.
config/ChangeLog:
* bootstrap-lto.mk: New.
gcc/ChangeLog:
* doc/install.texi: Document bootstrap-lto.
From-SVN: r161061
GCC Administrator [Mon, 21 Jun 2010 00:17:15 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r161060
Alexandre Oliva [Sun, 20 Jun 2010 23:57:54 +0000 (23:57 +0000)]
re PR lto/44248 (-fcompare-debug failure with -flto/-fwhopr -g)
PR debug/44248
* lto-streamer-in.c (input_bb): Leave debug stmts alone.
(input_function): Drop them here, if VTA is disabled.
From-SVN: r161056
Uros Bizjak [Sun, 20 Jun 2010 21:42:10 +0000 (23:42 +0200)]
re PR target/44546 (ICE in extract_insn, at recog.c:2103 with -ffast-math -Os (compiling graphviz))
PR target/44546
* config/i386/predicates.md (ix86_swapped_fp_comparsion_operator):
New predicate.
* config/i386/i386.md (*fp_jcc_8<mode>_387): Use
ix86_swapped_fp_comparsion_operator instead of
ix86_fp_comparison_operator.
(*fp_jcc_1_387): Rename from *fp_jcc_3_387.
(*fp_jcc_1r_387): Rename from *fp_jcc_4_387.
(*fp_jcc_2_387): Rename from *fp_jcc_5_387.
(*fp_jcc_2r_387): Rename from *fp_jcc_6_387.
(*fp_jcc_3_387): Rename from *fp_jcc_7_387.
(*fp_jcc_4_<mode>_387): Rename from *fp_jcc_8<mode>_387.
testsuite/ChangeLog:
PR target/44546
* gcc.target/i386/pr44546.c: New test.
From-SVN: r161055
Paolo Carlini [Sun, 20 Jun 2010 21:03:10 +0000 (21:03 +0000)]
random.tcc (uniform_int_distribution<>::operator()): Fix to work well for arbitrary urng.max() and urng.min().
2010-06-20 Paolo Carlini <paolo.carlini@oracle.com>
Kai-Uwe Bux <bux@kubux.net>
* include/bits/random.tcc (uniform_int_distribution<>::operator()):
Fix to work well for arbitrary urng.max() and urng.min().
Co-Authored-By: Kai-Uwe Bux <bux@kubux.net>
From-SVN: r161054
Joseph Myers [Sun, 20 Jun 2010 21:02:46 +0000 (22:02 +0100)]
re PR other/32998 (-frecord-gcc-switches issues)
PR other/32998
* opth-gen.awk: Generate definitions of OPT_SPECIAL_unknown,
OPT_SPECIAL_program_name and OPT_SPECIAL_input_file.
* opts-common.c (find_opt): Return OPT_SPECIAL_unknown on failure.
(decode_cmdline_option): Update for this return value. Set
orig_option_with_args_text field. Set arg field for unknown
options. Make static.
(decode_cmdline_options_to_array): New.
(prune_options): Update handling of find_opt return value.
* opts.c (read_cmdline_option): Take decoded option. Return void.
(read_cmdline_options): Take decoded options.
(decode_options): Add parameters for decoded options. Use
decode_cmdline_options_to_array. Use decoded options for -O
scan. Use integral_argument for -O parameters. Update call to
read_cmdline_options.
(enable_warning_as_error): Update handling of find_opt return
value.
* opts.h: Update comment on unknown options.
(struct cl_decoded_option): Update comments on opt_index and arg.
Add orig_option_with_args_text.
(decode_cmdline_option): Remove.
(decode_cmdline_options_to_array): Declare.
(decode_options): Update prototype.
* toplev.c (save_argv): Remove.
(save_decoded_options, save_decoded_options_count): New.
(read_integral_parameter): Remove.
(print_switch_values): Use decoded options.
(toplev_main): Don't set save_argv. Update call to
decode_options.
* toplev.h (read_integral_parameter): Remove.
* varasm.c (elf_record_gcc_switches): Don't handle holding back
names.
c-family:
* c-common.c (parse_optimize_options): Update call to
decode_options.
fortran:
* options.c (gfc_handle_option): Don't handle N_OPTS.
testsuite:
* gcc.dg/opts-2.c: New test.
From-SVN: r161053
Eric Botcazou [Sun, 20 Jun 2010 09:09:21 +0000 (09:09 +0000)]
trans.c (Subprogram_Body_to_gnu): Use while instead of for loop.
* gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of
for loop. Call build_constructor_from_list directly in the CICO case.
From-SVN: r161046
GCC Administrator [Sun, 20 Jun 2010 00:16:58 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r161045
Janus Weil [Sun, 20 Jun 2010 00:05:35 +0000 (02:05 +0200)]
re PR fortran/44584 (Invalid memory access with gfortran.dg/typebound_proc_15.f03)
2010-06-19 Janus Weil <janus@gcc.gnu.org>
PR fortran/44584
* resolve.c (resolve_fl_derived): Reverse ordering of conditions
to avoid ICE.
2010-06-19 Janus Weil <janus@gcc.gnu.org>
PR fortran/44584
* gfortran.dg/typebound_proc_15.f03: Modified.
From-SVN: r161041
Richard Earnshaw [Sat, 19 Jun 2010 23:00:31 +0000 (23:00 +0000)]
re PR target/44072 (Use 'add r0, 1' to replace 'cmp r0, -1' in thumb2)
PR target/44072
* arm.md (cmpsi2_addneg): Prefer emitting adds to subs with a negative
immediate.
* constraints.md (Pw, Px): New constraints.
* thumb2.md (cmpsi2_addneg peephole2): New peepholes.
* gcc.target/arm/thumb2-cmpneg2add-1.c: New test.
* gcc.target/arm/thumb2-cmpneg2add-2.c: New test.
From-SVN: r161040
H.J. Lu [Sat, 19 Jun 2010 16:04:33 +0000 (16:04 +0000)]
Simplify modesuffix in sse.md.
2010-06-19 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/sse.md (fma4modesuffixf4): Removed.
(ssemodesuffixf2s): Likewise.
(ssemodesuffixf4): Likewise.
(ssemodesuffixf2c): Likewise.
(ssescalarmodesuffix2s): Likewise.
(avxmodesuffixf2c): Likewise.
(ssemodesuffix): New.
(ssescalarmodesuffix): Likewise.
Update patterns with ssemodesuffix and ssescalarmodesuffix.
From-SVN: r161031
John David Anglin [Sat, 19 Jun 2010 14:36:28 +0000 (14:36 +0000)]
label13.C: Fix typo in last change.
* g++.dg/ext/label13.C: Fix typo in last change.
From-SVN: r161028
Philip Herron [Sat, 19 Jun 2010 10:42:02 +0000 (10:42 +0000)]
c-decl.c (c_write_global_declarations): Don't check flag_syntax_only.
2010-06-19 Philip Herron <herron.philip@googlemail.com>
* c-decl.c (c_write_global_declarations): Don't check
flag_syntax_only.
From-SVN: r161024
Jerry DeLisle [Sat, 19 Jun 2010 01:05:05 +0000 (01:05 +0000)]
re PR fortran/44477 (Sequential I/O with END FILE: File position should be at EoF)
2010-06-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/44477
* gfortran.dg/eof_3.f90
* gfortran.dg/endfile_2.f90
* gfortran.dg/endfile_4.f90
* gfortran.dg/endfile_3.f90
From-SVN: r161021
Jerry DeLisle [Sat, 19 Jun 2010 00:58:28 +0000 (00:58 +0000)]
re PR fortran/44477 (Sequential I/O with END FILE: File position should be at EoF)
2010-06-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/44477
* io/file_pos.c (st_endfile): Add check for ENDFILE when file is
already positioned after the EOF marker. Use find_or_create_unit
instead of find_unit. If unit is not connected, connect it and create
the file with default settings.
* io/transfer.c (data_transfer_init): Add check for attempted READ or
WRITE when file is already positioned after the EOF marker.
From-SVN: r161020
John David Anglin [Sat, 19 Jun 2010 00:28:18 +0000 (00:28 +0000)]
re PR c++/41090 (Using static label reference in c++ class constructor produces wrong code)
PR c++/41090
* g++.dg/ext/label13.C: xfail on 32-bit hppa*-*-hpux*.
From-SVN: r161018
GCC Administrator [Sat, 19 Jun 2010 00:16:58 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r161017
Tobias Burnus [Fri, 18 Jun 2010 22:23:40 +0000 (00:23 +0200)]
re PR fortran/44556 (incorrect error: Stat-variable at (1) shall not be DEALLOCATEd within the same DEALLOCATE statement)
2010-06-18 Tobias Burnus <burnus@net-b.de>
PR fortran/44556
* resolve.c (resolve_allocate_deallocate): Properly check
part-refs in stat=/errmsg= for invalid use.
2010-06-18 Tobias Burnus <burnus@net-b.de>
PR fortran/44556
* gfortran.dg/allocate_alloc_opt_11.f90: New.
From-SVN: r161011
Arnaud Charlet [Fri, 18 Jun 2010 19:48:43 +0000 (21:48 +0200)]
[multiple changes]
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Build_And_Analyze_Renamed_Body): If the renaming
declaration appears in the same unit and ealier than the renamed
entity, retain generated body to prevent order-of-elaboration issues in
gigi.
2010-06-18 Arnaud Charlet <charlet@adacore.com>
* s-tpoben.adb: Update comments.
2010-06-18 Robert Dewar <dewar@adacore.com>
* debug.adb: Minor comment change.
From-SVN: r161010
Paolo Carlini [Fri, 18 Jun 2010 18:07:45 +0000 (18:07 +0000)]
re PR libstdc++/32618 (std::vector calls uneccessary constructors instead of inplace construction of first object)
2010-06-18 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/32618
* include/bits/stl_list.h (vector<>::_M_default_initialize,
_M_default_append): Declare.
(list<>::list(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/list.tcc (list<>::resize, _M_default_append): Define.
* include/bits/stl_vector.h (vector<>::_M_default_initialize,
_M_default_append): Declare.
(vector<>::vector(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/vector.tcc (vector<>::_M_default_append): Define.
* include/bits/stl_deque.h (deque<>::_M_default_initialize,
_M_default_append): Declare.
(deque<>::deque(size_type), resize(size_type)): Add in C++0x mode,
use the latter.
* include/bits/deque.tcc (deque<>::_M_default_append): Define.
* include/debug/vector: Update.
* include/debug/deque: Likewise.
* include/debug/list: Likewise.
* include/profile/vector: Likewise.
* include/profile/deque: Likewise.
* include/profile/list: Likewise.
* include/bits/forward_list.h (_M_default_initialize,
_M_default_insert_after): Declare.
(forward_list<>::forward_list(size_type), resize(size_type)): Fix,
use the latter.
* include/bits/forward_list.tcc (forward_list<>::_M_default_append,
_M_default_insert_after): Define.
* testsuite/util/testsuite_api.h (NonCopyConstructible): Add.
* testsuite/23_containers/forward_list/modifiers/6.cc: Move to...
* testsuite/23_containers/forward_list/capacity/resize_size.cc:
... here.
* testsuite/23_containers/forward_list/cons/10.cc: Move to...
* testsuite/23_containers/forward_list/cons/cons_size.cc: ... here.
* testsuite/23_containers/vector/resize/1.cc: Move to...
* testsuite/23_containers/vector/capacity/resize/1.cc: ... here.
* testsuite/23_containers/vector/resize/moveable.cc: Move to...
* testsuite/23_containers/vector/resize/capacity/moveable.cc: ... here.
* testsuite/23_containers/vector/cons/cons_size.cc: New.
* testsuite/23_containers/vector/capacity/resize/resize_size.cc:
Likewise.
* testsuite/23_containers/deque/cons/cons_size.cc: Likewise.
* testsuite/23_containers/deque/capacity/resize_size.cc: Likewise.
* testsuite/23_containers/list/cons/cons_size.cc: Likewise.
* testsuite/23_containers/list/capacity/resize_size.cc: Likewise.
* testsuite/23_containers/vector/capacity/resize/moveable.cc: Adjust.
* testsuite/23_containers/deque/capacity/moveable.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
assign_neg.cc: Adjust dg-error line numbers.
* testsuite/23_containers/forward_list/requirements/dr438/
insert_neg.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
assign_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/
assign_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/deque/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/assign_neg.cc:
Likewise.
* testsuite/23_containers/list/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/list/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/
constructor_2_neg.cc: Likewise.
From-SVN: r161009
H.J. Lu [Fri, 18 Jun 2010 16:48:47 +0000 (16:48 +0000)]
Remove unused local variables.
2010-06-18 H.J. Lu <hongjiu.lu@intel.com>
* stor-layout.c (debug_rli): Remove unused local variables.
From-SVN: r161008
Rafael Avila de Espindola [Fri, 18 Jun 2010 16:45:51 +0000 (16:45 +0000)]
plugin.h (ld_plugin_add_input_file, [...]): Make argument const.
2010-06-18 Rafael Espindola <espindola@google.com>
* plugin.h (ld_plugin_add_input_file, ld_plugin_add_input_library):
Make argument const.
From-SVN: r161007
Eric Botcazou [Fri, 18 Jun 2010 16:38:29 +0000 (16:38 +0000)]
re PR rtl-optimization/40900 (redundant sign extend of short function returned value)
PR rtl-optimization/40900
* expr.c (expand_expr_real_1) <SSA_NAME>: Fix long line. Save the
original expression for later reuse.
<expand_decl_rtl>: Use promote_function_mode to compute the signedness
of the promoted RTL for a SSA_NAME on the LHS of a call statement.
From-SVN: r161006
Javier Miranda [Fri, 18 Jun 2010 15:59:27 +0000 (15:59 +0000)]
[multiple changes]
2010-06-18 Javier Miranda <miranda@adacore.com>
* exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.
2010-06-18 Thomas Quinot <quinot@adacore.com>
* sprint.ads: Minor reformatting.
* output.ads: Update obsolete comment.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
an external intrinsic operation (e.g. a GCC numeric function) indicate
that the renaming entity has the same characteristics, so a call to it
is properly expanded.
From-SVN: r161003
Anatoly Sokolov [Fri, 18 Jun 2010 15:58:48 +0000 (19:58 +0400)]
double-int.h (double_int_to_shwi, [...]): Implement as static inline.
* double-int.h (double_int_to_shwi, double_int_to_uhwi,
double_int_fits_in_uhwi_p): Implement as static inline.
(double_int_xor): New inline function.
(double_int_lrotate, double_int_rrotate, double_int_max,
double_int_umax, double_int_smax, double_int_min, double_int_umin,
double_int_smin): Declare.
(lrotate_double, rrotate_double): Remove declaration.
* double-int.c (double_int_fits_in_uhwi_p, double_int_to_shwi,
double_int_to_uhwi, lrotate_double, rrotate_double): Remove function.
(double_int_lrotate, double_int_rrotate, double_int_max,
double_int_umax, double_int_smax, double_int_min, double_int_umin,
double_int_smin): New function.
* fold-const.c (int_const_binop): Clean up, use double_int_*
functions.
* simplify-rtx.c (simplify_const_binary_operation): Clean up, use
double_int_* and immed_double_int_const functions.
From-SVN: r161002
Nathan Froyd [Fri, 18 Jun 2010 15:51:37 +0000 (15:51 +0000)]
function.h (types_used_by_cur_var_decl): Change type to a VEC.
gcc/
* function.h (types_used_by_cur_var_decl): Change type to a VEC.
* function.c (types_used_by_cur_var_decl): Likewise.
(used_types_insert): Adjust for new type of
types_used_by_cur_var_decl.
gcc/c-family/
* c-common.c (record_types_used_by_current_var_decl): Adjust for
new type of types_used_by_cur_var_decl.
From-SVN: r161001
Nathan Froyd [Fri, 18 Jun 2010 15:49:55 +0000 (15:49 +0000)]
tree.h (record_layout_info): Change type of pending_statics field to a VEC.
* tree.h (record_layout_info): Change type of pending_statics field
to a VEC.
* stor-layout.c (start_record_layout): Store NULL into
pending_statics.
(debug_rli): Call debug_vec_tree instead of debug_tree.
(place_field): Likewise.
(finish_record_layout): Likewise.
From-SVN: r161000
Arnaud Charlet [Fri, 18 Jun 2010 15:32:24 +0000 (17:32 +0200)]
[multiple changes]
2010-06-18 Javier Miranda <miranda@adacore.com>
* exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.
2010-06-18 Thomas Quinot <quinot@adacore.com>
* sprint.ads: Minor reformatting.
* output.ads: Update obsolete comment.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
an external intrinsic operation (e.g. a GCC numeric function) indicate
that the renaming entity has the same characteristics, so a call to it
is properly expanded.
From-SVN: r160999
Javier Miranda [Fri, 18 Jun 2010 15:03:14 +0000 (15:03 +0000)]
exp_cg.adb, [...]: Add initial support for dispatch table/callgraph info generation.
2010-06-18 Javier Miranda <miranda@adacore.com>
* exp_cg.adb, exp_cg.ads, exp_disp.adb, gnat1drv.adb: Add initial
support for dispatch table/callgraph info generation.
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r160997
Robert Dewar [Fri, 18 Jun 2010 14:50:17 +0000 (14:50 +0000)]
exp_ch6.adb: Minor reformatting.
2010-06-18 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb: Minor reformatting.
* gnatname.adb: Add comment.
From-SVN: r160996
Arnaud Charlet [Fri, 18 Jun 2010 14:19:10 +0000 (16:19 +0200)]
[multiple changes]
2010-06-18 Vincent Celier <celier@adacore.com>
* gnatname.adb (Scan_Args): When --and is used, make sure that the
dynamic tables in the newly allocated Argument_Data are properly
initialized.
2010-06-18 Eric Botcazou <ebotcazou@adacore.com>
* gnat1drv.adb: Fix comment.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Inlined_Call): If the inlined subprogram is a
renaming, re-expand the call with the renamed subprogram if that one
is marked inlined as well.
From-SVN: r160995
Arnaud Charlet [Fri, 18 Jun 2010 14:11:51 +0000 (16:11 +0200)]
[multiple changes]
2010-06-18 Gary Dismukes <dismukes@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Enable
Use_Expression_With_Actions for AAMP and VM targets.
2010-06-18 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Process_Linker): Recognize response file format GCC.
From-SVN: r160994
Arnaud Charlet [Fri, 18 Jun 2010 14:04:31 +0000 (16:04 +0200)]
[multiple changes]
2010-06-18 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
2010-06-18 Javier Miranda <miranda@adacore.com>
* debug.ads Add documentation on -gnatd.Z.
From-SVN: r160993
Arnaud Charlet [Fri, 18 Jun 2010 13:54:07 +0000 (15:54 +0200)]
[multiple changes]
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_elim.adb: Proper error message on improperly eliminated instances
2010-06-18 Vincent Celier <celier@adacore.com>
* prj.ads (Response_File_Format): New value GCC.
2010-06-18 Thomas Quinot <quinot@adacore.com>
* gnat1drv.adb: Minor reformatting.
From-SVN: r160992
Robert Dewar [Fri, 18 Jun 2010 13:40:56 +0000 (13:40 +0000)]
make.adb, [...]: Minor reformatting.
2010-06-18 Robert Dewar <dewar@adacore.com>
* make.adb, sem_cat.adb: Minor reformatting.
* sem_eval.adb: Fix typos.
From-SVN: r160991
Arnaud Charlet [Fri, 18 Jun 2010 13:31:32 +0000 (15:31 +0200)]
[multiple changes]
2010-06-18 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb: Fix source filenames casing in debug output.
2010-06-18 Robert Dewar <dewar@adacore.com>
* gnatcmd.adb: Minor reformatting.
From-SVN: r160989
Arnaud Charlet [Fri, 18 Jun 2010 13:08:10 +0000 (15:08 +0200)]
[multiple changes]
2010-06-18 Robert Dewar <dewar@adacore.com>
* sem_eval.adb (Eval_Conditional_Expression): Result is static if
condition and both sub-expressions are static (and result is selected
expression).
2010-06-18 Robert Dewar <dewar@adacore.com>
* g-pehage.adb: Minor reformatting
2010-06-18 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb (Search_Directories): Insert canonical filenames into
source hash table.
From-SVN: r160988
Arnaud Charlet [Fri, 18 Jun 2010 13:02:53 +0000 (13:02 +0000)]
Makefile.in, [...]: Update dependencies.
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
dependencies. Fix target pairs on darwin.
(gnatlib-sjlj, gnatlib-zcx): Pass THREAD_KIND.
From-SVN: r160987
Arnaud Charlet [Fri, 18 Jun 2010 13:01:07 +0000 (15:01 +0200)]
[multiple changes]
2010-06-18 Pascal Obry <obry@adacore.com>
* make.adb, prj-nmsc.adb: Fix source filenames casing in debug output.
2010-06-18 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: For gnatcheck, add -gnatec= switch for a global
configuration pragmas file and, if -U is not used, for a local one.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_elim.adb (Check_Eliminated): Use full information on entity name
when it is given in the pragma by a selected component.
(Check_For_Eliminated_Subprogram): Do no emit error if within a
instance body that is itself within a generic unit.
* sem_ch12.adb (Analyze_Subprogram_Instance): If the subprogram is
eliminated, mark as well the anonymous subprogram that is its alias
and appears within the wrapper package.
From-SVN: r160986
Bob Duff [Fri, 18 Jun 2010 12:49:46 +0000 (12:49 +0000)]
g-pehage.ads, [...] (Produce): Clean up some of the code.
2010-06-18 Bob Duff <duff@adacore.com>
* g-pehage.ads, g-pehage.adb (Produce): Clean up some of the code.
Raise an exception if the output file cannot be opened. Add comments.
From-SVN: r160985
Thomas Quinot [Fri, 18 Jun 2010 12:44:26 +0000 (14:44 +0200)]
sem_cat.adb (Validate_Object_Declaration): A variable declaration is not illegal per E.2.2(7) if...
2010-06-18 Thomas Quinot <quinot@adacore.com>
* sem_cat.adb (Validate_Object_Declaration): A variable declaration is
not illegal per E.2.2(7) if it occurs in the private part of a
Remote_Types unit.
From-SVN: r160984
Arnaud Charlet [Fri, 18 Jun 2010 12:33:51 +0000 (14:33 +0200)]
Fix copyright notice.
From-SVN: r160983
Arnaud Charlet [Fri, 18 Jun 2010 12:32:53 +0000 (12:32 +0000)]
par-labl.adb, [...]: Fix copyright notices.
* par-labl.adb, restrict.adb, s-osinte-hpux-dce.ads, sem_ch11.adb,
exp_pakd.adb, s-filofl.ads, par-endh.adb, exp_intr.adb, sem_cat.adb,
sem_case.adb, exp_ch11.adb: Fix copyright notices.
From-SVN: r160982
Arnaud Charlet [Fri, 18 Jun 2010 12:29:49 +0000 (12:29 +0000)]
* g-spipat.adb, a-swunau.adb, a-swunau.ads, g-spitbo.adb,
a-szunau.adb, a-szunau.ads, a-stunau.adb, a-stunau.ads,
a-strunb.adb (Big_String. Big_String_Access): New type.
From-SVN: r160981
Arnaud Charlet [Fri, 18 Jun 2010 12:14:52 +0000 (12:14 +0000)]
par-ch9.adb, [...]: Update comments.
* par-ch9.adb, sem_aggr.adb, sem_ch3.adb, layout.adb, sem_ch4.adb,
sem_ch5.adb, sem_mech.adb, exp_util.adb, par-ch10.adb, sem_ch6.adb,
par-ch11.adb, sem_ch7.adb, par-prag.adb, exp_disp.adb, par-ch12.adb,
sem_ch8.adb, style.adb, sem_ch9.adb, sem_ch10.adb, prep.adb,
sem_warn.adb, par-util.adb, scng.adb, sem_eval.adb, checks.adb,
sem_prag.adb, sem_ch12.adb, styleg.adb, sem_ch13.adb, par-ch3.adb,
par-tchk.adb, freeze.adb, sfn_scan.adb, par-ch4.adb, sem_util.adb,
sem_res.adb, par-ch5.adb, lib-xref.adb, sem_attr.adb, par-ch6.adb,
sem_disp.adb, prepcomp.adb, par-ch7.adb, sem_elab.adb, exp_ch4.adb,
errout.ads: Update comments. Minor reformatting.
From-SVN: r160979
Alan Modra [Fri, 18 Jun 2010 10:57:21 +0000 (20:27 +0930)]
linux64.h (SET_CMODEL): Don't expand to empty.
* config/rs6000/linux64.h (SET_CMODEL): Don't expand to empty.
From-SVN: r160978
Arnaud Charlet [Fri, 18 Jun 2010 10:19:44 +0000 (12:19 +0200)]
[multiple changes]
2010-06-18 Geert Bosch <bosch@adacore.com>
* i-forbla-darwin.adb: Include -lgnala and -lm in linker options for
Darwin.
2010-06-18 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Set Use_Expression_With_Actions
true for gcc.
2010-06-18 Robert Dewar <dewar@adacore.com>
* sprint.adb: Minor format change for N_Expression_With_Actions.
* repinfo.adb: Minor reformatting.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_elim.adb (Check_Eliminated): If within a subunit, use
Defining_Entity to obtain the name of the entity in the proper body, to
properly handle both separate packages and subprograms.
2010-06-18 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Check_File): New parameter Display_Path.
From-SVN: r160976
Arnaud Charlet [Fri, 18 Jun 2010 10:07:36 +0000 (12:07 +0200)]
[multiple changes]
2010-06-18 Thomas Quinot <quinot@adacore.com>
* g-socket.adb, g-socket.ads (Null_Selector): New object.
2010-06-18 Pascal Obry <obry@adacore.com>
* gnat_ugn.texi: Minor clarification.
2010-06-18 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Find_Source_Dirs): Minor refactoring to avoid duplicate
code when using the project dir as the source dir.
(Search_Directories): use the normalized name for the source directory,
where symbolic names have potentially been resolved.
2010-06-18 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Conditional_Expression): Clear Actions field
when we create N_Expression_With_Actions node.
(Expand_Short_Circuit): Ditto.
2010-06-18 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Minor reformatting.
From-SVN: r160975
Arnaud Charlet [Fri, 18 Jun 2010 09:53:00 +0000 (11:53 +0200)]
[multiple changes]
2010-06-18 Thomas Quinot <quinot@adacore.com>
* types.ads: Clean up obsolete comments
* tbuild.adb: Minor reformatting.
* exp_ch5.adb, sem_intr.adb, sem_ch10.adb, rtsfind.adb, s-shasto.adb,
exp_strm.adb, aa_drive.adb: Minor reformatting.
* sem_res.adb (Is_Predefined_Operator): An operator that is an imported
intrinsic with an Interface_Name denotes an imported back-end builtin,
and must be rewritten into a call, not left in the tree as an operator,
so return False in that case.
2010-06-18 Eric Botcazou <ebotcazou@adacore.com>
* exp_util.adb (Remove_Side_Effects): Make a copy for an allocator.
2010-06-18 Robert Dewar <dewar@adacore.com>
* scos.ads: Add proposed output for case expression
2010-06-18 Jose Ruiz <ruiz@adacore.com>
* gnat_ugn.texi: Document that, when using the RTX compiler to generate
RTSS modules, we need to use the Microsoft linker.
From-SVN: r160974
Robert Dewar [Fri, 18 Jun 2010 09:41:49 +0000 (09:41 +0000)]
checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (cannot count on a particular branch being executed).
2010-06-18 Robert Dewar <dewar@adacore.com>
* checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case
expression (cannot count on a particular branch being executed).
* exp_ch4.adb (Expand_N_Case_Expression): New procedure.
* exp_ch4.ads (Expand_N_Case_Expression): New procedure.
* exp_util.adb (Insert_Actions): Deal with proper insertion of actions
within case expression.
* expander.adb (Expand): Add call to Expand_N_Case_Expression
* par-ch4.adb Add calls to P_Case_Expression at appropriate points
(P_Case_Expression): New procedure
(P_Case_Expression_Alternative): New procedure
* par.adb (P_Case_Expression): New procedure
* par_sco.adb (Process_Decisions): Add dummy place holder entry for
N_Case_Expression.
* sem.adb (Analyze): Add call to Analyze_Case_Expression
* sem_case.ads (Analyze_Choices): Also used for case expressions now,
this is a documentation change only.
* sem_ch4.ads, sem_ch4.adb (Analyze_Case_Expression): New procedure.
* sem_ch6.adb (Fully_Conformant_Expressions): Add handling of case
expressions.
* sem_eval.ads, sem_eval.adb (Eval_Case_Expression): New procedure.
* sem_res.adb (Resolve_Case_Expression): New procedure.
* sem_scil.adb (Find_SCIL_Node): Add processing for
N_Case_Expression_Alternative.
* sinfo.ads, sinfo.adb (N_Case_Expression): New node.
(N_Case_Expression_Alternative): New node.
* sprint.adb (Sprint_Node_Actual): Add processing for new nodes
N_Case_Expression and N_Case_Expression_Alternative.
2010-06-18 Robert Dewar <dewar@adacore.com>
* par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor reformatting.
* gnat1drv.adb: Fix typo.
2010-06-18 Robert Dewar <dewar@adacore.com>
* par-prag.adb (Prag, case Style_Checks): All_Checks sets gnat style
for -gnatg.
* sem_prag.adb (Analyze_Pragma, case Style_Checks): All_Checks sets
gnat style for -gnatg.
* gnat_rm.texi: Add documentation for ALL_CHECKS in GNAT mode.
From-SVN: r160971
Arnaud Charlet [Fri, 18 Jun 2010 09:28:45 +0000 (11:28 +0200)]
[multiple changes]
2010-06-18 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb (Test_In_Range): New subprogram, factoring duplicated
code between...
(Is_In_Range, Is_Out_Of_Range): Reimplement in terms of call to
Test_In_Range.
2010-06-18 Robert Dewar <dewar@adacore.com>
* sprint.adb: Minor change in output format for expression wi actions.
* par-ch3.adb: Minor code reorganization. Minor reformatting.
* sem_ch5.adb: Minor comment fix.
2010-06-18 Robert Dewar <dewar@adacore.com>
* debug.adb: New debug flag -gnatd.L to control
Back_End_Handles_Limited_Types.
* exp_ch4.adb (Expand_N_Conditional_Expression): Let back end handle
limited case if Back_End_Handles_Limited_Types is True.
(Expand_N_Conditional_Expression): Use N_Expression_With_Actions to
simplify expansion if Use_Expression_With_Actions is True.
* gnat1drv.adb (Adjust_Global_Switches): Set
Back_End_Handles_Limited_Types.
* opt.ads (Back_End_Handles_Limited_Types): New flag.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Rewrite_Operator_As_Call): Do not rewrite user-defined
intrinsic operator if expansion is not enabled, because in an
instantiation the original operator must be present to verify the
legality of the operation.
From-SVN: r160969
Arnaud Charlet [Fri, 18 Jun 2010 09:28:22 +0000 (09:28 +0000)]
* gnat.dg/class_wide2.adb: Remove bogus message, no longer generated.
From-SVN: r160968
Robert Dewar [Fri, 18 Jun 2010 09:09:40 +0000 (09:09 +0000)]
exp_disp.adb, [...]: Minor reformatting
2010-06-18 Robert Dewar <dewar@adacore.com>
* exp_disp.adb, sem_ch12.adb: Minor reformatting
From-SVN: r160967
Arnaud Charlet [Fri, 18 Jun 2010 09:05:37 +0000 (11:05 +0200)]
[multiple changes]
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Make_Subtype_From_Expr): If the unconstrained type is
the class-wide type for a private extension, and the completion is a
subtype, set the type of the class-wide type to the base type of the
full view.
2010-06-18 Robert Dewar <dewar@adacore.com>
* g-socket.ads, sem_aggr.adb, einfo.ads, sem_elim.adb,
sem_intr.adb, sem_eval.adb: Minor reformatting
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_type.adb (Is_Ancestor): If either type is private, examine full
view.
From-SVN: r160966
Thomas Quinot [Fri, 18 Jun 2010 08:59:39 +0000 (08:59 +0000)]
g-socket.adb, [...] (Check_Selector): Make Selector an IN parameter rather than IN OUT.
2010-06-18 Thomas Quinot <quinot@adacore.com>
* g-socket.adb, g-socket.ads (Check_Selector): Make Selector an IN
parameter rather than IN OUT.
From-SVN: r160965
Arnaud Charlet [Fri, 18 Jun 2010 08:49:38 +0000 (10:49 +0200)]
[multiple changes]
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb: Add extra guard.
2010-06-18 Gary Dismukes <dismukes@adacore.com>
* sem_util.adb (Object_Access_Level): For Ada 2005, determine the
accessibility level of a function call from the level of the innermost
enclosing dynamic scope.
(Innermost_Master_Scope_Depth): New function to find the depth of the
nearest dynamic scope enclosing a node.
2010-06-18 Tristan Gingold <gingold@adacore.com>
* adaint.c: Make ATTR_UNSET static as it is not used outside this file.
2010-06-18 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Minor reformatting.
From-SVN: r160964
Arnaud Charlet [Fri, 18 Jun 2010 08:25:27 +0000 (10:25 +0200)]
[multiple changes]
2010-06-18 Vincent Celier <celier@adacore.com>
* make.adb (Must_Compile): New Boolean global variable
(Main_On_Command_Line): New Boolean global variable
(Collect_Arguments_And_Compile): Do compile if Must_Compile is True,
even when the project is externally built.
(Start_Compile_If_Possible): Compile in -aL directories if
Check_Readonly_Files is True. Do compile if Must_Compile is True, even
when the project is externally built.
(Gnatmake): Set Must_Compile and Check_Readonly_Files to True when
invoked with -f -u and one or several mains on the command line.
(Scan_Make_Arg): Set Main_On_Command_Line to True when at least one main
is specified on the command line.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Build_Body_For_Inline): Handle extended_return_statements
* exp_ch6.adb (Expand_Inlined_Call): when possible, inline a body
containing extented_return statements.
* exp_util.adb (Make_CW_Equivalent_Type): If the root type is already
constrained, do not build subtype declaration.
From-SVN: r160962
Robert Dewar [Fri, 18 Jun 2010 08:17:48 +0000 (08:17 +0000)]
sem_res.adb (Analyze_Indexed_Component, [...]): Warn on assigning to packed atomic component.
2010-06-18 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Analyze_Indexed_Component, Analyze_Selected_Component):
Warn on assigning to packed atomic component.
2010-06-18 Robert Dewar <dewar@adacore.com>
* sem_util.ads: Minor reformatting
* einfo.ads, einfo.adb: Minor doc clarification (scope of decls in
Expression_With_Actions).
* snames.ads-tmpl: Minor comment fix
2010-06-18 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Diagnose_Multiple_Pragmas): New procedure
(Set_Imported): Use Import_Interface_Present to control message output
* sinfo.ads, sinfo.adb (Import_Interface_Present): New flag
* gnat_rm.texi: Document that we can have pragma Import and pragma
Interface for the same subprogram.
2010-06-18 Robert Dewar <dewar@adacore.com>
* lib-xref.adb (Generate_Reference): Fix bad reference to
Has_Pragma_Unreferenced (clients should always use Has_Unreferenced).
From-SVN: r160961
John David Anglin [Fri, 18 Jun 2010 00:23:51 +0000 (00:23 +0000)]
re PR target/43740 (FAIL: gcc.dg/tree-ssa/
20031015-1.c (internal compiler error))
PR target/43740
config/pa/pa.c (emit_move_sequence): Don't infer REG_POINTER flag for
SET source operand from SET destination operand.
From-SVN: r160955
GCC Administrator [Fri, 18 Jun 2010 00:17:39 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r160954
Eric Botcazou [Thu, 17 Jun 2010 22:22:51 +0000 (22:22 +0000)]
trans.c (set_gnu_expr_location_from_node): New static function.
* gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
function.
(gnat_to_gnu) <N_Expression_With_Actions>: New case.
Use set_gnu_expr_location_from_node to set location information on the
result.
From-SVN: r160949
Janus Weil [Thu, 17 Jun 2010 22:15:30 +0000 (00:15 +0200)]
re PR fortran/44558 ([OOP] ICE on invalid code: called TBP subroutine as TBP function)
2010-06-17 Janus Weil <janus@gcc.gnu.org>
PR fortran/44558
* resolve.c (resolve_typebound_function,resolve_typebound_subroutine):
Return directly in case of an error.
2010-06-17 Janus Weil <janus@gcc.gnu.org>
PR fortran/44558
* gfortran.dg/typebound_call_15.f03: New.
From-SVN: r160948
Bernd Schmidt [Thu, 17 Jun 2010 21:51:55 +0000 (21:51 +0000)]
re PR rtl-optimization/39871 (Code size increase on ARM due to poor register allocation)
PR rtl-optimization/39871
* reload1.c (init_eliminable_invariants): For flag_pic, disable
equivalences only for constants that aren't LEGITIMATE_PIC_OPERAND_P.
(function_invariant_p): Rule out a plus of frame or arg pointer with
a SYMBOL_REF.
* ira.c (find_reg_equiv_invariant_const): Likewise.
From-SVN: r160947
Gunther Nikl [Thu, 17 Jun 2010 19:54:16 +0000 (19:54 +0000)]
rs6000.c (print_operand): Also use print_operand_address and puts to output the operand for CONST.
* config/rs6000/rs6000.c (print_operand) <'K'>: Also use
print_operand_address and puts to output the operand for CONST.
From-SVN: r160945
Jakub Jelinek [Thu, 17 Jun 2010 19:15:51 +0000 (21:15 +0200)]
re PR debug/44572 (dwarf2out.c:22403:1: error: (near initialization for 'dwarf2_debug)
PR debug/44572
* dwarf2out.c (dwarf2out_debug_hooks): Add entry for begin_epilogue
hook.
From-SVN: r160944
Nathan Froyd [Thu, 17 Jun 2010 18:18:41 +0000 (18:18 +0000)]
v850-protos.h (print_operand): Delete.
* v850-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* v850.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* v850.c (print_operand_address): Rename to...
(v850_print_operand_address): ...this. Make static. Call
v850_print_operand.
(print_operand): Rename to...
(v850_print_operand): ...this. Make static. Call
v850_print_operand_address.
(v850_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.
From-SVN: r160943
Nathan Froyd [Thu, 17 Jun 2010 18:16:31 +0000 (18:16 +0000)]
sh-protos.h (print_operand): Delete.
* config/sh/sh-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/sh/sh.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/sh/sh.c (sh_print_operand_address): Make static.
(sh_print_operand): Make static. Call sh_print_operand_address
and sh_print_operand.
(sh_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.
From-SVN: r160942
Nathan Froyd [Thu, 17 Jun 2010 18:15:39 +0000 (18:15 +0000)]
mcore-protos.h (mcore_print_operand): Delete.
* config/mcore/mcore-protos.h (mcore_print_operand): Delete.
(mcore_print_operand_address): Delete.
* config/mcore/mcore.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/mcore/mcore.c (mcore_print_operand_address): Make static.
(mcore_print_operand): Make static.
(mcore_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define
(TARGET_PRINT_OPERAND_PUNCT_VALID_P): Define.
From-SVN: r160941
Nathan Froyd [Thu, 17 Jun 2010 18:14:45 +0000 (18:14 +0000)]
m68hc11-protos.h (print_operand): Delete.
* config/m68hc11/m68hc11-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/m68hc11/m68hc11.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/m68hc11/m68hc11.c (m68hc11_print_operand_address): Make
static.
(m68hc11_print_operand): Make static.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS): Define.
From-SVN: r160940
Nathan Froyd [Thu, 17 Jun 2010 18:13:51 +0000 (18:13 +0000)]
m32r-protos.h (m32r_print_operand): Delete.
* config/m32r/m32r-protos.h (m32r_print_operand): Delete.
(m32r_print_operand_address): Delete.
* config/m32r/m32r.h (m32r_punct_chars): Delete.
(PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/m32r/m32r.c (m32r_punct_chars): Make static.
(m32r_print_operand_address): Make static.
(m32r_print_operand): Make static.
(m32r_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.
From-SVN: r160939
Nathan Froyd [Thu, 17 Jun 2010 18:13:03 +0000 (18:13 +0000)]
iq2000-protos.h (print_operand): Delete.
* config/iq2000/iq2000-protos.h (print_operand): Delete.
(print_operand_address): Delete.
* config/iq2000/iq2000.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
(iq2000_print_operand_punct): Delete.
* config/iq2000/iq2000.c (iq2000_print_operand_punct): Make static.
(iq2000_print_operand_address): Make static.
(iq2000_print_operand): Make static.
(iq2000_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.
From-SVN: r160938
Nathan Froyd [Thu, 17 Jun 2010 18:11:45 +0000 (18:11 +0000)]
frv-protos.h (frv_print_operand): Delete.
* config/frv/frv-protos.h (frv_print_operand): Delete.
(frv_print_operand_address): Delete.
* config/frv/frv.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/frv/frv.c (frv_print_operand_address): Make static.
(frv_print_operand): Make static.
(frv_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.
From-SVN: r160937
Nathan Froyd [Thu, 17 Jun 2010 17:26:28 +0000 (17:26 +0000)]
tree.h (vec_member): Declare.
gcc/
* tree.h (vec_member): Declare.
* tree.c (vec_member): Define.
gcc/cp/
* name-lookup.c (struct arg_lookup): Convert namespaces and
classes fields to VEC.
(arg_assoc_namespace): Adjust for new type of namespaces.
(arg_assoc_class): Adjust for new type of classes.
(lookup_arg_dependent): Use make_tree_vector and
release_tree_vector.
* typeck2.c (build_x_arrow): Use vec_member.
From-SVN: r160936
Richard Guenther [Thu, 17 Jun 2010 16:14:41 +0000 (16:14 +0000)]
tree-flow-inline.h (array_ref_contains_indirect_ref): Remove.
2010-06-17 Richard Guenther <rguenther@suse.de>
* tree-flow-inline.h (array_ref_contains_indirect_ref): Remove.
* tree-flow.h (array_ref_contains_indirect_ref): Likewise.
From-SVN: r160933
Arnaud Charlet [Thu, 17 Jun 2010 16:11:21 +0000 (16:11 +0000)]
Update dependencies.
From-SVN: r160932
Arnaud Charlet [Thu, 17 Jun 2010 16:04:52 +0000 (18:04 +0200)]
[multiple changes]
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Atomic_Object): Predicate does not apply to
subprograms.
2010-06-17 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi, gnat_ugn.texi: Clean up documentation on warning and
style check messages.
* sem_res.adb (Resolve_Call): Don't call
Check_For_Eliminated_Subprogram if we are analyzing within a spec
expression.
2010-06-17 Robert Dewar <dewar@adacore.com>
* debug.adb: Add documentation for debug flags .X and .Y
* exp_ch4.adb (Expand_Short_Circuit_Operator): Use
Use_Expression_With_Actions.
* gnat1drv.adb (Adjust_Global_Switches): Set
Use_Expression_With_Actions.
* opt.ads (Use_Expression_With_Actions): New switch.
From-SVN: r160931
Robert Dewar [Thu, 17 Jun 2010 15:58:10 +0000 (15:58 +0000)]
exp_intr.adb: Minor code reorganization (use UI_Max)
2010-06-17 Robert Dewar <dewar@adacore.com>
* exp_intr.adb: Minor code reorganization (use UI_Max)
* sem_intr.adb: use underlying type to check legality.
* einfo.adb (Known_Static_Esize): False for generic types
(Known_Static_RM_Size): False for generic types
* einfo.ads (Known_Static_Esize): False for generic types
(Known_Static_RM_Size): False for generic types
From-SVN: r160930
Arnaud Charlet [Thu, 17 Jun 2010 15:50:40 +0000 (17:50 +0200)]
[multiple changes]
2010-06-17 Robert Dewar <dewar@adacore.com>
* exp_ch4.ads: Minor code reorganization (specs in alpha order).
2010-06-17 Robert Dewar <dewar@adacore.com>
* debug.adb: New debug flag -gnatd.X to use Expression_With_Actions
node when expanding short circuit form with actions present for right
opnd.
* exp_ch4.adb: Minor reformatting
(Expand_Short_Circuit_Operator): Use new Expression_With_Actions node if
right opeand has actions present, and debug flag -gnatd.X is set.
* exp_util.adb (Insert_Actions): Handle case of Expression_With_Actions
node.
* nlists.adb (Prepend_List): New procedure
(Prepend_List_To): New procedure
* nlists.ads (Prepend_List): New procedure
(Prepend_List_To): New procedure
* sem.adb: Add processing for Expression_With_Actions
* sem_ch4.adb (Analyze_Expression_With_Actions): New procedure
* sem_ch4.ads (Analyze_Expression_With_Actions): New procedure
* sem_res.adb: Add processing for Expression_With_Actions.
* sem_scil.adb: Add processing for Expression_With_Actions
* sinfo.ads, sinfo.adb (N_Expression_With_Actions): New node.
* sprint.ads, sprint.adb: Add processing for Expression_With_Actions
2010-06-17 Doug Rupp <rupp@adacore.com>
* sem_intr.adb (Check_Intrinsic_Operator): Check that the types
involved both have underlying integer types.
* exp_intr.adb (Expand_Binary_Operator) New subprogram to expand a call
to an intrinsic operator when the operand types or sizes are not
identical.
* s-auxdec-vms_64.ads: Revert "+" "-" ops back to Address now that
64/32 Address/Integer works.
From-SVN: r160929
Arnaud Charlet [Thu, 17 Jun 2010 15:41:23 +0000 (17:41 +0200)]
[multiple changes]
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Mark_Context): Refine placement of Withed_Body flag, so
that it marks a unit as needed by a spec only if the corresponding
instantiation appears in that spec (and not in the corresponding body).
* sem_elim.adb (Check_Eliminated): If we are within a subunit, the name
in the pragma Eliminate has been parsed as a child unit, but the
current compilation unit is in fact the parent in which the subunit is
embedded.
2010-06-17 Vincent Celier <celier@adacore.com>
* gnat_rm.texi: Fix typo
From-SVN: r160928
Arnaud Charlet [Thu, 17 Jun 2010 15:35:09 +0000 (17:35 +0200)]
[multiple changes]
2010-06-17 Robert Dewar <dewar@adacore.com>
* sem_util.adb: Minor reformatting
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
instance, the clause now denotes the instance body. Traverse the
corresponding spec because there may be no other dependence that will
force the traversal of its own context.
From-SVN: r160925
Arnaud Charlet [Thu, 17 Jun 2010 15:29:21 +0000 (17:29 +0200)]
[multiple changes]
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Is_Ancestor_Unit): Subsidiary to
Install_Limited_Context_Clauses, to determine whether a limited_with in
some parent of the current unit designates some other parent, in which
case the limited_with clause must not be installed.
(In_Context): Refine test.
2010-06-17 Gary Dismukes <dismukes@adacore.com>
* sem_util.adb (Collect_Primitive_Operations): In the of an untagged
type with a dispatching equality operator that is overridden (for a
tagged full type), don't include the overridden equality in the list of
primitives. The overridden equality is detected by testing for an
Aliased field that references the overriding equality.
2010-06-17 Robert Dewar <dewar@adacore.com>
* freeze.adb: Minor reformatting.
From-SVN: r160924
Arnaud Charlet [Thu, 17 Jun 2010 15:23:55 +0000 (17:23 +0200)]
2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker>
* gnat_ugn.texi: Add a section introducing gdbserver.
2010-06-17 Thomas Quinot <quinot@adacore.com>
* sem_res.adb, sem_ch4.adb, s-stoele.adb, par-labl.adb: Minor
reformatting.
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Valid_Ancestor_Type): handle properly the case of a
constrained discriminated parent that is a private type.
(Analyze_Record_Aggregate): when collecting inherited discriminants,
handle properly an ancestor type that is a constrained private type.
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Enclosing_Subprogram): If the called subprogram is
protected, use the protected_subprogram_body only if the original
subprogram has not been eliminated.
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Expression): The designated type of an
access_to_suprogram type can only be frozen if all types in its profile
are fully defined.
From-SVN: r160923
Joern Rennecke [Thu, 17 Jun 2010 15:20:20 +0000 (15:20 +0000)]
re PR bootstrap/44512 (--enable-build-with-cxx bootstrap fails in revision 160669)
PR bootstrap/44512
* c-cppbuiltin.c (builtin_define_with_hex_fp_value): Add cast
for C++ standard compliance.
From-SVN: r160922
Arnaud Charlet [Thu, 17 Jun 2010 14:26:42 +0000 (16:26 +0200)]
[multiple changes]
2010-06-17 Robert Dewar <dewar@adacore.com>
* par.adb: Minor comment fix
* sem_aggr.adb, sem_ch3.adb: Minor reformatting
2010-06-17 Doug Rupp <rupp@adacore.com>
* s-auxdec-vms_64.ads: Revert Integer to Long_Integer change, instead
change Address to Short_Address in functions where both must be the
same size for intrinsics to work.
2010-06-17 Thomas Quinot <quinot@adacore.com>
* sem_ch4.adb (Analyze_Selected_Component): A selected component may
not denote a (private) component of a protected object.
2010-06-17 Bob Duff <duff@adacore.com>
* par-labl.adb (Try_Loop): Test whether the label and the goto are in
the same list.
2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker>
* gnat_ugn.texi: Update the documentation about GDB re: exception
catchpoints.
From-SVN: r160919
Arnaud Charlet [Thu, 17 Jun 2010 13:37:49 +0000 (15:37 +0200)]
* gnatvsn.ads: Bump to 4.6 version.
From-SVN: r160916
Arnaud Charlet [Thu, 17 Jun 2010 13:35:24 +0000 (15:35 +0200)]
[multiple changes]
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): The
designated type of the generated pointer is the type of the original
expression, not that of the function call itself, because the return
type may be an untagged derived type and the function may be an
inherited operation.
2010-06-17 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting
From-SVN: r160915
Arnaud Charlet [Thu, 17 Jun 2010 13:29:28 +0000 (15:29 +0200)]
[multiple changes]
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads, sinfo.adb (Inherited_Discriminant): New flag on
N_Component_Association nodes, to indicate that a component association
of an extension aggregate denotes the value of a discriminant of an
ancestor type that has been constrained by the derivation.
* sem_aggr.adb (Discr_Present): use Inherited_Discriminant to prevent a
double expansion of the aggregate appearing in a context that delays
expansion, to prevent double insertion of discriminant values when the
aggregate is reanalyzed.
2010-06-17 Arnaud Charlet <charlet@adacore.com>
* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not use
Allocator as the Related_Node of Return_Obj_Access in call to
Make_Temporary below as this would create a sort of infinite
"recursion".
From-SVN: r160914
projects / platform / upstream / gcc.git / log