David Edelsohn [Thu, 3 Jan 2013 15:17:06 +0000 (15:17 +0000)]
* gcc.dg/torture/tls/tls-reload-1.c: Add tls options.
From-SVN: r194855
Richard Biener [Thu, 3 Jan 2013 14:25:32 +0000 (14:25 +0000)]
tree-vect-loop.c (vect_analyze_loop_form): Clarify reason for not vectorizing.
2013-01-03 Richard Biener <rguenther@suse.de>
* tree-vect-loop.c (vect_analyze_loop_form): Clarify reason
for not vectorizing.
* tree-vect-data-refs.c (vect_create_addr_base_for_vector_ref): Do
not build INDIRECT_REFs, call get_name once only.
(vect_create_data_ref_ptr): Likewise. Dump base object kind
based on DR_BASE_OBJECT, not DR_BASE_ADDRESS.
From-SVN: r194853
Arnaud Charlet [Thu, 3 Jan 2013 13:12:02 +0000 (14:12 +0100)]
[multiple changes]
2013-01-03 Pascal Obry <obry@adacore.com>
* prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and
corresponding attibutes.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_aggr.adb: Minor comment improvement.
From-SVN: r194852
Arnaud Charlet [Thu, 3 Jan 2013 13:06:45 +0000 (14:06 +0100)]
[multiple changes]
2013-01-03 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the
relevant tables.
* einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to
the description of fields (Abstract_States): New routine.
(Integrity_Level): New routine.
(Has_Property): New routine.
(Is_Input_State): New routine.
(Is_Null_State): New routine.
(Is_Output_State): New routine.
(Is_Volatile_State): New routine.
(Refined_State): New routine.
(Set_Abstract_States): New routine.
(Set_Integrity_Level): New routine.
(Set_Refined_State): New routine.
(Write_Field8_Name): Add proper output for E_Abstract_State.
(Write_Field9_Name): Add proper output for E_Abstract_State.
(Write_Field25_Name): Add proper output for E_Package.
* lib-xref.ads: Add new letter for an abstract state.
* par-prag.adb: Add pragma Abstract_State to the list of pragma
that do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert
aspect Abstract_State into a pragma without any form
of legality checks. The work is done by Analyze_Pragma.
(Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not
require delayed analysis.
* sem_prag.adb: Add a value for pragma Abstract_State in table
Sig_Flags.
(Analyze_Pragma): Add legality checks for pragma
Abstract_State. Analysis of individual states introduces a state
abstraction entity into the visibility chain.
* snames.ads-tmpl: Add new names for abstract state and
integrity. Add new pragma id for abstract state.
2013-01-03 Bob Duff <duff@adacore.com>
* table.adb (Reallocate): Calculate new Length in
Long_Integer to avoid overflow.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb
(Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that
it is set properly when expanding the initialization expression.
(Freeze.Check_Address_Clause): Transfer initialization expression
to an assignment in the freeze actions, so that the object is
initialized only after being elaborated by GIGI.
(Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow
a Null_Statement as the expression in an Expression_With_Actions.
(Exp_Aggr.Collect_Initialization_Statements): New subprogram
shared by expansion of record and array aggregates, used to
capture statements for an aggregate used to initalize an object
into an Expression_With_Actions (which acts as a container for
a list of actions).
(Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to
capture initialization statements, instead of the previously
existing loop which left freeze nodes out of the capturing
construct (causing out of order elaboration crashes in GIGI).
(Exp_Aggr.Expand_Array_Aggregate): Use the above to capture
initialization statements (this was previously not done for
arrays). Also do not unconditionally prevent in place expansion
for an object with address clause.
From-SVN: r194851
Richard Biener [Thu, 3 Jan 2013 12:34:34 +0000 (12:34 +0000)]
re PR tree-optimization/55857 (ICE: verify_ssa failed)
2013-01-03 Richard Biener <rguenther@suse.de>
PR tree-optimization/55857
* tree-vect-stmts.c (vectorizable_load): Do not setup
re-alignment for invariant loads.
* gcc.dg/vect/pr55857-1.c: New testcase.
* gcc.dg/vect/pr55857-2.c: Likewise.
From-SVN: r194850
Arnaud Charlet [Thu, 3 Jan 2013 11:12:15 +0000 (12:12 +0100)]
[multiple changes]
2013-01-03 Thomas Quinot <quinot@adacore.com>
* gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that
a record extension has the same scalar storage order as the parent type.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Add comment.
2013-01-03 Vincent Celier <celier@adacore.com>
* prj.adb: Minor spelling error correction in comment.
2013-01-03 Vincent Celier <celier@adacore.com>
* gnatcmd.adb (GNATCmd): If a single main has been specified
as an absolute path, use its simple file name to find specific
switches, instead of the absolute path.
2013-01-03 Javier Miranda <miranda@adacore.com>
* sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping
parameters that are record types or array types generate warnings
only compiling under -gnatw.i
* opt.ads (Extensions_Allowed): Restore previous documentation.
2013-01-03 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Do_Autoconf): If Target is specified in the
main project, but not on the command line, use the Target in
the project to invoke gprconfig in auto-configuration.
* makeutl.ads (Default_Config_Name): New constant String.
2013-01-03 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Minor: fix typo in usage.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Record_Representation_Clause): Reject
an illegal component clause for an inherited component in a
record extension.
From-SVN: r194849
Arnaud Charlet [Thu, 3 Jan 2013 11:05:20 +0000 (12:05 +0100)]
[multiple changes]
2013-01-03 Emmanuel Briot <briot@adacore.com>
* xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
have information in the ALI file for both the index and the component
types.
2013-01-03 Emmanuel Briot <briot@adacore.com>
* projects.texi: Fix error in documenting the project path
computed for an aggregate project.
2013-01-03 Javier Miranda <miranda@adacore.com>
* sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
plus restricting the functionality of this routine to cover the
cases described in the Ada 2012 reference manual. The previous
extended support is now available under -gnatX.
* s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
variable to call Timed_Sleep. Required to avoid warning on
overlapping out-mode actuals.
* opt.ads (Extensions_Allowed): Update documentation.
2013-01-03 Tristan Gingold <gingold@adacore.com>
* s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
* arit64.c: Removed
* gcc-interface/Makefile.in: Remove reference to arit64.c.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
be generated at the start of the freeze actions for the entity, not
before (or after) the freeze node.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
Reorganize code to capture initialization statements in a block,
so that freeze nodes are excluded from the captured block.
From-SVN: r194848
Arnaud Charlet [Thu, 3 Jan 2013 10:58:47 +0000 (11:58 +0100)]
[multiple changes]
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_ch11.adb: Minor reformatting.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
sem_ch13.adb (Einfo.Initialization_Statements,
Einfo.Set_Initialization_Statements): New entity attribute
for objects.
(Exp_Util.Find_Init_Call): Handle case of an object initialized
by an aggregate converted to a block of assignment statements.
(Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
even for objects that require a constant address, because the
address expression might involve entities that have yet to be
elaborated at the point of the object declaration.
(Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
not require a transient scope, capture the assignment statements
in a block so that they can be moved down after elaboration of
an address clause if needed.
(Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
case N_Unchecked_Conversion): Do not replace operand subtype with
its base type as this violates a GIGI invariant if the operand
is an identifier (in which case the etype of the identifier
is expected to be equal to that of the denoted entity).
2013-01-03 Javier Miranda <miranda@adacore.com>
* sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
functionality of this routine to cover cases described in the Ada 2012
reference manual.
2013-01-03 Ed Schonberg <schonberg@adacore.com>
* sem_elab.adb (Set_Elaboration_Constraint): Handle properly
a 'Access attribute reference when the subprogram is called
Initialize.
2013-01-03 Arnaud Charlet <charlet@adacore.com>
* s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
select statement may be called from a controlled (e.g. Initialize)
operation and have abort always deferred.
From-SVN: r194847
Arnaud Charlet [Thu, 3 Jan 2013 10:55:53 +0000 (11:55 +0100)]
[multiple changes]
2013-01-03 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.
2013-01-03 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
internal entities associated with interfaces and add minimum
decoration to the defining entity of the generated wrapper to
allow overriding interface primitives.
* sem_disp.ads (Override_Dispatching_Operation): Addition of a
new formal (Is_Wrapper).
* sem_disp.adb (Override_Dispatching_Operation): When overriding
interface primitives the new formal helps identifying that the
new operation is not fully decorated.
From-SVN: r194846
Arnaud Charlet [Thu, 3 Jan 2013 10:52:31 +0000 (11:52 +0100)]
[multiple changes]
2013-01-03 Thomas Quinot <quinot@adacore.com>
* sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
(Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
update spec accordingly (now also applies to root library units).
(Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
on root library units, not only child units.
(Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
(Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
even for root library units.
(Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
Standard is an expanded name for a root library unit.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_ch3.adb: Minor reformatting.
2013-01-03 Olivier Hainque <hainque@adacore.com>
* tracebak.c: Reinstate changes to support ppc-lynx178.
2013-01-03 Ed Schonberg <schonberg@adacore.com>
* atree.ads: Minor reformatting and documentation enhancement.
From-SVN: r194845
Arnaud Charlet [Thu, 3 Jan 2013 10:48:22 +0000 (11:48 +0100)]
Update comments.
From-SVN: r194844
Ed Schonberg [Thu, 3 Jan 2013 10:24:28 +0000 (10:24 +0000)]
exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide type and a renaming declaration is created for it...
2013-01-03 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): If the object has
a class-wide type and a renaming declaration is created for it,
preserve entity chain, which already contains generated internal
types. This ensures that freezing actions are properly generated
for all objects declared subsequently in the same scope, and
that debugging information is generated for them.
* sem_util.adb, sem_util.ads (we): New debugging routine, to
display entity chain of a given scope.
From-SVN: r194843
Arnaud Charlet [Thu, 3 Jan 2013 10:09:24 +0000 (11:09 +0100)]
[multiple changes]
2013-01-03 Robert Dewar <dewar@adacore.com>
* exp_intr.adb: Minor reformatting.
2013-01-03 Robert Dewar <dewar@adacore.com>
* einfo.adb: Minor reformatting.
2013-01-03 Pascal Obry <obry@adacore.com>
* adaint.c, adaint.h (__gnat_get_module_name): Removed.
(__gnat_is_module_name_supported): Removed.
* s-win32.ads: Add some needed definitions.
* g-trasym.ads: Update comments.
2013-01-03 Robert Dewar <dewar@adacore.com>
* layout.adb (Set_Composite_Alignment): Fix problems of
interactions with Optimize_Alignment set to Space.
2013-01-03 Thomas Quinot <quinot@adacore.com>
* exp_disp.adb: Minor reformatting.
From-SVN: r194842
Jakub Jelinek [Thu, 3 Jan 2013 09:47:48 +0000 (10:47 +0100)]
ChangeLog rotation.
From-SVN: r194840
Richard Biener [Thu, 3 Jan 2013 09:45:18 +0000 (09:45 +0000)]
re PR lto/55848 (internal compiler error: verify_cgraph_node failed (with `-flto' and `-fopenmp'))
2013-01-03 Richard Biener <rguenther@suse.de>
PR lto/55848
* lto-symtab.c (lto_symtab_merge_decls_1): As last resort, always
prefer a built-in decl.
From-SVN: r194839
Jakub Jelinek [Thu, 3 Jan 2013 09:31:20 +0000 (10:31 +0100)]
gcc.c (process_command): Update copyright notice dates.
* gcc.c (process_command): Update copyright notice dates.
* gcov.c (print_version): Likewise.
* gcov-dump.c (print_version): Likewise.
* gfortranspec.c (lang_specific_driver): Update copyright notice
dates.
* jcf-dump.c (version): Update copyright notice dates.
* mf-runtime.c (__mf_usage): Update copyright notice dates.
* gnu/java/rmi/registry/RegistryImpl.java (version): Update
copyright notice dates.
* tools/gnu/classpath/tools/orbd/Main.java (run): Likewise.
* gnu/gcj/convert/Convert.java (version): Update copyright notice
dates.
* gnu/gcj/tools/gcj_dbtool/Main.java (main): Likewise.
From-SVN: r194838
Jakub Jelinek [Thu, 3 Jan 2013 09:05:43 +0000 (10:05 +0100)]
re PR rtl-optimization/55838 (ICE in extract_insn (unrecognizable insn) with -O -funroll-loops)
PR rtl-optimization/55838
* loop-iv.c (iv_number_of_iterations): Call lowpart_subreg on
iv0.step, iv1.step and step.
* gcc.dg/pr55838.c: New test.
From-SVN: r194837
Jakub Jelinek [Thu, 3 Jan 2013 09:02:41 +0000 (10:02 +0100)]
re PR middle-end/55832 (ICE in fold_convert_loc, at fold-const.c:1967)
PR tree-optimization/55832
* fold-const.c (fold_binary_loc): For ABS_EXPR<x> >= 0 and
ABS_EXPR<x> < 0 folding use constant_boolean_node instead of
integer_{one,zero}_node.
* gcc.c-torture/compile/pr55832.c: New test.
Co-Authored-By: Marc Glisse <marc.glisse@inria.fr>
From-SVN: r194836
Jakub Jelinek [Thu, 3 Jan 2013 08:52:10 +0000 (09:52 +0100)]
re PR debug/54402 (var-tracking does not scale)
PR debug/54402
* params.def (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE): New param.
* var-tracking.c (reverse_op): Don't add reverse ops to
VALUEs that have already
PARAM_VALUE (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE) or longer
locs list.
From-SVN: r194834
Gerald Pfeifer [Thu, 3 Jan 2013 05:04:54 +0000 (05:04 +0000)]
* doc/contrib.texi: Note years as release manager for Mark Mitchell.
From-SVN: r194833
John David Anglin [Thu, 3 Jan 2013 01:36:07 +0000 (01:36 +0000)]
pr55430.c: Define MAP_FAILED if not defined.
* gcc.dg/pr55430.c: Define MAP_FAILED if not defined.
From-SVN: r194832
Teresa Johnson [Thu, 3 Jan 2013 00:56:35 +0000 (00:56 +0000)]
dumpfile.c (dump_loc): Print filename with location.
2013-01-02 Teresa Johnson <tejohnson@google.com>
* dumpfile.c (dump_loc): Print filename with location.
* tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Use
new location_t parameter to emit complete unroll message with
new dump framework.
(canonicalize_loop_induction_variables): Compute loops location
and pass to try_unroll_loop_completely.
* loop-unroll.c (report_unroll_peel): New function.
(peel_loops_completely): Use new dump format with location
for main dumpfile message, and invoke report_unroll_peel on success.
(decide_unrolling_and_peeling): Ditto.
(decide_peel_once_rolling): Remove old dumpfile message subsumed
by report_unroll_peel.
(decide_peel_completely): Ditto.
(decide_unroll_constant_iterations): Ditto.
(decide_unroll_runtime_iterations): Ditto.
(decide_peel_simple): Ditto.
(decide_unroll_stupid): Ditto.
* cfgloop.c (get_loop_location): New function.
* cfgloop.h (get_loop_location): Declare.
testsuite/
* gcc.dg/tree-ssa/loop-1.c: Update expected dump message.
* gcc.dg/tree-ssa/loop-23.c: Ditto.
* gcc.dg/tree-ssa/cunroll-1.c: Ditto.
* gcc.dg/tree-ssa/cunroll-2.c: Ditto.
* gcc.dg/tree-ssa/cunroll-3.c: Ditto.
* gcc.dg/tree-ssa/cunroll-4.c: Ditto.
* gcc.dg/tree-ssa/cunroll-5.c: Ditto.
* gcc.dg/unroll_1.c: Ditto.
* gcc.dg/unroll_2.c: Ditto.
* gcc.dg/unroll_3.c: Ditto.
* gcc.dg/unroll_4.c: Ditto.
From-SVN: r194829
Sriraman Tallam [Thu, 3 Jan 2013 00:42:10 +0000 (00:42 +0000)]
Simple fix to code to remove unnecessary NULL checks.
2013-01-02 Sriraman Tallam <tmsriram@google.com>
* config/i386/i386.c (fold_builtin_cpu): Remove unnecessary checks for
NULL.
From-SVN: r194828
GCC Administrator [Thu, 3 Jan 2013 00:18:46 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194827
John David Anglin [Wed, 2 Jan 2013 21:14:13 +0000 (21:14 +0000)]
re PR middle-end/55198 (libquadmath/math/fmaq.c:233:7: internal compiler error)
PR middle-end/55198
* expr.c (expand_expr_real_1): Don't use bitfield extraction for non
BLKmode objects when EXPAND_MEMORY is specified.
From-SVN: r194822
Jason Merrill [Wed, 2 Jan 2013 20:54:42 +0000 (15:54 -0500)]
re PR c++/54325 (C++11 uniform initialization syntax for argument-less abstract base class constructor fails)
PR c++/54325
* call.c (build_new_method_call_1): Don't use build_value_init for
user-provided default constructors.
From-SVN: r194820
Jerry DeLisle [Wed, 2 Jan 2013 20:29:28 +0000 (20:29 +0000)]
re PR fortran/55818 (Reading a REAL from a file which doesn't end in a new line fails)
2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/55818
* gfortran.dg/eof_4.f90: New test.
From-SVN: r194819
Sriraman Tallam [Wed, 2 Jan 2013 20:23:38 +0000 (20:23 +0000)]
Fix bugs in Function Multiversioning.
2013-01-02 Sriraman Tallam <tmsriram@google.com>
* config/i386/i386.c (ix86_get_function_versions_dispatcher): Fix bug
in loop predicate.
(fold_builtin_cpu): Do not share cpu model decls across statements.
From-SVN: r194818
Jakub Jelinek [Wed, 2 Jan 2013 20:14:53 +0000 (21:14 +0100)]
c-compat.exp (compat-use-alt-compiler): Remove -fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed.
* lib/c-compat.exp (compat-use-alt-compiler): Remove
-fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed.
(compat-use-tst-compiler): Restore TEST_ALWAYS_FLAGS.
(compat_setup_dfp): Initialize compat_alt_caret and
compat_save_TEST_ALWAYS_FLAGS.
From-SVN: r194817
Jason Merrill [Wed, 2 Jan 2013 19:58:07 +0000 (14:58 -0500)]
* decl.c (check_default_argument): Use LOOKUP_IMPLICIT.
From-SVN: r194816
Richard Sandiford [Wed, 2 Jan 2013 19:43:07 +0000 (19:43 +0000)]
tls-reload-1.c: New test.
gcc/testsuite/
* gcc.dg/torture/tls/tls-reload-1.c: New test.
From-SVN: r194815
Jason Merrill [Wed, 2 Jan 2013 19:03:04 +0000 (14:03 -0500)]
re PR c++/55804 (GCC omits required call to constructor)
PR c++/55804
PR c++/55032
PR c++/55245
* tree.c (build_array_type_1): Revert earlier change.
* cp/tree.c (build_cplus_array_type): Copy layout information
to main variant if necessary.
From-SVN: r194811
Jerry DeLisle [Wed, 2 Jan 2013 17:09:09 +0000 (17:09 +0000)]
re PR fortran/55818 (Reading a REAL from a file which doesn't end in a new line fails)
2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/55818
* io/list_read.c (read_real): Do not call hit_eof when EOF can be
treated as a value separator.
(parse_real): Likewise.
(read_logical): Likewise.
(read_character): Likewise.
(read_complex): Likewise.
From-SVN: r194809
Yufeng Zhang [Wed, 2 Jan 2013 15:13:54 +0000 (15:13 +0000)]
aarch64-cores.def: Add entries for "cortex-a53" and "cortex-a57".
gcc/
2013-01-02 Yufeng Zhang <yufeng.zhang@arm.com>
* config/aarch64/aarch64-cores.def: Add entries for "cortex-a53" and
"cortex-a57".
* config/aarch64/aarch64-tune.md: Re-generate.
From-SVN: r194807
Richard Biener [Wed, 2 Jan 2013 14:10:36 +0000 (14:10 +0000)]
tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the...
2013-01-02 Richard Biener <rguenther@suse.de>
* tree-vect-stmts.c (vectorizable_load): When vectorizing an
invariant load do not generate a vector load from the scalar
location.
From-SVN: r194806
Arnaud Charlet [Wed, 2 Jan 2013 11:58:02 +0000 (12:58 +0100)]
Minor reformatting.
From-SVN: r194805
Richard Biener [Wed, 2 Jan 2013 11:57:31 +0000 (11:57 +0000)]
re PR bootstrap/55784 (declaration of C function 'const char* strsignal(int)' conflicts with /usr/include/string.h:112: error: previous declaration)
2013-01-02 Richard Biener <rguenther@suse.de>
PR bootstrap/55784
* configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS.
* configure: Regenerate.
ada/
* gcc-interface/Makefile.in: Add $(GMPINC) to includes.
From-SVN: r194804
Thomas Quinot [Wed, 2 Jan 2013 11:55:20 +0000 (11:55 +0000)]
exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from Tag_Arg early...
2013-01-02 Thomas Quinot <quinot@adacore.com>
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
side effects from Tag_Arg early, doing it too late may cause a
crash due to inconsistent Parent link.
* sem_ch8.adb, einfo.ads: Minor reformatting.
From-SVN: r194803
Arnaud Charlet [Wed, 2 Jan 2013 11:53:18 +0000 (12:53 +0100)]
[multiple changes]
2013-01-02 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Has_Independent_Components): New flag.
* freeze.adb (Size_Known): We do not know the size of a packed
record if it has atomic components, by reference type components,
or independent components.
* sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
flag Has_Independent_Components.
2013-01-02 Yannick Moy <moy@adacore.com>
* opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
* usage.adb (Usage): Update usage message.
2013-01-02 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_is_module_name_supported): New constant.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
array whose component type does not have a completion.
From-SVN: r194802
Richard Sandiford [Wed, 2 Jan 2013 11:43:59 +0000 (11:43 +0000)]
gcc/
* builtins.c (expand_builtin_mathfn, expand_builtin_mathfn_2)
(expand_builtin_mathfn_ternary, expand_builtin_mathfn_3)
(expand_builtin_int_roundingfn_2): Keep the original target around
for the fallback case.
From-SVN: r194801
Richard Sandiford [Wed, 2 Jan 2013 11:43:22 +0000 (11:43 +0000)]
tree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be clear for sign changes.
gcc/
* tree-vrp.c (range_fits_type_p): Require the MSB of the double_int
to be clear for sign changes.
gcc/testsuite/
* gcc.dg/torture/fp-int-convert-2.c: New test.
From-SVN: r194800
Arnaud Charlet [Wed, 2 Jan 2013 11:13:39 +0000 (12:13 +0100)]
[multiple changes]
2013-01-02 Geert Bosch <bosch@adacore.com>
* a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
2013-01-02 Robert Dewar <dewar@adacore.com>
* par_sco.adb: Minor reformatting.
2013-01-02 Javier Miranda <miranda@adacore.com>
* sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
2013-01-02 Olivier Hainque <hainque@adacore.com>
* a-exctra.ads (Get_PC): New function.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch8.adb: Minor reformatting.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch7.adb: Minor reformatting.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Check_Component_Storage_Order): Do not crash on
_Tag component.
From-SVN: r194799
Arnaud Charlet [Wed, 2 Jan 2013 11:06:15 +0000 (12:06 +0100)]
[multiple changes]
2013-01-02 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
On_Target to Atomic_Sync_Default.
2013-01-02 Robert Dewar <dewar@adacore.com>
* sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
comparison of attribute result with constant
* a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
Warnings (Off, "..");
2013-01-02 Yannick Moy <moy@adacore.com>
* sem_prag.ads: Minor correction of comment.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Package_Declaration): The first
declaration in a nested package is dominated by the preceding
declaration in the enclosing scope.
2013-01-02 Pascal Obry <obry@adacore.com>
* adaint.c, adaint.h (__gnat_get_module_name): Return the actual
module containing a given address.
From-SVN: r194798
Arnaud Charlet [Wed, 2 Jan 2013 10:59:38 +0000 (11:59 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb: Minor reformatting.
2013-01-02 Pascal Obry <obry@adacore.com>
* cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
Win64 and default to ftell on other platforms.
(__gnat_fsek64): Likewise.
* i-cstrea.ads: Add fssek64 and ftell64 specs.
* s-crtl.ads: Likewise.
* a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
(Set_Position): Likewise.
From-SVN: r194797
Arnaud Charlet [Wed, 2 Jan 2013 10:51:06 +0000 (11:51 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb: Generate X SCOs for default expressions in
subprogram body stubs. Do not generate any SCO for package,
task, or protected body stubs.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb: Further improvement to ASIS mode for anonymous
access to protected subprograms.
From-SVN: r194796
Robert Dewar [Wed, 2 Jan 2013 10:49:57 +0000 (10:49 +0000)]
par_sco.adb, [...]: Minor reformatting.
2013-01-02 Robert Dewar <dewar@adacore.com>
* par_sco.adb, vms_data.ads: Minor reformatting.
From-SVN: r194795
Arnaud Charlet [Wed, 2 Jan 2013 10:47:02 +0000 (11:47 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statement): Function
form, returning value of Current_Dominant upon exit, for chaining
purposes.
(Traverse_Declarations_Or_Statement.Traverse_One, case
N_Block_Statement): First statement is dominated by last declaration.
(Traverse_Subprogram_Or_Task_Body): Ditto.
(Traverse_Package_Declaration): First private
declaration is dominated by last visible declaration.
(Traverse_Sync_Definition): Ditto.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
matching Bit_Order to record types only, since array types do not
have a Bit_Order.
2013-01-02 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Remove documentation of -gnateO, which is an
internal switch.
* usage.adb: Indicate that -gnateO is an internal switch.
From-SVN: r194794
Thomas Quinot [Wed, 2 Jan 2013 10:45:00 +0000 (10:45 +0000)]
par_sco.adb: Add SCO generation for task types and single task declarations.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb: Add SCO generation for task types and single
task declarations.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* fe.h, gnat1drv.adb: Revert previous change.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* get_scos.adb: When adding an instance table entry for a
non-nested instantiation, make sure the Enclosing_Instance is
correctly set to 0.
From-SVN: r194793
Arnaud Charlet [Wed, 2 Jan 2013 10:38:18 +0000 (11:38 +0100)]
[multiple changes]
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Analyze_Attribute): Skip the special _Parent
scope generated for subprogram inlining purposes while trying
to locate the enclosing function.
* sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
expression of pragma Postcondition when the pragma comes from
source and appears inside a subprogram body.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
information in debug info unconditionally when using -fdump-scos,
instead of relying on a separate command line switch -fdebug-instances.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Additional refinement of predicate.
2013-01-02 Vincent Celier <celier@adacore.com>
* vms_data.ads: Remove incorrect spaces at end of descriptions
of qualifiers for single switch.
2013-01-02 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Minor edits / wordsmithing in section on pragma
Check_Float_Overflow.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sprint.adb (Sprint_Node_Actual): Do not add extra parens for
a conditional expression (CASE or IF expression) that already
has parens. Also omit ELSE keyword for an IF expression without
an ELSE part.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
flag_debug_instances here, after front-end switches have been
processed.
From-SVN: r194792
Arnaud Charlet [Wed, 2 Jan 2013 10:15:44 +0000 (11:15 +0100)]
[multiple changes]
2013-01-02 Vincent Celier <celier@adacore.com>
* usage.adb: Minor reformatting.
2013-01-02 Arnaud Charlet <charlet@adacore.com>
* opt.ads: Fix typo.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb: Generate P decision SCOs for SPARK pragmas
Assume and Loop_Invariant.
From-SVN: r194791
Robert Dewar [Wed, 2 Jan 2013 10:14:19 +0000 (10:14 +0000)]
vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
2013-01-02 Robert Dewar <dewar@adacore.com>
* vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
* ug_words: Add entry for Float_Check_Overflow.
* usage.adb: Minor reformatting.
* gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
From-SVN: r194790
Vincent Celier [Wed, 2 Jan 2013 10:12:16 +0000 (10:12 +0000)]
gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, -gnatet and -gnateV.
2013-01-02 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
-gnateO=, -gnatet and -gnateV.
* ug_words: Add qualifiers equivalent to -gnateA, -gnated,
-gnatet and -gnateV.
* usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
* vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
(-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
/PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
(-gnatet).
From-SVN: r194789
Robert Dewar [Wed, 2 Jan 2013 10:04:26 +0000 (10:04 +0000)]
checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
2013-01-02 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
* opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
* par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
* sem_prag.adb: Implement pragma Check_Float_Overflow.
* snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
* switch-c.adb: Recognize -gnateF switch.
* tree_io.ads: Update ASIS version number.
* gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
From-SVN: r194788
Arnaud Charlet [Wed, 2 Jan 2013 09:56:53 +0000 (10:56 +0100)]
[multiple changes]
2013-01-02 Robert Dewar <dewar@adacore.com>
* checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
* sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
2013-01-02 Robert Dewar <dewar@adacore.com>
* err_vars.ads: Minor comment fix.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Refine predicate.
From-SVN: r194787
Arnaud Charlet [Wed, 2 Jan 2013 09:51:35 +0000 (10:51 +0100)]
[multiple changes]
2013-01-02 Robert Dewar <dewar@adacore.com>
* errout.ads: Minor comment fixes.
* opt.ads: Minor comment additions.
* exp_aggr.adb: Add tags to warning messages
* exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
sem_warn.adb: Add tags to warning messages
2013-01-02 Doug Rupp <rupp@adacore.com>
* init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Recover source name for renamed packagea.
From-SVN: r194786
Robert Dewar [Wed, 2 Jan 2013 09:48:32 +0000 (09:48 +0000)]
errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if insertion sequence is at end of message...
2013-01-02 Robert Dewar <dewar@adacore.com>
* errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
tests to fail if insertion sequence is at end of message string.
* opt.ads: Minor comment fixes and additions.
* sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
* sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
tags. Add tags to warning messages.
From-SVN: r194785
Arnaud Charlet [Wed, 2 Jan 2013 09:46:07 +0000 (10:46 +0100)]
[multiple changes]
2013-01-02 Robert Dewar <dewar@adacore.com>
* err_vars.ads (Warning_Doc_Switch): New flag.
* errout.adb (Error_Msg_Internal): Implement new warning flag
doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
* errout.ads: Document new insertion sequences ?? ?x? ?.x?
* erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
tag stuff.
* erroutc.ads (Warning_Msg_Char): New variable.
(Warn_Chr): New field in error message object.
* errutil.adb (Error_Msg): Set Warn_Chr in error message object.
* sem_ch13.adb: Minor reformatting.
* warnsw.adb: Add handling for -gnatw.d and -gnatw.D
(Warning_Doc_Switch).
* warnsw.ads: Add handling of -gnatw.d/.D switches (warning
doc tag).
2013-01-02 Robert Dewar <dewar@adacore.com>
* opt.ads: Minor reformatting.
2013-01-02 Doug Rupp <rupp@adacore.com>
* init.c: Reorganize VMS section.
(scan_condtions): New function for scanning condition tables.
(__gnat_handle_vms_condtion): Use actual exception name for imported
exceptions vice IMPORTED_EXCEPTION.
Move condition table scanning into separate function. Move formerly
special handled conditions to system condition table. Use SYS$PUTMSG
output to fill exception message field for formally special handled
condtions, in particular HPARITH to provide more clues about cause and
location then raised from the translated image.
From-SVN: r194784
Thomas Quinot [Wed, 2 Jan 2013 09:39:36 +0000 (09:39 +0000)]
sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post aspect that applies to a library subprogram...
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
aspect that applies to a library subprogram, prepend corresponding
pragma to the Pragmas_After list, in order for split AND THEN
sections to be processed in the expected order.
From-SVN: r194783
Arnaud Charlet [Wed, 2 Jan 2013 09:38:07 +0000 (10:38 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): The statements generated
for the pragma must have the sloc of the pragma, not the
sloc of the condition, otherwise this creates anomalies in the
generated debug information that confuse coverage analysis tools.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb: Minor reformatting.
2013-01-02 Arnaud Charlet <charlet@adacore.com>
* g-excact.ads (Core_Dump): Clarify that this subprogram does
not dump cores under Windows.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
view of a subprogram has convention Intrnnsic, and a renaming
of a prefixed view cannot be the prefix of an Access attribute.
2013-01-02 Robert Dewar <dewar@adacore.com>
* restrict.adb: Minor reformatting.
From-SVN: r194782
Arnaud Charlet [Wed, 2 Jan 2013 09:34:50 +0000 (10:34 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* exp_prag.adb: Minor reformatting.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Get_Associated_Node): If the node is an
identifier that denotes an unconstrained array in an object
declaration, it is rewritten as the name of an anonymous
subtype whose bounds are given by the initial expression in the
declaration. When checking whether that identifier is global
reference, use the original node, not the local generated subtype.
2013-01-02 Olivier Hainque <hainque@adacore.com>
* tracebak.c: Revert previous change, incomplete.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
appears on a subprogram body that acts as a spec, place the
corresponding pragma in the declarations of the body, so that
e.g. pre/postcondition checks can be generated appropriately.
2013-01-02 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb: Minor reformatting and code reorganization.
From-SVN: r194781
Arnaud Charlet [Wed, 2 Jan 2013 09:31:07 +0000 (10:31 +0100)]
[multiple changes]
2013-01-02 Vincent Celier <celier@adacore.com>
* switch-m.adb (Normalize_Compiler_Switches): Record the
complete switch -fstack-check=specific instead of its shorter
alias -fstack-check.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
if the derived type is a tagged generic formal type with
unknown discriminants, the inherited operation has convention
Intrinsic. As such, the 'Access attribute cannot be applied to it.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_attr.adb: Minor reformatting.
From-SVN: r194780
Arnaud Charlet [Wed, 2 Jan 2013 09:27:55 +0000 (10:27 +0100)]
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb: Add SCO generation for S of protected types and
single protected object declarations.
2013-01-02 Robert Dewar <dewar@adacore.com>
* sem_eval.adb, osint.ads: Minor reformatting.
From-SVN: r194779
Arnaud Charlet [Wed, 2 Jan 2013 09:26:54 +0000 (10:26 +0100)]
[multiple changes]
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb (Compile_Time_Compare): For static operands, we
can perform a compile time comparison even if in preanalysis mode.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (SCO_Record): Always use
Traverse_Declarations_Or_Statements to process the library level
declaration, so that SCOs are properly generated for its aspects.
From-SVN: r194778
Thomas Quinot [Wed, 2 Jan 2013 09:24:58 +0000 (09:24 +0000)]
scos.ads (In_Decision): Add missing entry for 'a'.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* scos.ads (In_Decision): Add missing entry for 'a'.
* sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
* sem_ch13.adb: Minor comment update.
From-SVN: r194777
Maxim Kuvyrkov [Wed, 2 Jan 2013 03:52:49 +0000 (03:52 +0000)]
* MAINTAINERS: Update my email.
From-SVN: r194776
Jerry DeLisle [Wed, 2 Jan 2013 03:46:44 +0000 (03:46 +0000)]
newunit_3.f90: Add dg-do run.
2013-01-01 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* gfortran.dg/newunit_3.f90: Add dg-do run.
* gfortran.dg/inquire_15.f90: Add dg-do run.
From-SVN: r194775
David Edelsohn [Wed, 2 Jan 2013 02:04:42 +0000 (02:04 +0000)]
simple-object-xcoff.c: New file.
* simple-object-xcoff.c: New file.
* Makefile.in: Add it to build machinery.
* simple-object-common.h (simple_object_xcoff_functions): Declare.
* simple-object.c (format_functions): Add
simple_object_xcoff_functions.
From-SVN: r194774
GCC Administrator [Wed, 2 Jan 2013 00:18:41 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194773
Ian Lance Taylor [Tue, 1 Jan 2013 16:23:03 +0000 (16:23 +0000)]
re PR bootstrap/54834 (bootstrap fails when building libbacktrace)
PR bootstrap/54834
* Makefile.am (AM_CPPFLAGS): Remove -I ../gcc/include and -I
$(MULTIBUILDTOP)/../../gcc/include.
* Makefile.in: Rebuild.
From-SVN: r194770
Jan Hubicka [Tue, 1 Jan 2013 16:22:10 +0000 (17:22 +0100)]
* ipa-inline-analysis.c: Fix formatting.
From-SVN: r194769
Ian Lance Taylor [Tue, 1 Jan 2013 16:13:20 +0000 (16:13 +0000)]
re PR other/55536 (libbacktrace abort in backtrace_alloc at mmap.c:99 running btest)
PR other/55536
* mmap.c (backtrace_alloc): Don't call sync functions if not
threaded.
(backtrace_free): Likewise.
From-SVN: r194768
GCC Administrator [Tue, 1 Jan 2013 00:18:12 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194767
Jakub Jelinek [Mon, 31 Dec 2012 23:50:00 +0000 (00:50 +0100)]
re PR tree-optimization/55831 (ICE: verify_flow_info failed)
PR tree-optimization/55831
* tree-vect-loop.c (get_initial_def_for_induction): Use
gsi_after_labels instead of gsi_start_bb.
* gcc.dg/pr55831.c: New test.
From-SVN: r194764
Uros Bizjak [Mon, 31 Dec 2012 12:19:42 +0000 (13:19 +0100)]
devirt-9.C: Cleanup inline ipa dump.
* g++.dg/ipa/devirt-9.C: Cleanup inline ipa dump.
From-SVN: r194763
Uros Bizjak [Mon, 31 Dec 2012 12:09:52 +0000 (13:09 +0100)]
builtin_target.c (vendor_signatures): Remove.
* gcc.target/i386/builtin_target.c (vendor_signatures): Remove.
(check_detailed): Use signature_INTEL_ebx and signature_AMD_ebx
to check vendor signature.
From-SVN: r194762
GCC Administrator [Mon, 31 Dec 2012 00:18:19 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194760
GCC Administrator [Sun, 30 Dec 2012 00:18:33 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194756
Eric Botcazou [Sat, 29 Dec 2012 17:41:26 +0000 (17:41 +0000)]
Remove superfluous blank lines
From-SVN: r194753
Andreas Schwab [Sat, 29 Dec 2012 16:25:27 +0000 (16:25 +0000)]
* Makefile.am (ACLOCAL_AMFLAGS, TEXINFO_TEX, MAKEINFOFLAGS)
(STAMP_GENINSRC, STAMP_BUILD_INFO, CLEANFILES)
(MAINTAINERCLEANFILES): Define.
(all-local, stamp-geninsrc, stamp-build-info): New targets.
(doc/libffi.info): Depend on $(STAMP_BUILD_INFO)
* configure.ac: Check for modern makeinfo. Add support for
--enable-generated-files-in-srcdir.
* libffi/mdate-sh: New file.
* testsuite/lib/libffi.exp (load_gcc_lib): Load from gcc testsuite
lib dir.
(libffi-init): Properly set library paths for multilibs and add
path to libstdc++.
* configure: Regenerate.
* aclocal.m4: Regenerate.
* Makefile.in: Regenerate.
* doc/stamp-vti: Regenerate.
* doc/version.texi: Regenerate.
* fficonfig.h.in: Regenerate.
* include/Makefile.in: Regenerate.
* man/Makefile.in: Regenerate.
* testsuite/Makefile.in: Regenerate.
From-SVN: r194752
Ben Elliston [Sat, 29 Dec 2012 08:22:45 +0000 (19:22 +1100)]
config.guess: Update to 2012-12-29 version.
* config.guess: Update to 2012-12-29 version.
* config.sub: Likewise.
From-SVN: r194751
GCC Administrator [Sat, 29 Dec 2012 00:18:21 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194749
Kai Tietz [Fri, 28 Dec 2012 21:49:59 +0000 (22:49 +0100)]
rtti.c (LONGPTR_T): New helper-macro.
* rtti.c (LONGPTR_T): New helper-macro.
(get_pseudo_ti_init): Initialize offset_type by LONGPTR_T
type instead of 'long' type.
(create_tinfo_types): Use for offset/flags field LONGPTR_T
type instead of 'long' type.
From-SVN: r194745
Janus Weil [Fri, 28 Dec 2012 15:14:45 +0000 (16:14 +0100)]
re PR fortran/55692 (ICE on incorrect use of ASSOCIATED function)
2012-12-28 Janus Weil <janus@gcc.gnu.org>
PR fortran/55692
* check.c (gfc_check_associated): Remove a "gcc_assert (0)".
2012-12-28 Janus Weil <janus@gcc.gnu.org>
PR fortran/55692
* gfortran.dg/associated_7.f90: New.
From-SVN: r194744
Tobias Burnus [Fri, 28 Dec 2012 11:22:14 +0000 (12:22 +0100)]
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)
2012-12-28 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* check.c (gfc_check_move_alloc): Handle unlimited polymorphic.
* trans-intrinsic.c (conv_intrinsic_move_alloc): Ditto.
2012-12-28 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* gfortran.dg/unlimited_polymorphic_5.f90
From-SVN: r194743
GCC Administrator [Fri, 28 Dec 2012 00:18:00 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194742
Jerry DeLisle [Thu, 27 Dec 2012 20:13:35 +0000 (20:13 +0000)]
re PR libfortran/48960 (OPEN statement modifies NEWUNIT variable on error)
2012-12-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/48960
* gfortran.dg/newunit_3.f90: New.
From-SVN: r194738
Jerry DeLisle [Thu, 27 Dec 2012 19:24:44 +0000 (19:24 +0000)]
re PR fortran/48976 (INQUIRE with STREAM= not supported)
2012-12-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/48976
* gfortran.dg/inquire_15.f90: New.
From-SVN: r194736
Jerry DeLisle [Thu, 27 Dec 2012 18:09:13 +0000 (18:09 +0000)]
re PR fortran/48976 (INQUIRE with STREAM= not supported)
2012-12-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/48976
* gfortran.h (gfc_inquire struct): Add pointer for inquire stream.
* io.c (io_tag): Add tag for inquire stream. (match_inquire_element):
Add matcher for new tag. (gfc_resolve_inquire): Resolve new tag.
* ioparm.def: Add new parameter for inquire stream.
* trans-io.c (gfc_trans_inquire): Add tranlste code for inquire
stream.
From-SVN: r194734
Jerry DeLisle [Thu, 27 Dec 2012 18:07:33 +0000 (18:07 +0000)]
re PR fortran/48976 (INQUIRE with STREAM= not supported)
2012-12-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/48976
* io/inquire.c (inquire_via_unit): Set user stream inquiry variable to
appropriate value based on unit access method. (inquire_via_filename):
Since filename is not associated with an open unit, set stream inquiry
to UNKNOWN.
* io/io.h: Define inquire stream parameters.
From-SVN: r194733
David Edelsohn [Thu, 27 Dec 2012 17:53:17 +0000 (17:53 +0000)]
rs6000.c (rs6000_deligitimze_address): Do not delegitimize TLS addresses on AIX.
* config/rs6000/rs6000.c (rs6000_deligitimze_address): Do not
delegitimize TLS addresses on AIX.
(rs6000_legitimize_tls_address_aix): Append TLS symbol qualifier.
Set SYMBOL_FLAG_LOCAL on module symbol.
(output_toc): Do not append TLS symbol qualifier here.
* config/rs6000/rs6000.md (tls_get_addr_internal): Add GPR 4 to
clobbers.
From-SVN: r194732
Andreas Schwab [Thu, 27 Dec 2012 10:04:51 +0000 (10:04 +0000)]
* target.def (supports_function_versions): Fix typo.
From-SVN: r194731
Sriraman Tallam [Thu, 27 Dec 2012 01:58:06 +0000 (01:58 +0000)]
Before this patch...
Before this patch, function multiversioning determines that two functions
are different by comparing the arch type and isa flags that are set
after the target string is processed. This leads to cases where the
versions become identical when the command-line target options are
altered.
This patch modifies the function version determination to
just compare the target string.
2012-12-27 Sriraman Tallam <tmsriram@google.com>
* doc/tm.texi.in (TARGET_OPTION_SUPPORTS_FUNCTION_VERSIONS): Document
new target hook.
* doc/tm.texi: Regenerate.
* c-family/c-common.c (handle_target_attribute): Retain target attribute
for targets that support versioning.
* target.def (supports_function_versions): New hook.
* cp/class.c (add_method): Remove calls
to DECL_FUNCTION_SPECIFIC_TARGET.
* config/i386/i386.c (ix86_function_versions): Use target string
to check for function versions instead of target flags.
* (ix86_supports_function_versions): New function.
* (is_function_default_version): Check target string.
* TARGET_OPTION_SUPPORTS_FUNCTION_VERSIONS: New macro.
2012-12-27 Sriraman Tallam <tmsriram@google.com>
* testsuite/g++.dg/mv1.C: Remove target options.
* testsuite/g++.dg/mv2.C: Ditto.
* testsuite/g++.dg/mv3.C: Ditto.
* testsuite/g++.dg/mv4.C: Ditto.
* testsuite/g++.dg/mv5.C: Ditto.
From-SVN: r194730
GCC Administrator [Thu, 27 Dec 2012 00:18:22 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194729
Steven Bosscher [Thu, 27 Dec 2012 00:10:14 +0000 (00:10 +0000)]
* cgraph.c (verify_cgraph_node): Don't allocate/free visited_nodes set.
From-SVN: r194726
Jerry DeLisle [Wed, 26 Dec 2012 18:11:42 +0000 (18:11 +0000)]
re PR libfortran/48960 (OPEN statement modifies NEWUNIT variable on error)
2012-12-26 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libfortran/48960
* io/open.c (st_parameter_open): Assign newunit number to user
variable only if the the associated open statement is successful.
From-SVN: r194724
Anthony Green [Wed, 26 Dec 2012 16:28:02 +0000 (16:28 +0000)]
libffi merge
From-SVN: r194722
GCC Administrator [Wed, 26 Dec 2012 00:18:54 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194721
Janne Blomqvist [Tue, 25 Dec 2012 22:11:16 +0000 (00:11 +0200)]
PR fortran/55539 Fix regression in -fno-sign-zero.
libgfortran ChangeLog:
2012-12-26 Janne Blomqvist <jb@gcc.gnu.org>
PR fortran/55539
* io/write_float.def (output_float): Take into account decimal dot.
testsuite ChangeLog:
2012-12-26 Janne Blomqvist <jb@gcc.gnu.org>
PR fortran/55539
* gfortran.dg/nosigned_zero_3.f90: New testcase.
From-SVN: r194717
John David Anglin [Tue, 25 Dec 2012 17:57:35 +0000 (17:57 +0000)]
re PR target/53789 (ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc)
PR target/53789
* config/pa/pa.md (movsi): Reject expansion of TLS symbol references
after reload starts.
From-SVN: r194714
GCC Administrator [Tue, 25 Dec 2012 00:18:43 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194712