Robert Dewar [Thu, 9 Apr 2009 10:15:20 +0000 (10:15 +0000)]
exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
2009-04-09 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
* atree.h: Add Elist26
* gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc
backends.
From-SVN: r145818
Janus Weil [Thu, 9 Apr 2009 09:39:09 +0000 (11:39 +0200)]
re PR fortran/36704 (Procedure pointer as function result)
2009-04-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/36704
* decl.c (add_hidden_procptr_result): New function for handling
procedure pointer return values by adding a hidden result variable.
(variable_decl,match_procedure_decl,gfc_match_function_decl,
gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
return values.
* parse.c (parse_interface): Add EXTERNAL attribute only after
FUNCTION/SUBROUTINE declaration is complete.
* primary.c (replace_hidden_procptr_result): New function for replacing
function symbol by hidden result variable.
(gfc_match_rvalue,match_variable): Replace symbol by hidden result
variable.
* resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
resolve_symbol): Allow for procedure pointer function results.
(resolve_fl_procedure): Conflict detection moved here from
'check_conflict'.
* symbol.c (gfc_check_function_type): Allow for procedure pointer
function results.
(check_conflict): Move some conflict detection to resolution stage.
* trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
result variables.
2009-04-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/36704
* gfortran.dg/external_procedures_1.f90: Modified.
* gfortran.dg/proc_ptr_result_1.f90: New.
* gfortran.dg/proc_ptr_result_2.f90: New.
* gfortran.dg/proc_ptr_result_3.f90: New.
From-SVN: r145815
Arnaud Charlet [Thu, 9 Apr 2009 09:36:25 +0000 (11:36 +0200)]
Minor reformatting.
From-SVN: r145813
Arnaud Charlet [Thu, 9 Apr 2009 09:35:59 +0000 (11:35 +0200)]
Minor reformatting.
From-SVN: r145812
Javier Miranda [Thu, 9 Apr 2009 09:35:24 +0000 (09:35 +0000)]
exp_disp.adb (Export_DT): Addition of a new argument (Index)...
2009-04-09 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Export_DT): Addition of a new argument (Index); used to
retrieve from the Dispatch_Table_Wrappers list the external name.
Addition of documentation.
(Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is
used to export secondary dispatch tables (in the previous version of
the frontend only primary dispatch tables were exported). Addition of
documentation.
(Import_DT): New subprogram (internal of Make_Tags). Used to import a
dispatch table of a given tagged type.
(Make_Tags): Modified to import secondary dispatch tables.
* sem_ch3.adb (Analyze_Object_Declaration): Code cleanup.
(Constant_Redeclaration): Code cleanup.
* einfo.ads (Dispatch_Table_Wrapper): Renamed to
Dispatch_Table_Wrappers. Update documentation.
* einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper):
Renamed to Dispatch_Table_Wrappers.
* sem_util.adb (Collect_Interface_Components): Improve handling of
private types.
* atree.ads (Elist26, Set_Elist26): New subprograms
* atree.adb (Elist26, Set_Elist26): New subprograms
From-SVN: r145811
Arnaud Charlet [Thu, 9 Apr 2009 08:52:04 +0000 (10:52 +0200)]
[multiple changes]
2009-04-09 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): Fix typo.
(Derive_Progenitor_Subprograms): Handle interfaces in subtypes of
tagged types.
2009-04-09 Robert Dewar <dewar@adacore.com>
* s-direio.adb: Minor reformatting
* exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String
From-SVN: r145808
Arnaud Charlet [Thu, 9 Apr 2009 08:45:55 +0000 (10:45 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads,
s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads,
a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads,
a-filico.ads: Add some missing overriding keywords.
From-SVN: r145807
Jan Hubicka [Thu, 9 Apr 2009 08:26:01 +0000 (10:26 +0200)]
except.c (find_prev_try): Break out from ....
* except.c (find_prev_try): Break out from ....
(duplicate_eh_regions): ... here; properly update prev_try pointers
when duplication part of tree.
(dump_eh_tree): Improve dumping.
(verify_eh_region): New.
(verify_eh_tree): Use it.
From-SVN: r145805
Arnaud Charlet [Thu, 9 Apr 2009 08:25:13 +0000 (10:25 +0200)]
[multiple changes]
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb,
a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads,
a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor
reformatting.
2009-04-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on
missing overriding indicator if the new declaration is not seen as
primitive.
From-SVN: r145804
Arnaud Charlet [Thu, 9 Apr 2009 08:21:08 +0000 (10:21 +0200)]
[multiple changes]
2009-04-09 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle
overflows in computation of bounds.
2009-04-09 Pascal Obry <obry@adacore.com>
* a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some
typos in comment.
From-SVN: r145803
Arnaud Charlet [Thu, 9 Apr 2009 08:15:14 +0000 (10:15 +0200)]
[multiple changes]
2009-04-09 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Check_Stream_Attribute): Check violation of
restriction No_Streams
* gnat_rm.texi: Clarify No_Streams restriction
* g-socket.adb: Minor reformatting.
2009-04-09 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces.
2009-04-09 Geert Bosch <bosch@adacore.com>
* exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument.
(Set_Result): Likewise.
(Expand_Convert_Float_To_Fixed): Have Set_Result truncate the
conversion, as required by RM 4.6(31).
From-SVN: r145801
Richard Guenther [Thu, 9 Apr 2009 08:07:31 +0000 (08:07 +0000)]
c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC &ARRAY addresses by adjusting their types and...
2009-04-09 Richard Guenther <rguenther@suse.de>
* c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC
&ARRAY addresses by adjusting their types and prepending
a conversion.
* tree-cfg.c (verify_gimple_assign_single): Verify that
addresses are correct.
* gcc.dg/vect/vect-54.c: Make constant input data file-scope
to prevent constant propagation.
* gcc.dg/vect/vect-56.c: Likewise.
* gcc.dg/vect/vect-58.c: Likewise.
* gcc.dg/vect/vect-60.c: Likewise.
* gcc.dg/vect/no-vfa-vect-57.c: Likewise.
* gcc.dg/vect/no-vfa-vect-61.c: Likewise.
* gcc.dg/tree-prof/stringop-2.c: Adjust expected outcome.
From-SVN: r145800
Richard Guenther [Thu, 9 Apr 2009 08:05:43 +0000 (08:05 +0000)]
tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant indices into an array reference if possible.
2009-04-09 Richard Guenther <rguenther@suse.de>
* tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant
indices into an array reference if possible.
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Fold POINTER_PLUS_EXPR statements with invariant address.
* gcc.dg/tree-ssa/ssa-ccp-25.c: New testcase.
* gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.
From-SVN: r145799
Alan Modra [Thu, 9 Apr 2009 04:47:05 +0000 (04:47 +0000)]
re PR target/39634 (powerpc64 libgcc contains useless softfp functions)
PR target/39634
* config.gcc (powerpc64-*-linux*): Always build biarch.
From-SVN: r145795
Joseph Myers [Thu, 9 Apr 2009 00:20:08 +0000 (01:20 +0100)]
re PR c/39613 (gcc
20090331 produces an error at mce64.c in kernel 2.6.29)
PR c/39613
* c-typeck.c (do_case): If case label is not an INTEGER_CST, fold
it and pedwarn if this results in an INTEGER_CST.
testsuite:
* gcc.dg/case-const-1.c, gcc.dg/case-const-2.c,
gcc.dg/case-const-3.c: New tests.
From-SVN: r145793
GCC Administrator [Thu, 9 Apr 2009 00:16:37 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r145791
Ian Lance Taylor [Wed, 8 Apr 2009 23:58:31 +0000 (23:58 +0000)]
hashtable.h (erase): Correctly handle erasing a reference to an entry in the hash table.
* include/backward/hashtable.h (erase): Correctly handle erasing a
reference to an entry in the hash table.
* testsuite/backward/hash_map/25896.cc: New.
* testsuite/backward/hash_set/25896.cc: New.
From-SVN: r145788
Adam Nemet [Wed, 8 Apr 2009 21:47:24 +0000 (21:47 +0000)]
baseline_symbols.txt: Regenerate.
* config/abi/post/mips64-linux-gnu/baseline_symbols.txt:
Regenerate.
* config/abi/post/mips64-linux-gnu/64/baseline_symbols.txt: New
file.
From-SVN: r145779
Joseph Myers [Wed, 8 Apr 2009 21:02:17 +0000 (22:02 +0100)]
c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-7.c, gcc.dg/c99-stdint-8.c: New tests.
From-SVN: r145778
Joseph Myers [Wed, 8 Apr 2009 20:40:43 +0000 (21:40 +0100)]
* zh_CN.po: Update.
From-SVN: r145776
Kaveh R. Ghazi [Wed, 8 Apr 2009 20:25:10 +0000 (20:25 +0000)]
configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure: Regenerate.
gcc:
* doc/install.texi: Update minimum GMP version. Remove obsolete
text in MPFR section.
From-SVN: r145774
Jakub Jelinek [Wed, 8 Apr 2009 20:04:45 +0000 (22:04 +0200)]
re PR middle-end/39573 (Linking fails on AMD with -march=native and -fopenmp, works with generic x86_64)
PR middle-end/39573
* omp-low.c (expand_omp_taskreg): Finalize taskreg static local_decls
variables.
* libgomp.c++/pr39573.C: New test.
From-SVN: r145772
Jakub Jelinek [Wed, 8 Apr 2009 20:02:43 +0000 (22:02 +0200)]
trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't contain TYPE_STRING_FLAG types.
* trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
contain TYPE_STRING_FLAG types.
From-SVN: r145771
Jakub Jelinek [Wed, 8 Apr 2009 20:00:48 +0000 (22:00 +0200)]
dwarf2out.c (class_scope_p): New static inline.
* dwarf2out.c (class_scope_p): New static inline.
(class_or_namespace_scope_p): Use it.
(gen_variable_die): Use DW_TAG_member tag for static data member
declarations instead of DW_TAG_variable.
* g++.dg/debug/dwarf2/static-data-member1.C: New test.
From-SVN: r145770
Richard Guenther [Wed, 8 Apr 2009 18:49:22 +0000 (18:49 +0000)]
tree-ssa-sccvn.c (valueize_refs): Do not continue to valueize random data.
2009-04-08 Richard Guenther <rguenther@suse.de>
* tree-ssa-sccvn.c (valueize_refs): Do not continue to
valueize random data.
From-SVN: r145768
Janne Blomqvist [Wed, 8 Apr 2009 18:23:55 +0000 (21:23 +0300)]
re PR fortran/39670 (dollar sign in entities is not recognized when it is first symbol)
2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
PR fortran/39670
* invoke.texi (fdollar-ok): Fix typo.
From-SVN: r145767
Arnaud Charlet [Wed, 8 Apr 2009 18:03:10 +0000 (20:03 +0200)]
[multiple changes]
2009-04-08 Robert Dewar <dewar@adacore.com>
* checks.adb (Enable_Overflow_Check): Do not enable if overflow checks
suppressed.
* exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all
resolution steps.
2009-04-08 Robert Dewar <dewar@adacore.com>
* sem_ch12.adb (Analyze_Package_Instantiation): Remove test for
No_Local_Allocators restriction preventing local instantiation.
2009-04-08 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb: Minor comment fix
2009-04-08 Thomas Quinot <quinot@adacore.com>
* g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller):
New limited controlled type used to automate the initialization and
finalization of the sockets implementation.
(GNAT.Sockets.Initialize, Finalize): Make these no-ops
2009-04-08 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New read-only project-level attribute Project_Dir
* prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of
read-only attribute of the same name.
(Process_Declarative_Items): Call Add_Attributes with Project_Dir
(Recursive_Process): Ditto
* snames.adb: Add new standard name Project_Dir
* snames.ads: Add new standard name Project_Dir
From-SVN: r145766
Daniel Franke [Wed, 8 Apr 2009 17:42:32 +0000 (13:42 -0400)]
re PR fortran/39670 (dollar sign in entities is not recognized when it is first symbol)
2009-04-08 Daniel Franke <franke.daniel@gmail.com>
PR fortran/39670
* invoke.texi (fdollar-ok): Clarify limitations.
From-SVN: r145764
Janne Blomqvist [Wed, 8 Apr 2009 17:06:34 +0000 (20:06 +0300)]
open.c (already_open): Test for POSIX close return value.
2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
* io/open.c (already_open): Test for POSIX close return value.
* io/unit.c (close_unit_1): Likewise.
* io/unix.c (raw_close): Return 0 for success for preconnected units.
From-SVN: r145761
David Edelsohn [Wed, 8 Apr 2009 16:59:25 +0000 (16:59 +0000)]
config.gcc (aix tm_file): Add aix-stdint.h.
* config.gcc (aix tm_file): Add aix-stdint.h.
(aix tm clause use_gcc_stdint): Set to wrap.
* config/rs6000/aix-stdint.h: New file.
From-SVN: r145760
Janne Blomqvist [Wed, 8 Apr 2009 16:48:07 +0000 (19:48 +0300)]
string.c (compare0): Use gfc_charlen_type.
2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
* runtime/string.c (compare0): Use gfc_charlen_type.
* runtime/error.c (gfc_itoa): Move to io/write.c
(xtoa): Rename to gfc_xtoa.
* runtime/backtrace.c (show_backtrace): Call gfc_xtoa.
* intrinsics/cshift0.c (cshift0): Use index_type for shift arg.
* intrinsics/date_and_time.c (date_and_time): Use index_type.
(itime_i4): Likewise.
(itime_i8): Likewise.
(idate_i4): Likewise.
(idate_i8): Likewise.
(gmtime_i4): Likewise.
(gmtime_i8): Likewise.
(ltime_i4): Likewise.
(ltime_i8): Likewise.
* libgfortran.h (gfc_itoa): Remove prototype.
(xtoa): Rename prototype to gfc_xtoa.
* io/list_read.c (nml_read_obj): Use size_t for string length.
* io/transfer.c (read_block_direct): Change nbytes arg from
pointer to value.
(unformatted_read): Minor cleanup, call read_block_directly properly.
(skip_record): Use ssize_t.
(next_record_w_unf): Avoid stell() call by calling sseek with SEEK_CUR.
(iolength_transfer): Make sure to multiply before cast.
* io/intrinsics.c (fgetc): Remove unnecessary variable.
* io/format.c (format_hash): Use gfc_charlen_type.
* io/write.c (itoa): Move from runtime/error.c:gfc_itoa, rename,
make static.
(write_i): Call with pointer to itoa.
(write_z): Call with pointer to gfc_xtoa.
(write_integer): Pointer to itoa.
(nml_write_obj): Type cleanup, don't call strlen in loop.
From-SVN: r145758
Richard Guenther [Wed, 8 Apr 2009 16:33:08 +0000 (16:33 +0000)]
re PR tree-optimization/36291 (GCC is slow and memory-hungry building sipQtGuipart.cpp)
2009-04-08 Richard Guenther <rguenther@suse.de>
PR middle-end/36291
* tree-dfa.c (add_referenced_var): Do not recurse into
global initializers.
* tree-ssa-ccp.c (get_symbol_constant_value): Add newly
exposed variables.
(fold_const_aggregate_ref): Likewise.
From-SVN: r145757
Jason Merrill [Wed, 8 Apr 2009 16:08:15 +0000 (12:08 -0400)]
re PR c++/25185 (deep typedef substitution in error message)
PR c++/25185
* error.c (dump_aggr_type): Chase template typedefs if
-fno-pretty-templates.
From-SVN: r145753
Arnaud Charlet [Wed, 8 Apr 2009 15:23:25 +0000 (17:23 +0200)]
[multiple changes]
2009-04-08 Thomas Quinot <quinot@adacore.com>
* checks.adb: Minor reformatting
2009-04-08 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add documentation for new style keyword
OVERRIDING_INDICATORS
2009-04-08 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
spec is in the current unit.
From-SVN: r145749
Paolo Bonzini [Wed, 8 Apr 2009 15:18:49 +0000 (15:18 +0000)]
recog.c (ordered_comparison_operator): New.
2009-04-08 Paolo Bonzini <bonzini@gnu.org>
* recog.c (ordered_comparison_operator): New.
* gensupport.c (std_preds): Add it.
* doc/md.texi (Machine-Independent Predicates): Document it.
From-SVN: r145748
Jan Hubicka [Wed, 8 Apr 2009 15:13:01 +0000 (17:13 +0200)]
tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
* tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
* function.h (rtl_eh): Remove exception_handler_label_map.
* except.c (ehl_hash, ehl_eq, add_ehl_entry,
remove_exception_handler_label, for_each_eh_label_1): Remove.
(rtl_remove_unreachable_regions): Remove.
(convert_from_eh_region_ranges): Do not remove unreachable regions.
(find_exception_handler_labels): Don't build the hashtable.
(maybe_remove_eh_handler): Remove.
(for_each_eh_label): Rewrite to walk the tree.
(rest_of_handle_eh): Do not cleanup cfg prior EH construction.
* except.h (maybe_remove_eh_handler): Remove.
* passes.c (init_optimization_passes): Schedule second EH cleanup
before out-of-ssa.
* cfgrtl.c (rtl_delete_block, rtl_merge_blocks,
cfg_layout_merge_blocks): Do not call maybe_remove_eh_handler.
From-SVN: r145747
Paolo Bonzini [Wed, 8 Apr 2009 15:00:34 +0000 (15:00 +0000)]
genoutput.c (validate_optab_operands): New.
2009-04-08 Paolo Bonzini <bonzini@gnu.org>
* genoutput.c (validate_optab_operands): New.
(gen_insn, gen_expand): Call it.
* genflags.c (gen_insn): Detect misused iterators.
(main): Pass line_no to gen_insn, exit with status 1 on error.
* genextract.c (line_no): Make global.
(VEC_safe_set_locstr): Change assertion to error message.
(main): Exit with status 1 on error.
From-SVN: r145746
Arnaud Charlet [Wed, 8 Apr 2009 14:54:32 +0000 (16:54 +0200)]
[multiple changes]
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
presence of entity.
* usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators
2009-04-08 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)
2009-04-08 Thomas Quinot <quinot@adacore.com>
* checks.ads: Minor reformatting
2009-04-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Update documentation of pragma Obsolescent
* sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
be omitted, and allow Entity parameter to be omitted.
From-SVN: r145745
Arnaud Charlet [Wed, 8 Apr 2009 14:49:44 +0000 (16:49 +0200)]
[multiple changes]
2009-04-08 Thomas Quinot <quinot@adacore.com>
* exp_util.adb: Minor comment fix
2009-04-08 Robert Dewar <dewar@adacore.com>
* g-socket.ads: Fix bad syntax in pragma Obsolescent
* par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of
argument with no identifier following one that has an identifier. Was
missed in some cases.
* sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy
identifier.
(Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers
* snames.adb: Add Name_Policy
* snames.ads: Add Name_Policy
From-SVN: r145744
Arnaud Charlet [Wed, 8 Apr 2009 14:41:45 +0000 (16:41 +0200)]
[multiple changes]
2009-04-08 Vincent Celier <celier@adacore.com>
* snames.adb, snames.ads: Add new standard names IDE and
Compiler_Command.
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe,
i.e. does not need a temporary to capture the value, if expression is
an acceess type, even if target type is a record whose size may not
have been determined yet.
* exp_disp.adb (Expand_Dispatching_Call): Set size info for generated
access_to_subprogram type, to avoid order-of-elaboration anomalies in
gigi.
From-SVN: r145743
Robert Dewar [Wed, 8 Apr 2009 14:35:35 +0000 (14:35 +0000)]
gnat_rm.texi: Minor reformatting
2009-04-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Minor reformatting
* par-ch2.adb: Minor reformatting
From-SVN: r145742
Robert Dewar [Wed, 8 Apr 2009 14:31:44 +0000 (14:31 +0000)]
exp_attr.adb, [...]: Code clean up.
2009-04-08 Robert Dewar <dewar@adacore.com>
* exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up.
From-SVN: r145741
Robert Dewar [Wed, 8 Apr 2009 14:25:35 +0000 (14:25 +0000)]
sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate properly in the presence of Remote_Types or...
2009-04-08 Robert Dewar <dewar@adacore.com>
* sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate
properly in the presence of Remote_Types or Remote_Call_Interface.
* sem_util.adb: Add comment.
From-SVN: r145739
Joseph Myers [Wed, 8 Apr 2009 14:11:46 +0000 (15:11 +0100)]
re PR middle-end/39614 (Internal error compiling CSiBE)
PR c/39614
PR c/39673
* c-common.h (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
EXPR_INT_CONST_OPERANDS): Remove duplicate definitions.
* c-convert.c (convert): Do not call fold on results of conversion
functions when the result is a C_MAYBE_CONST_EXPR.
* c-parser.c (c_parser_postfix_expression): Do not fold condition
of __builtin_choose_expr.
* c-typeck.c (remove_c_maybe_const_expr): New.
(build_unary_op, build_conditional_expr, build_compound_expr,
build_binary_op, c_objc_common_truthvalue_conversion): Call
remove_c_maybe_const_expr on any input C_MAYBE_CONST_EXPR with
integer operands.
testsuite:
* gcc.c-torture/compile/pr39614-1.c,
gcc.c-torture/compile/pr39614-2.c,
gcc.c-torture/compile/pr39614-3.c,
gcc.c-torture/compile/pr39614-4.c,
gcc.c-torture/compile/pr39614-5.c,
gcc.c-torture/compile/pr39673-1.c,
gcc.c-torture/compile/pr39673-2.c: New tests.
* gcc.dg/gnu89-const-expr-2.c, gcc.dg/gnu99-const-expr-2.c: Test
more cases.
* gcc.dg/overflow-warn-1.c, gcc.dg/overflow-warn-2.c,
gcc.dg/overflow-warn-3.c, gcc.dg/overflow-warn-4.c: Update
expected errors.
From-SVN: r145737
Arnaud Charlet [Wed, 8 Apr 2009 13:59:47 +0000 (15:59 +0200)]
[multiple changes]
2009-04-08 Robert Dewar <dewar@adacore.com>
* ug_words: Add /ASSUME_VALID for -gnatB
* vms_data.ads: Add /ASSUME_VALID for -gnatB
* sem_cat.adb: Add clarifying commment
* a-direio.ads (Bytes): Make sure value is non-zero
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Variable): If the prefix is an explicit dereference
that does not come from source, check for a rewritten function call in
prefixed notation before other forms of rewriting.
2009-04-08 Robert Dewar <dewar@adacore.com>
* Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
these are now obsolescent units used only for bootrapping with an
older compiler.
From-SVN: r145733
Arnaud Charlet [Wed, 8 Apr 2009 13:54:32 +0000 (15:54 +0200)]
[multiple changes]
2009-04-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add documentation for pragma Thread_Local_Storage
* sem_ch3.adb: Minor comment updates
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms
that come from source.
From-SVN: r145732
Bingfeng Mei [Wed, 8 Apr 2009 13:51:35 +0000 (13:51 +0000)]
fold-const.c (const_binop): Combine two VECTOR_CST under operation CODE to produce a new one.
2009-04-08 Bingfeng Mei <bmei@broadcom.com>
* fold-const.c (const_binop): Combine two VECTOR_CST under operation
CODE to produce a new one. Add a prototype to use fold_convert_const
From-SVN: r145731
Tristan Gingold [Wed, 8 Apr 2009 13:46:35 +0000 (13:46 +0000)]
utils.c, [...]: Add support for pragma Thread_Local_Storage
2009-04-08 Tristan Gingold <gingold@adacore.com>
* gcc-interface/utils.c, gcc-interface/decl.c, gcc-interface/gigi.h:
Add support for pragma Thread_Local_Storage
From-SVN: r145730
Arnaud Charlet [Wed, 8 Apr 2009 13:44:17 +0000 (15:44 +0200)]
[multiple changes]
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* inline.adb (Back_End_Cannot_Inline): Do not mark a body as inlineable
by the back-end if it contains a call to a subprogram without a
previous spec that is declared in the same unit.
* errout.ads: Update comments on uses of dirs
2009-04-08 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Make sure nodes are properly typed
From-SVN: r145729
Arnaud Charlet [Wed, 8 Apr 2009 13:29:19 +0000 (15:29 +0200)]
[multiple changes]
2009-04-08 Tristan Gingold <gingold@adacore.com>
* sem_prag.adb: Restrict pragma Thread_Local_Storage to library level
variables.
Set Has_Gigi_Rep_Item flag to TLS variables (to ease gigi work).
2009-04-08 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb:
(Add_Source): Add the mapping of the unit name to source file name in
the Unit_Sources_HT hash table, if the unit name is not null.
* prj.adb (Reset): Reset hash table Tree.Unit_Sources_HT
* prj.ads (Unit_Sources_Htable): New hash table instantiation
(Project_Tree_Data): New component Unit_Sources_HT
From-SVN: r145728
Arnaud Patard [Wed, 8 Apr 2009 13:14:13 +0000 (13:14 +0000)]
configure.ac: Fix Linux/MIPS matching rule.
2009-04-07 Arnaud Patard <apatard@mandriva.com>
* libiberty/configure.ac: Fix Linux/MIPS matching rule.
* libiberty/configure: Regenerate.
From-SVN: r145726
Arnaud Charlet [Wed, 8 Apr 2009 13:13:21 +0000 (15:13 +0200)]
[multiple changes]
2009-04-08 Thomas Quinot <quinot@adacore.com>
* sem_ch8.adb: Minor reformatting.
Minor code reorganization.
2009-04-08 Robert Dewar <dewar@adacore.com>
* snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb,
snames.ads, freeze.adb, par-prag.adb: Add implementation of
pragma Thread_Local_Storage, setting new flag
Has_Pragma_Thread_Local_Storage in corresponding entities.
From-SVN: r145725
Arnaud Charlet [Wed, 8 Apr 2009 12:53:51 +0000 (14:53 +0200)]
[multiple changes]
2009-04-08 Emmanuel Briot <briot@adacore.com>
* prj.ads: Update comment on switches file
* prj-nmsc.adb: Code clean up. Use renaming clauses.
2009-04-08 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling
2009-04-08 Thomas Quinot <quinot@adacore.com>
* ali-util.adb: Minor comment fix
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Analyze_Use_Type): Improve error message when clause
appears in a context clause, and the enclosing package is mentioned in
a limited_with_clause.
(Use_One_Type): Reject clause if type is still incomplete.
From-SVN: r145722
Arnaud Charlet [Wed, 8 Apr 2009 12:44:17 +0000 (14:44 +0200)]
[multiple changes]
2009-04-08 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode):
avoid copies of Source_Data variables when possible, since these
involve calls to memcpy() which are done too many times.
2009-04-08 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Clean up code
From-SVN: r145721
Thomas Quinot [Wed, 8 Apr 2009 12:18:02 +0000 (12:18 +0000)]
(Image): New procedure.
From-SVN: r145719
Dodji Seketeli [Wed, 8 Apr 2009 09:39:51 +0000 (09:39 +0000)]
re PR c++/39637 (ICE on ill-formed sizeof(<parameter-pack>) in variadic template)
gcc/cp/ChangeLog:
2009-04-08 Dodji Seketeli <dodji@redhat.com>
PR c++/39637
* parser.c (cp_parser_enumerator_definition): Make sure the
initializer of the enumerator doesn't contain any bare parameter pack.
gcc/testsuite/ChangeLog
2009-04-08 Dodji Seketeli <dodji@redhat.com>
PR c++/39637
* g++.dg/cpp0x/variadic-crash2.C: New test.
From-SVN: r145717
Paul Thomas [Wed, 8 Apr 2009 08:59:34 +0000 (08:59 +0000)]
re PR fortran/38863 (WHERE with multiple elemental defined assignments gives wrong answer)
2009-04-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38863
* trans-array.c (gfc_trans_deferred_array): Return if this
is a result variable.
2009-04-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38863
* gfortran.dg/alloc_comp_result_1.f90: New test.
From-SVN: r145714
Danny Smith [Wed, 8 Apr 2009 08:02:48 +0000 (08:02 +0000)]
re PR bootstrap/39660 (Mingw Bootstrap stops with "..host-mingw32.c:140: error: ISO C90 forbids mixed..")
PR bootstrap/39660
* config/i386/host-mingw32.c (mingw32_gt_pch_use_address): Don't
mix declarations and code.
From-SVN: r145711
Jason Merrill [Wed, 8 Apr 2009 03:44:48 +0000 (23:44 -0400)]
re PR c++/34691 (Default argument checking not performed after overload resolution with C linkage)
PR c++/34691
* name-lookup.c (merge_functions): Keep multiple extern "C" functions.
* call.c (joust): Complain about mismatched default arguments
in extern "C" functions.
* class.c (resolve_address_of_overloaded_function): Handle multiple
extern "C" functions.
* pt.c (resolve_overloaded_unification): Likewise.
From-SVN: r145709
Ben Elliston [Wed, 8 Apr 2009 02:47:52 +0000 (02:47 +0000)]
* gcc.c: Replace `CC' with `GCC' throughout.
From-SVN: r145708
Gerald Pfeifer [Wed, 8 Apr 2009 02:00:48 +0000 (02:00 +0000)]
update_web_docs_svn: Run this script under plain /bin/sh as opposed to /bin/sh -x.
* update_web_docs_svn: Run this script under plain /bin/sh
as opposed to /bin/sh -x.
From-SVN: r145707
GCC Administrator [Wed, 8 Apr 2009 00:17:10 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r145706
Dominique d'Humieres [Tue, 7 Apr 2009 22:46:07 +0000 (00:46 +0200)]
re PR testsuite/39325 (FAIL: gcc.misc-tests/linkage.c link)
2009-04-07 Dominique d'Humieres <dominiq@lps.ens.fr>
PR testsuite/39325
* gcc.misc-tests/linkage.exp: Use -m64 for 64-bit *86*-darwin.
From-SVN: r145702
H.J. Lu [Tue, 7 Apr 2009 20:18:34 +0000 (20:18 +0000)]
invoke.texi: Document Atom support.
2009-04-07 H.J. Lu <hongjiu.lu@intel.com>
* doc/invoke.texi: Document Atom support.
From-SVN: r145700
Jason Merrill [Tue, 7 Apr 2009 17:48:52 +0000 (13:48 -0400)]
re PR c++/25185 (deep typedef substitution in error message)
PR c++/25185
* c-common.h, c-common.c: Add flag_pretty_templates.
* c-opts.c (c_common_handle_option): Set it.
* c.opt: Add -fno-pretty-templates.
* doc/invoke.texi (C++ Dialect Options): Likewise.
* error.c (dump_function_decl): Don't pretty-print templates
if -fno-pretty-templates.
(count_non_default_template_args): Print all args if
-fno-pretty-templates.
From-SVN: r145697
Arnaud Charlet [Tue, 7 Apr 2009 16:56:30 +0000 (18:56 +0200)]
[multiple changes]
2009-04-07 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Add missing conversion to index
type for the case of concatenating a constrained array indexed by an
enumeration type.
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Conformance): when checking conformance of an
operation that overrides an abstract operation inherited from an
interface, return False if only one of the controlling formals is an
access parameter.
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): additional error messages
mandated by AI05-105.
2009-04-07 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Get_Mains): Warn if a main is an empty string
2009-04-07 Thomas Quinot <quinot@adacore.com>
* usage.adb: Minor fix in usage message.
* sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to
match declaration; the correct subtype is Node_Id, not Entity_Id,
because the expected node kind is an identifier, not a defining
identifier.
* switch-c.adb: Minor reformatting.
* uintp.adb: Minor reformatting.
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch13.adb: Minor reformatting
From-SVN: r145696
Arnaud Charlet [Tue, 7 Apr 2009 16:45:30 +0000 (18:45 +0200)]
[multiple changes]
2009-04-07 Robert Dewar <dewar@adacore.com>
* sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence
against missing parent.
2009-04-07 Thomas Quinot <quinot@adacore.com>
* xoscons.adb: Minor reformatting
2009-04-07 Robert Dewar <dewar@adacore.com>
* rtsfind.ads: Remove obsolete string concatenation entries
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Redo handling of bounds
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Check_Body_Required): Handle properly imported
subprograms.
2009-04-07 Gary Dismukes <dismukes@adacore.com>
* exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
Attribute_Address): When Init_Or_Norm_Scalars is True and the object
is of a scalar or string type then suppress the setting of the
expression to Empty.
* freeze.adb (Warn_Overlay): Also emit the warnings about default
initialization for the cases of scalar and string objects when
Init_Or_Norm_Scalars is True.
From-SVN: r145694
Janus Weil [Tue, 7 Apr 2009 16:24:31 +0000 (18:24 +0200)]
re PR fortran/38152 (procedure pointers as module variables)
2009-04-07 Janus Weil <janus@gcc.gnu.org>
PR fortran/38152
* trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
procedure pointer decls.
2009-04-07 Janus Weil <janus@gcc.gnu.org>
PR fortran/38152
* gfortran.dg/proc_ptr_13.f90: Add "-g" option.
From-SVN: r145692
Arnaud Charlet [Tue, 7 Apr 2009 16:22:41 +0000 (18:22 +0200)]
[multiple changes]
2009-04-07 Bob Duff <duff@adacore.com>
* s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes
2009-04-07 Bob Duff <duff@adacore.com>
* gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A
Form parameter of Text_Translation=No allows binary mode for Text_IO
files.
* gnat_rm.texi: Document Form parameter Text_Translation=xxx.
2009-04-07 Javier Miranda <miranda@adacore.com>
* exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when
processing the bounds for bit packed arrays or VM target machines.
From-SVN: r145691
Uros Bizjak [Tue, 7 Apr 2009 16:19:02 +0000 (09:19 -0700)]
ia64.c (ia64_builtins): Add IA64_BUILTIN_HUGE_VALQ.
2009-04-07 Uros Bizjak <ubizjak@gmail.com>
* config/ia64/ia64.c (ia64_builtins): Add IA64_BUILTIN_HUGE_VALQ.
(ia64_init_builtins): Handle IA64_BUILTIN_HUGE_VALQ.
(ia64_expand_builtin): Likewise.
From-SVN: r145690
Arnaud Charlet [Tue, 7 Apr 2009 16:15:57 +0000 (18:15 +0200)]
[multiple changes]
2009-04-07 Thomas Quinot <quinot@adacore.com>
* g-sothco.ads (Int_Access): Remove extraneous access type (use
anonymous access instead).
(Get_Socket_From_Set): Fix incorrectly reverted formals
Last and Socket to match the underlying C routine.
* g-socket.adb
(Get): Use named parameter associations instead of positional ones in
call go Get_Socket_From_Set, since this routine has two formals of the
same type.
* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads:
(C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access"
for type of Arg formal.
* sem_warn.adb: Minor reformatting
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates
over record components.
2009-04-07 Nicolas Roche <roche@adacore.com>
* gsocket.h:
Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library
has disappeared between VxWorks 6.4 and VxWorks 6.5
In RTP mode use time.h instead of times.h
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling
2009-04-07 Kevin Pouget <pouget@adacore.com>
* exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct
expanded code for constrained types.
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement
AI05-105: in an object renaming declaration, anonymousness is a name
resolution rule.
sem_ch8.adb (Analyze_Object_Renaming): Ditto.
2009-04-07 Arnaud Charlet <charlet@adacore.com>
* g-comlin.adb (Expansion): Fix old regression: also return directory
names when matching.
From-SVN: r145689
Arnaud Charlet [Tue, 7 Apr 2009 15:57:44 +0000 (17:57 +0200)]
[multiple changes]
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb:
(Expand_N_Op_Concat): Call Expand_Concatenate for all cases
(Expand_Concatenate): New name for Expand_Concatenate_String which has
been rewritten to handle all types.
(Expand_Concatenate_Other): Remove
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* lib-xref.adb (Generate_Reference): A default subprogram in an
instance appears within the tree for the instance, but generates an
implicit reference in the ALI.
From-SVN: r145686
Martin Jambor [Tue, 7 Apr 2009 15:46:33 +0000 (17:46 +0200)]
tree-ssa-alias.c (refs_may_alias_p_1): Check for is_gimple_min_invariant rather than CONSTANT_CLASS_P so that...
2009-04-07 Martin Jambor <mjambor@suse.cz>
* tree-ssa-alias.c (refs_may_alias_p_1): Check for
is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
ADDR_EXPRS are include too.
From-SVN: r145685
Arnaud Charlet [Tue, 7 Apr 2009 15:46:23 +0000 (17:46 +0200)]
[multiple changes]
2009-04-07 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): When processing a tagged
derived type that has discriminants, propagate the list of interfaces
to the corresponding new base type. In addition, propagate also
attribute Limited_Present (found working in this patch).
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Rewrite concatenation expansion.
From-SVN: r145684
Arnaud Charlet [Tue, 7 Apr 2009 15:26:21 +0000 (17:26 +0200)]
[multiple changes]
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Restore_Scope_Stack): First_Private_Entity is only
relevant to packages.
2009-04-07 Robert Dewar <dewar@adacore.com>
* sem_attr.adb: Minor reformatting
* sem_ch6.adb: Minor reformatting
From-SVN: r145682
Arnaud Charlet [Tue, 7 Apr 2009 15:20:53 +0000 (17:20 +0200)]
[multiple changes]
2009-04-07 Tristan Gingold <gingold@adacore.com>
* socket.c: Add more protections against S_resolvLib_ macros.
2009-04-07 Thomas Quinot <quinot@adacore.com>
* sem_attr.adb: Minor reformatting
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): New predicate
Is_Overriding_Alias to handle properly types that inherit two homonym
operations that have distinct dispatch table entries.
From-SVN: r145681
Arnaud Charlet [Tue, 7 Apr 2009 15:16:34 +0000 (17:16 +0200)]
[multiple changes]
2009-04-07 Emmanuel Briot <briot@adacore.com>
* s-regexp.adb (Create_Mapping): Ignore excaped open parenthesis when
looking for the end of a parenthesis group
2009-04-07 Tristan Gingold <gingold@adacore.com>
* gsocket.h Don't #include resolvLib.h if __RTP__ is defined.
* socket.c Don't use resolvLib_ macros if not defined.
From-SVN: r145680
Arnaud Charlet [Tue, 7 Apr 2009 15:10:30 +0000 (17:10 +0200)]
[multiple changes]
2009-04-07 Robert Dewar <dewar@adacore.com>
* g-socket.adb: Minor reformatting.
* g-socthi-mingw.adb: Minor reformatting
* g-sothco.ads: Minor reformatting
* exp_ch4.adb:
(Expand_Concatenate_String): Complete rewrite to generate efficient code
inline instead of relying on external library routines.
* s-strops.ads, s-sopco5.ads, s-sopco5.adb, s-sopco4.ads, s-sopco4.adb,
s-sopco3.ads, s-sopco3.adb, s-strops.adb: Note that this unit is now
obsolescent
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb:
(Eval_Attribute): for attributes of array objects that are not strings,
attributes are not static if nominal subtype of object is unconstrained.
2009-04-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): If two implicit homonym
operations for a type T in an instance do not override each other,
when T is derived from a formal private type, the corresponding
operations inherited by a type derived from T outside
of the instance do not override each other either.
From-SVN: r145679
Arnaud Charlet [Tue, 7 Apr 2009 15:01:27 +0000 (17:01 +0200)]
[multiple changes]
2009-04-07 Robert Dewar <dewar@adacore.com>
(Osint.Fail): Change calling sequence to have one string arg
(Make.Make_Failed): Same change
All callers are adjusted to use concatenation
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Fix documentation typo
2009-04-07 Robert Dewar <dewar@adacore.com>
* tbuild.ads: Minor reformatting
2009-04-07 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Make_DT): Avoid the generation of the OSD_Table
when compiling under ZFP runtime.
2009-04-07 Robert Dewar <dewar@adacore.com>
* g-comlin.adb: Minor reformatting
2009-04-07 Thomas Quinot <quinot@adacore.com>
* socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads, g-sothco.ads:
Remove dynamic allocation of Fd_Set in Socket_Set_Type objects.
From-SVN: r145678
Robert Dewar [Tue, 7 Apr 2009 14:52:29 +0000 (14:52 +0000)]
gnat_ugn.texi: Document -gnatDnn/-gnatGnn
2009-04-07 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document -gnatDnn/-gnatGnn
* opt.ads (Sprint_Line_Limit): New parameter
* sprint.adb: Usa Sprint_Line_Limit instead of Line_Limit throughout
* switch-c.adb: Recognize -gnatDnnn and -gnatGnnn switches
* usage.adb: Output information for -gnatGnn -gnatDnn
* make.adb: Minor reformatting
* mlib-tgt-specific-vms-alpha.adb: Minor reformatting
* mlib-tgt-specific-vms-ia64.adb: Minor reformatting
From-SVN: r145677
Richard Guenther [Tue, 7 Apr 2009 14:19:17 +0000 (14:19 +0000)]
tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased decls are only used if passes as parameters or if...
2009-04-07 Richard Guenther <rguenther@suse.de>
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased
decls are only used if passes as parameters or if they are
local statics and the call is not to a builtin.
(call_may_clobber_ref_p_1): Likewise.
From-SVN: r145676
Robert Dewar [Tue, 7 Apr 2009 14:18:13 +0000 (14:18 +0000)]
checks.adb: Remove Assume_Valid parameter from In_Subrange_Of calls
2009-04-07 Robert Dewar <dewar@adacore.com>
* checks.adb:
Remove Assume_Valid parameter from In_Subrange_Of calls
* sem_eval.adb:
(Is_Subrange_Of): Remove Assume_Valid parameter, not needed
(Is_In_Range): Remove incorrect use of Assume_Valid
(Is_Out_Of_Range): Remove incorrect use of Assume_Valid
* sem_eval.ads:
(Is_Subrange_Of): Remove Assume_Valid parameter, not needed
(Is_In_Range): Documentation cleanup
(Is_Out_Of_Range): Documentation cleanup
* gnat_rm.texi:
Add documentation for Assume_No_Invalid_Values pragma
* sem_ch12.adb: Minor reformatting
* sem_ch6.adb: (Check_Conformance): Avoid cascaded errors
* sem_prag.adb: Improve error message.
* gnatchop.adb, osint.ads, sinput.adb, sinput.ads, styleg.adb:
LF/CR no longer recognized as line terminator
* switch.ads: Minor documentation improvement
* vms_data.ads: Minor reformatting
From-SVN: r145675
Arnaud Charlet [Tue, 7 Apr 2009 14:18:00 +0000 (16:18 +0200)]
Update baseline.
From-SVN: r145674
Laurent Guerby [Tue, 7 Apr 2009 14:07:24 +0000 (14:07 +0000)]
(correct version)
2009-04-06 Laurent GUERBY <laurent@guerby.net>
* Makefile.in (ADA_RTS_DIR): Define.
* Makefile.in (gnatlib-*): Link adainclude and adalib to it.
From-SVN: r145673
Robert Dewar [Tue, 7 Apr 2009 13:55:31 +0000 (13:55 +0000)]
checks.adb (Determine_Range): Add Assume_Valid parameter
2009-04-07 Robert Dewar <dewar@adacore.com>
* checks.adb (Determine_Range): Add Assume_Valid parameter
* checks.ads (Determine_Range): Add Assume_Valid parameter
* errout.adb (Error_Msg_NEL): Use Suppress_Loop_Warnings rather than
Is_Null_Loop to suppress warnings in a loop body.
* exp_ch4.adb:
(Rewrite_Comparison): Major rewrite to accomodate invalid values
* exp_ch5.adb:
(Expand_N_Loop_Statement): Delete loop known not to execute
* opt.ads:
(Assume_No_Invalid_Values): Now set to False, and as documented, this
fully enables the proper handling of invalid values.
* sem_attr.adb:
New calling sequence for Is_In_Range
* sem_ch5.adb:
(Analyze_Iteration_Scheme): Accomodate possible invalid values
in determining if a loop range is null.
* sem_eval.adb:
(Is_In_Range): Add Assume_Valid parameter
(Is_Out_Of_Range): Add Assume_Valid_Parameter
(Compile_Time_Compare): Major rewrite to accomodate invalid values and
also to do more accurate and complete range analysis, catching more
cases.
* sem_eval.ads:
(Is_In_Range): Add Assume_Valid parameter
(Is_Out_Of_Range): Add Assume_Valid_Parameter
* sem_util.adb:
New calling sequence for Is_In_Range
* sinfo.adb:
(Suppress_Loop_Warnings): New flag
* sinfo.ads:
(Is_Null_Loop): Update documentation
(Suppress_Loop_Warnings): New flag
* gnat_ugn.texi: Document -gnatB switch
From-SVN: r145672
Arnaud Charlet [Tue, 7 Apr 2009 13:37:49 +0000 (13:37 +0000)]
* gnatvsn.ads: Bump version number.
From-SVN: r145671
Arnaud Charlet [Tue, 7 Apr 2009 13:21:50 +0000 (15:21 +0200)]
[multiple changes]
2009-04-07 Thomas Quinot <quinot@adacore.com>
* exp_ch3.adb: Minor rewording (comments)
2009-04-07 Robert Dewar <dewar@adacore.com>
* exp_disp.adb: Minor reformatting
From-SVN: r145670
Paolo Bonzini [Tue, 7 Apr 2009 12:48:16 +0000 (12:48 +0000)]
expr.c (do_store_flag): Remove last argument.
2009-04-07 Paolo Bonzini <bonzini@gnu.org>
* expr.c (do_store_flag): Remove last argument. Simplify code
to avoid duplication of tests already done by can_compare_p.
(expand_expr_real_1): Adjust caller.
From-SVN: r145668
Paolo Bonzini [Tue, 7 Apr 2009 12:39:37 +0000 (12:39 +0000)]
optabs.c (can_compare_p): Test the predicate of a cbranch and cstore pattern.
2009-04-07 Paolo Bonzini <bonzini@gnu.org>
* optabs.c (can_compare_p): Test the predicate of a
cbranch and cstore pattern.
From-SVN: r145667
Paolo Bonzini [Tue, 7 Apr 2009 12:30:59 +0000 (12:30 +0000)]
expr.c (convert_move): Use emit_store_flag instead of "emulating" it.
2009-04-07 Paolo Bonzini <bonzini@gnu.org>
* expr.c (convert_move): Use emit_store_flag instead of
"emulating" it.
From-SVN: r145666
Paolo Bonzini [Tue, 7 Apr 2009 12:26:23 +0000 (12:26 +0000)]
i386.c (ix86_compare_emitted): Remove.
2009-04-07 Paolo Bonzini <bonzini@gnu.org>
* config/i386/i386.c (ix86_compare_emitted): Remove.
(ix86_expand_compare, ix86_expand_branch): Handle MODE_CC
ix86_compare_op0 like ix86_compare_emitted used to be handled.
* config/i386/i386.h (ix86_compare_emitted): Remove.
* config/i386/i386.md (stack_protect_test): Set ix86_compare_op0
instead of ix86_compare_emitted.
* config/i386/sync.md (sync_compare_and_swap_cc): Likewise.
From-SVN: r145665
Eric Botcazou [Tue, 7 Apr 2009 10:58:37 +0000 (10:58 +0000)]
decl.c (gnat_to_gnu_entity): Test the underlying type.
* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Test the
underlying type.
* gcc-interface/trans.c (lvalue_required_p): Likewise.
From-SVN: r145663
Eric Botcazou [Tue, 7 Apr 2009 10:21:45 +0000 (10:21 +0000)]
trans.c (Attribute_to_gnu): Do not convert the result.
2009-04-07 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (Attribute_to_gnu) <Max_Size_In_Storage_Elmts>:
Do not convert the result. Remove obsolete comment.
From-SVN: r145662
Eric Botcazou [Tue, 7 Apr 2009 09:57:06 +0000 (09:57 +0000)]
trans.c (establish_gnat_vms_condition_handler): Clear DECL_CONTEXT.
* gcc-interface/trans.c (establish_gnat_vms_condition_handler): Clear
DECL_CONTEXT.
(Subprogram_Body_to_gnu): Fix pasto.
From-SVN: r145661
Eric Botcazou [Tue, 7 Apr 2009 09:41:40 +0000 (09:41 +0000)]
gigi.h (standard_datatypes): Remove ADT_void_type_decl.
* gcc-interface/gigi.h (standard_datatypes): Remove ADT_void_type_decl.
(void_type_decl_node): Remove.
(init_gigi_decls): Likewise.
(gnat_install_builtins): Declare.
(record_builtin_type): Likewise.
(create_type_stub_decl): Likewise.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Void>: Use void_type.
(gnat_to_gnu_entity) <E_Array_Type>: Make fat and thin pointer types
artificial.
<E_Array_Subtype>: Use the index types, not only their name, in the
record giving the names of the bounds, if any.
For a packed array type, make it artificial only if the base type
was artificial as well. Remove redundant statement.
(gnat_to_gnu_entity) <E_Incomplete_Type>: Do not create TYPE_DECL for
dummy types.
Use create_type_stub_decl to build the TYPE_STUB_DECL of types.
(rest_of_type_decl_compilation_no_defer): Likewise.
* gcc-interface/misc.c (gnat_printable_name): Add missing guard.
* gcc-interface/utils.c (make_dummy_type): Always create TYPE_STUB_DECL
and use create_type_stub_decl to build it.
(gnat_pushdecl): Rewrite condition.
(gnat_install_builtins): Remove bogus declaration.
(record_builtin_type): New function.
(finish_record_type): Use create_type_stub_decl to build TYPE_STUB_DECL
of types.
(create_type_stub_decl): New function.
(create_type_decl): Assert that the type is not dummy. If the type
hasn't been named yet, equate the TYPE_STUB_DECL to the created node.
(build_vms_descriptor32): Do not create TYPE_DECL for the descriptor.
(build_vms_descriptor): Likewise.
(init_gigi_decls): Delete and move bulk of code to...
* gcc-interface/trans.c (gigi): ...here. Use record_builtin_type.
(emit_range_check): Add gnat_node parameter.
(emit_index_check): Likewise.
(emit_check): Likewise.
(build_unary_op_trapv): Likewise.
(build_binary_op_trapv): Likewise.
(convert_with_check): Likewise.
(Attribute_to_gnu): Adjust calls for above changes.
(call_to_gnu): Likewise.
(gnat_to_gnu): Likewise.
(assoc_to_constructor): Likewise.
(pos_to_constructor): Likewise.
(Sloc_to_locus): Set BUILTINS_LOCATION for Standard_Location nodes.
(process_type): Do not create TYPE_DECL for dummy types.
From-SVN: r145660
Eric Botcazou [Tue, 7 Apr 2009 08:26:08 +0000 (08:26 +0000)]
decl.c (gnat_to_gnu_entity): Reorder local variables.
* gcc-interface/decl.c (gnat_to_gnu_entity): Reorder local variables.
* gcc-interface/trans.c: Fix formatting throughout. Fix comments.
* gcc-interface/utils.c: Fix comments.
From-SVN: r145658
Eric Botcazou [Tue, 7 Apr 2009 07:56:11 +0000 (07:56 +0000)]
decl.c (compile_time_known_address_p): Rewrite and move around.
* decl.c (compile_time_known_address_p): Rewrite and move around.
(gnat_to_gnu_type): Move around.
(get_unpadded_type): Likewise.
* utils.c (update_pointer_to): Use synthetic macro. Tidy comments.
From-SVN: r145654
Janus Weil [Tue, 7 Apr 2009 07:43:16 +0000 (09:43 +0200)]
repairing ChangeLog for my last commit
From-SVN: r145653
Eric Botcazou [Tue, 7 Apr 2009 07:36:31 +0000 (07:36 +0000)]
trans.c (check_for_eliminated_entity): New function.
* gcc-interface/trans.c (check_for_eliminated_entity): New function.
(Attribute_to_gnu): Invoke it for Access- and Address-like attributes.
(call_to_gnu): Invoke it instead of manually checking.
From-SVN: r145652
Janus Weil [Tue, 7 Apr 2009 07:24:37 +0000 (09:24 +0200)]
re PR other/38920 (dw2 exceptions don't work.)
2009-04-07 Janus Weil <janus@gcc.gnu.org>
PR fortran/38920
* expr.c (gfc_check_pointer_assign): Enable interface check for
procedure pointers.
* gfortran.h: Add copy_formal_args_intr.
* interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
if second argument is an intrinsic.
(compare_intr_interfaces): Correctly set attr.function, attr.subroutine
and ts.
(compare_parameter): Call gfc_compare_interfaces also for intrinsics.
* resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
intrinsic interfaces here. Must happen earlier.
(resolve_symbol): Resolution of intrinsic interfaces moved here from
resolve_specific_..., and formal args are now copied from intrinsic
interfaces.
* symbol.c (copy_formal_args_intr): New function to copy the formal
arguments from an intinsic procedure.
2009-04-07 Janus Weil <janus@gcc.gnu.org>
PR fortran/38920
* gfortran.dg/proc_decl_1.f90: Modified.
* gfortran.dg/proc_ptr_11.f90: Extended.
* gfortran.dg/proc_ptr_13.f90: Modified.
From-SVN: r145651