gcc.git
11 years agotree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be clear for...
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years agopar_sco.adb, [...]: Minor reformatting.
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

11 years ago[multiple changes]
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

11 years agopar_sco.adb: Add SCO generation for task types and single task declarations.
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years agovms_data.ads: Add entry for Float_Check_Valid (-gnateF).
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

11 years agognat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, -gnatet...
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

11 years agochecks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years agoerrout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if inserti...
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

11 years ago[multiple changes]
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

11 years agosem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post aspect that applies...
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years ago[multiple changes]
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

11 years agoscos.ads (In_Decision): Add missing entry for 'a'.
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

11 years ago* MAINTAINERS: Update my email.
Maxim Kuvyrkov [Wed, 2 Jan 2013 03:52:49 +0000 (03:52 +0000)]
* MAINTAINERS: Update my email.

From-SVN: r194776

11 years agonewunit_3.f90: Add dg-do run.
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

11 years agosimple-object-xcoff.c: New file.
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

11 years agoDaily bump.
GCC Administrator [Wed, 2 Jan 2013 00:18:41 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194773

11 years agore PR bootstrap/54834 (bootstrap fails when building libbacktrace)
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

11 years ago* ipa-inline-analysis.c: Fix formatting.
Jan Hubicka [Tue, 1 Jan 2013 16:22:10 +0000 (17:22 +0100)]
* ipa-inline-analysis.c: Fix formatting.

From-SVN: r194769

11 years agore PR other/55536 (libbacktrace abort in backtrace_alloc at mmap.c:99 running btest)
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

11 years agoDaily bump.
GCC Administrator [Tue, 1 Jan 2013 00:18:12 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194767

11 years agore PR tree-optimization/55831 (ICE: verify_flow_info failed)
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

11 years agodevirt-9.C: Cleanup inline ipa dump.
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

11 years agobuiltin_target.c (vendor_signatures): Remove.
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

11 years agoDaily bump.
GCC Administrator [Mon, 31 Dec 2012 00:18:19 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194760

11 years agoDaily bump.
GCC Administrator [Sun, 30 Dec 2012 00:18:33 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194756

11 years agoRemove superfluous blank lines
Eric Botcazou [Sat, 29 Dec 2012 17:41:26 +0000 (17:41 +0000)]
Remove superfluous blank lines

From-SVN: r194753

11 years ago* Makefile.am (ACLOCAL_AMFLAGS, TEXINFO_TEX, MAKEINFOFLAGS)
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

11 years agoconfig.guess: Update to 2012-12-29 version.
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

11 years agoDaily bump.
GCC Administrator [Sat, 29 Dec 2012 00:18:21 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194749

11 years agortti.c (LONGPTR_T): New helper-macro.
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

11 years agore PR fortran/55692 (ICE on incorrect use of ASSOCIATED function)
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

11 years agore PR fortran/55763 (Issues with some simpler CLASS(*) programs)
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

11 years agoDaily bump.
GCC Administrator [Fri, 28 Dec 2012 00:18:00 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194742

11 years agore PR libfortran/48960 (OPEN statement modifies NEWUNIT variable on error)
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

11 years agore PR fortran/48976 (INQUIRE with STREAM= not supported)
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

11 years agore PR fortran/48976 (INQUIRE with STREAM= not supported)
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

11 years agore PR fortran/48976 (INQUIRE with STREAM= not supported)
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

11 years agors6000.c (rs6000_deligitimze_address): Do not delegitimize TLS addresses on AIX.
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

11 years ago* target.def (supports_function_versions): Fix typo.
Andreas Schwab [Thu, 27 Dec 2012 10:04:51 +0000 (10:04 +0000)]
* target.def (supports_function_versions): Fix typo.

From-SVN: r194731

11 years agoBefore this patch...
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

11 years agoDaily bump.
GCC Administrator [Thu, 27 Dec 2012 00:18:22 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194729

11 years ago* cgraph.c (verify_cgraph_node): Don't allocate/free visited_nodes set.
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

11 years agore PR libfortran/48960 (OPEN statement modifies NEWUNIT variable on error)
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

11 years agolibffi merge
Anthony Green [Wed, 26 Dec 2012 16:28:02 +0000 (16:28 +0000)]
libffi merge

From-SVN: r194722

11 years agoDaily bump.
GCC Administrator [Wed, 26 Dec 2012 00:18:54 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194721

11 years agoPR fortran/55539 Fix regression in -fno-sign-zero.
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

11 years agore PR target/53789 (ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU...
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

11 years agoDaily bump.
GCC Administrator [Tue, 25 Dec 2012 00:18:43 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194712

11 years agoDaily bump.
GCC Administrator [Mon, 24 Dec 2012 00:18:32 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194709

11 years agore PR fortran/54884 (Externally used PRIVATE module procedure wrongly marked as TREE_...
Tobias Burnus [Sun, 23 Dec 2012 18:43:32 +0000 (19:43 +0100)]
re PR fortran/54884 (Externally used PRIVATE module procedure wrongly marked as TREE_PUBLIC()=0)

2012-12-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54884
        * module.c (write_symbol1_recursion): Set attr.public_use.
        * interface.c (check_sym_interfaces, check_uop_interfaces,
        gfc_check_interfaces): Remove attr.public_use code.
        * resolve.c (resolve_function, resolve_variable,
        resolve_typebound_procedure): Ditto.

2012-12-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54884
        * gfortran.dg/public_private_module_8.f90: New.

From-SVN: r194706

11 years agor10k-cache-barrier-10.c: Make a branch-likely instruction more likely.
Richard Sandiford [Sun, 23 Dec 2012 10:01:40 +0000 (10:01 +0000)]
r10k-cache-barrier-10.c: Make a branch-likely instruction more likely.

gcc/testsuite/
* gcc.target/mips/r10k-cache-barrier-10.c: Make a branch-likely
instruction more likely.

From-SVN: r194705

11 years agopr55315.c: Cast to long rather than int.
Richard Sandiford [Sun, 23 Dec 2012 09:47:31 +0000 (09:47 +0000)]
pr55315.c: Cast to long rather than int.

gcc/testsuite/
* gcc.target/mips/pr55315.c: Cast to long rather than int.

From-SVN: r194704

11 years agoDaily bump.
GCC Administrator [Sun, 23 Dec 2012 00:18:18 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194703

11 years agore PR lto/54728 (ICE in input_gimple_stmt, at gimple-streamer-in.c:254)
Jan Hubicka [Sat, 22 Dec 2012 23:27:49 +0000 (00:27 +0100)]
re PR lto/54728 (ICE in input_gimple_stmt, at gimple-streamer-in.c:254)

PR lto/54728
* cgraph.h (symtab_real_symbol_p): Drop code looking for external functions.
* lto-streamer-out.c (output_symbol_p): New function.
(produce_symtab) Use it.

From-SVN: r194700

11 years agore PR fortran/55763 (Issues with some simpler CLASS(*) programs)
Tobias Burnus [Sat, 22 Dec 2012 17:27:03 +0000 (18:27 +0100)]
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)

2012-12-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * module.c (mio_component): Don't skip _hash's initializer.
        * resolve.c (resolve_select_type): Add an assert.
        * trans-expr.c (gfc_conv_procedure_call): Handle
        INTENT(OUT) for UNLIMIT_POLY.

2012-12-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55763
        * gfortran.dg/unlimited_polymorphic_6.f90: New.

From-SVN: r194696

11 years agolibgo: Update to revision 15193:6fdc1974457c of master library.
Ian Lance Taylor [Sat, 22 Dec 2012 01:15:33 +0000 (01:15 +0000)]
libgo: Update to revision 15193:6fdc1974457c of master library.

From-SVN: r194692

11 years agoDaily bump.
GCC Administrator [Sat, 22 Dec 2012 00:18:52 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194691

11 years agore PR ada/53737 (Assert_Failure on a generic package with a package as parameter)
Ed Schonberg [Fri, 21 Dec 2012 22:31:42 +0000 (22:31 +0000)]
re PR ada/53737 (Assert_Failure on a generic package with a package as parameter)

PR ada/53737
* sem_ch12.adb (Analyze_Associations): Do not check the legality of
actuals for RACW types if this is an internal instantiation for a formal
package with defaulted parameters.

From-SVN: r194687

11 years agocompiler: Error if name defined in both package and file blocks.
Ian Lance Taylor [Fri, 21 Dec 2012 22:23:23 +0000 (22:23 +0000)]
compiler: Error if name defined in both package and file blocks.

From-SVN: r194685

11 years agoFix copyright notices.
Eric Botcazou [Fri, 21 Dec 2012 22:13:34 +0000 (22:13 +0000)]
Fix copyright notices.

From-SVN: r194683

11 years agore PR tree-optimization/55355 (internal compiler error: in tree_low_cst, at tree...
Martin Jambor [Fri, 21 Dec 2012 22:06:38 +0000 (23:06 +0100)]
re PR tree-optimization/55355 (internal compiler error: in tree_low_cst, at tree.c:6415)

2012-12-21  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/55355
* tree-sra.c (type_internals_preclude_sra_p): Also check that
bit_position is small enough to fit a single HOST_WIDE_INT.

* testsuite/g++.dg/torture/pr55355.C: New test.

From-SVN: r194682

11 years agortlanal.c (volatile_insn_p): Delete commented out code.
Eric Botcazou [Fri, 21 Dec 2012 21:38:11 +0000 (21:38 +0000)]
rtlanal.c (volatile_insn_p): Delete commented out code.

* rtlanal.c (volatile_insn_p): Delete commented out code.
(side_effects_p): Likewise.
(may_trap_p_1) <UNSPEC_VOLATILE>: Return 1 again.
* target.def (unspec_may_trap_p): Adjust comment.
* targhooks.c (default_unspec_may_trap_p): Don't handle UNSPEC_VOLATILE.
* config/ia64/ia64.c (ia64_unspec_may_trap_p): Adjust to above change.

From-SVN: r194681

11 years agore PR inline-asm/55775 (ICE when building pari)
Vladimir Makarov [Fri, 21 Dec 2012 21:20:48 +0000 (21:20 +0000)]
re PR inline-asm/55775 (ICE when building pari)

2012-12-21  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/55775
* lra-assigns.c (improve_inheritance): Do nothing after
LRA_MAX_INHERITANCE_PASSES pass.
* lra-constraints.c (MAX_CONSTRAINT_ITERATION_NUMBER): Rename to
LRA_MAX_CONSTRAINT_ITERATION_NUMBER.  Move to lra-int.h.
(MAX_INHERITANCE_PASSES): Rename to LRA_MAX_INHERITANCE_PASSES.
Move to lra-int.h.
* lra-int.h (LRA_MAX_CONSTRAINT_ITERATION_NUMBER): Move from
lra-constraints.c.
(LRA_MAX_INHERITANCE_PASSES): Ditto.

2012-12-21  Vladimir Makarov  <vmakarov@redhat.com>

PR middle-end/55775
* gcc.target/i386/pr55775.c: New test.

From-SVN: r194680

11 years agore PR libfortran/30162 (Document when sequential I/O with named pipes works)
Thomas Koenig [Fri, 21 Dec 2012 20:50:48 +0000 (20:50 +0000)]
re PR libfortran/30162 (Document when sequential I/O with named pipes works)

2012-12-21  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/30162
* io/unix.c (raw_tell):  If the lseek is done on a
non-seekable file, return 0.

From-SVN: r194679

11 years agore PR bootstrap/54128 (GCC does not bootstrap on little endian mips due to mis-compar...
Steve Ellcey [Fri, 21 Dec 2012 18:54:00 +0000 (18:54 +0000)]
re PR bootstrap/54128 (GCC does not bootstrap on little endian mips due to mis-compare on tree-data-ref.c)

2012-12-21  Steve Ellcey  <sellcey@mips.com>

PR bootstrap/54128
* ira.c (build_insn_chain): Check only NONDEBUG instructions for
register usage.

From-SVN: r194676

11 years agovarasm.c (bss_initializer_p): Remove static.
David Edelsohn [Fri, 21 Dec 2012 17:25:57 +0000 (17:25 +0000)]
varasm.c (bss_initializer_p): Remove static.

        * varasm.c (bss_initializer_p): Remove static.
        * output.h (bss_initializer_p): Declare.
        * xcoffout.c (xcoff_tbss_section_name): Define.
        * xcoffout.h (xcoff_tbss_section_name): Declare.
        * config/rs6000/xcoff.h (TARGET_ENCODE_SECTION_INFO): Define.
        (ASM_OUTPUT_TLS_COMMON): Merge strings.
        * config/rs6000/rs6000.c (tls_private_data_section): New.
        (output_toc): Only output CSECT decoration for TLS.
        Output appropriate CSECT for data or bss.
        (rs6000_xcoff_asm_init_sections) Define tls_private_data_section.
        (rs6000_xcoff_select_section): Handle TLS bss and private data.
        (rs6000_xcoff_file_start): Generate xcoff_tbss_section_name.
        (rs6000_xcoff_encode_section_info): Strip SYMBOL_FLAG_HAS_BLOCK_INFO
        from native TLS symbols.

From-SVN: r194675

11 years ago* c-c++-common/pr43942.c: Remove XFAIL for AIX.
David Edelsohn [Fri, 21 Dec 2012 16:30:24 +0000 (16:30 +0000)]
* c-c++-common/pr43942.c: Remove XFAIL for AIX.

From-SVN: r194672

11 years ago* gcc.c-torture/compile/pr44707.c: Do not try to assemble on AIX.
David Edelsohn [Fri, 21 Dec 2012 16:25:55 +0000 (16:25 +0000)]
* gcc.c-torture/compile/pr44707.c: Do not try to assemble on AIX.

From-SVN: r194671

11 years agotarget-supports.exp (add_options_for_tls): Add -pthread for AIX as well.
David Edelsohn [Fri, 21 Dec 2012 16:21:53 +0000 (16:21 +0000)]
target-supports.exp (add_options_for_tls): Add -pthread for AIX as well.

        * lib/target-supports.exp (add_options_for_tls): Add -pthread for
        AIX as well.
        (check_effective_target_powerpc_vsx_ok): Only test VSX on AIX 7.1
        and above.

From-SVN: r194670

11 years agore PR bootstrap/54659 (Bootstrap with --disable-nls broken under Windows)
Ian Lance Taylor [Fri, 21 Dec 2012 15:59:27 +0000 (15:59 +0000)]
re PR bootstrap/54659 (Bootstrap with --disable-nls broken under Windows)

PR bootstrap/54659

compiler: Don't include <gmp.h>, now included by go-system.h.

* go-system.h: Don't include <cstdio>.

From-SVN: r194669

11 years agopthread-init-2.c (dg-options): Define _XOPEN_SOURCE=500 on AIX.
David Edelsohn [Fri, 21 Dec 2012 15:55:52 +0000 (10:55 -0500)]
pthread-init-2.c (dg-options): Define _XOPEN_SOURCE=500 on AIX.

        * gcc.dg/pthread-init-2.c (dg-options): Define _XOPEN_SOURCE=500
        on AIX.

From-SVN: r194668

11 years agore PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)
Richard Biener [Fri, 21 Dec 2012 14:33:59 +0000 (14:33 +0000)]
re PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)

2012-12-21  Richard Biener  <rguenther@suse.de>

PR rtl-optimization/52996
* cprop.c (bypass_block): When loops are to be preserved
do not bypass loop headers.  Revert earlier kludge to remove
loops when doing that.

From-SVN: r194666

11 years agore PR bootstrap/54659 (Bootstrap with --disable-nls broken under Windows)
Richard Biener [Fri, 21 Dec 2012 14:33:13 +0000 (14:33 +0000)]
re PR bootstrap/54659 (Bootstrap with --disable-nls broken under Windows)

2012-12-21  Richard Biener  <rguenther@suse.de>

PR bootstrap/54659
* system.h: Include gmp.h.
* tree-ssa-loop-niter.c: Do not include gmp.h here.
* double-int.h: Likewise.
* realmpfr.h: Likewise.

fortran/
* gfortran.h: Do not include gmp.h here.

From-SVN: r194665

11 years agore PR fortran/55763 (Issues with some simpler CLASS(*) programs)
Paul Thomas [Fri, 21 Dec 2012 14:29:34 +0000 (14:29 +0000)]
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)

2012-12-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55763
* match.c (select_type_set_tmp): Return is a derived type or
class typespec has no derived type.
* resolve.c (resolve_fl_var_and_proc): Exclude select type
temporaries from 'pointer'.
(resolve_symbol): Exclude select type temporaries from tests
for assumed size and assumed rank.

2012-12-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55763
* gfortran.dg/unlimited_polymorphic_4.f03: New test.

From-SVN: r194663

11 years agoadaint.c: Move directive around.
Eric Botcazou [Fri, 21 Dec 2012 12:32:31 +0000 (12:32 +0000)]
adaint.c: Move directive around.

* adaint.c: Move directive around.
* argv.c: Likewise.
* cio.c: Likewise.
* cstreams.c: Likewise.
* env.c: Likewise.
* exit.c: Likewise.
* init.c: Likewise.
* initialize.c: Likewise.
* raise.c: Likewise.
* seh_init.c: Likewise.
* targext.c: Likewise.

From-SVN: r194660

11 years agore PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)
Richard Biener [Fri, 21 Dec 2012 10:32:43 +0000 (10:32 +0000)]
re PR middle-end/52996 (ice in verify_loop_structure, at cfgloop.c:1567)

2012-12-21  Richard Biener  <rguenther@suse.de>

PR tree-optimization/52996
* gcc.dg/torture/pr52996.c: New testcase.

From-SVN: r194659

11 years agoos_defines.h (_GLIBCXX_LLP64): Define if llp64 abi is used.
Kai Tietz [Fri, 21 Dec 2012 10:12:48 +0000 (11:12 +0100)]
os_defines.h (_GLIBCXX_LLP64): Define if llp64 abi is used.

* config/os/mingw32/os_defines.h (_GLIBCXX_LLP64): Define if llp64
abi is used.
* config/os/mingw32-w64/os_defines.h: Likewise.
* libsupc++/cxxabi.h (__base_class_type_info): Adjust
type of __offset_flags for llp64.
* libsupc++/eh_alloc.cc (EMERGENCY_OBJ_SIZE): Define proper
for llp64 abi.
(EMERGENCY_OBJ_COUNT): Likewise.
(bitmask_type): Likewise.
* libsupc++/hash_bytes.cc (_Hash_bytes): Handle llp64.

From-SVN: r194658

11 years agocortex-a7.md: New file.
Greta Yorsh [Fri, 21 Dec 2012 09:49:58 +0000 (09:49 +0000)]
cortex-a7.md: New file.

gcc/

2012-12-21  Greta Yorsh  <Greta.Yorsh@arm.com>

        * config/arm/cortex-a7.md: New file.
        * config/arm/t-arm (MD_INCLUDES): Add cortex-a7.md.
        * config/arm/arm.md: Include cortex-a7.md.
        (generic_sched): Don't use generic scheduler for Cortex-A7.
        (generic_vfp): Likewise.
        * config/arm/arm.c: (TARGET_SCHED_REORDER): Use arm_sched_reorder.
        (arm_sched_reorder,cortexa7_sched_reorder): New function.
        (cortexa7_older_only,cortexa7_younger): Likewise.
        (arm_issue_rate): Add Cortex-A7.

From-SVN: r194656

11 years agoDaily bump.
GCC Administrator [Fri, 21 Dec 2012 00:18:30 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r194655

11 years agogthr.h (__gthread_cond_timedwait_recursive): Do not require.
Jonathan Wakely [Thu, 20 Dec 2012 22:19:57 +0000 (22:19 +0000)]
gthr.h (__gthread_cond_timedwait_recursive): Do not require.

* gthr.h (__gthread_cond_timedwait_recursive): Do not require.
* gthr-posix.h (__gthread_cond_timedwait_recursive): Remove.

From-SVN: r194652

11 years agofunctional (_Require): Move to ...
Jonathan Wakely [Thu, 20 Dec 2012 21:02:33 +0000 (21:02 +0000)]
functional (_Require): Move to ...

* include/std/functional (_Require): Move to ...
* include/std/type_traits (_Require): ... here.
* include/bits/shared_ptr_base.h (__shared_count::_S_create_from_up):
Handle unique_ptr for arrays or with custom pointer types.
(__shared_ptr::__shared_ptr(unique_ptr<_Tp1, _Del>&&): Likewise.
* include/bits/unique_ptr.h (unique_ptr<_Tp[], _Dp>): Use
_Dp::pointer if defined. Implement proposed resolution of LWG 2118.
* testsuite/20_util/shared_ptr/cons/unique_ptr_array.cc: New.
* testsuite/20_util/unique_ptr/assign/cv_qual.cc: New.
* testsuite/20_util/unique_ptr/cons/array_convertible_neg.cc: New.
* testsuite/20_util/unique_ptr/cons/convertible_neg.cc: New.
* testsuite/20_util/unique_ptr/cons/cv_qual.cc: New.
* testsuite/20_util/unique_ptr/modifiers/cv_qual.cc: New.
* testsuite/20_util/unique_ptr/requirements/pointer_type_array.cc: New.
* testsuite/20_util/shared_ptr/cons/unique_ptr.cc: Adjust comments.
* testsuite/20_util/unique_ptr/cons/pointer_array_convertible_neg.cc:
Likewise.
* testsuite/20_util/unique_ptr/requirements/pointer_type.cc: Likewise.
* testsuite/20_util/bind/ref_neg.cc: Adjust dg-error line number.
* testsuite/20_util/declval/requirements/1_neg.cc: Likewise.
* testsuite/20_util/default_delete/48631_neg.cc: Likewise.
* testsuite/20_util/shared_ptr/cons/43820_neg.cc: Likewise.
* testsuite/20_util/unique_ptr/assign/48635_neg.cc: Likewise.
* testsuite/20_util/unique_ptr/modifiers/reset_neg.cc: Adjust
dg-error text.
* testsuite/20_util/unique_ptr/cons/ptr_deleter_neg.cc: Use
different instantiations so static_assert fails for each.

From-SVN: r194651

11 years agoMakefile.def (install-target-libgfortran): Depend on install-target-libquadmath,...
Matthias Klose [Thu, 20 Dec 2012 19:17:53 +0000 (19:17 +0000)]
Makefile.def (install-target-libgfortran): Depend on install-target-libquadmath, install-target-libgcc.

2012-12-20  Matthias Klose  <doko@ubuntu.com>

        * Makefile.def (install-target-libgfortran): Depend on
        install-target-libquadmath, install-target-libgcc.
        (install-target-libsanitizer): Depend on install-target-libgcc.
        (install-target-libjava): Depend on install-target-libgcc.
        (install-target-libitm): Depend on install-target-libgcc.
        (install-target-libobjc): Depend on install-target-libgcc.
        (install-target-libstdc++-v3): Depend on install-target-libgcc.
        * Makefile.in: Regenerate.

From-SVN: r194650

11 years agoMake zero_extends explicit for common AArch64 SI mode patterns
Ian Bolton [Thu, 20 Dec 2012 19:13:21 +0000 (19:13 +0000)]
Make zero_extends explicit for common AArch64 SI mode patterns

From-SVN: r194649

11 years agore PR libfortran/36044 (user-requested backtrace)
Janus Weil [Thu, 20 Dec 2012 18:15:13 +0000 (19:15 +0100)]
re PR libfortran/36044 (user-requested backtrace)

2012-12-20  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36044
* gfortran.h (gfc_isym_id): Add GFC_ISYM_BACKTRACE.
* intrinsic.c (add_subroutines): Add "backtrace".
* intrinsic.texi (BACKTRACE): Document BACKTRACE intrinsic.

2012-12-20  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36044
* gfortran.map: Add _gfortran_backtrace.
* libgfortran.h: Rename 'show_backtrace' and export.
* runtime/backtrace.c (show_backtrace): Rename to 'backtrace'.
Don't show message. Close file descriptor. Export.
* runtime/compile_options.c (backtrace_handler): Renamed
'show_backtrace'. Move message outside.
* runtime/error.c (sys_abort): Ditto.

From-SVN: r194648

11 years agore PR middle-end/55750 (-( in expand_expr_addr_expr_1, at expr.c:7646)
Jakub Jelinek [Thu, 20 Dec 2012 18:13:56 +0000 (19:13 +0100)]
re PR middle-end/55750 (-( in expand_expr_addr_expr_1, at expr.c:7646)

PR middle-end/55750
* gimplify.c (gimplify_self_mod_expr): Don't force lvalue to
pass is_gimple_min_lval.

* gcc.c-torture/execute/pr55750.c: New test.

From-SVN: r194647

11 years agos390: Generate rnsbg
Richard Henderson [Thu, 20 Dec 2012 18:05:26 +0000 (10:05 -0800)]
s390: Generate rnsbg

        * config/s390/s390.md (*insv_rnsbg_noshift, *insv_rnsbg_srl): New.

Co-Authored-By: Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
From-SVN: r194646

11 years agos390: Generate rxsbg, and shifted forms of rosbg
Richard Henderson [Thu, 20 Dec 2012 18:05:19 +0000 (10:05 -0800)]
s390: Generate rxsbg, and shifted forms of rosbg

        * config/s390/s390.md (IXOR): New code iterator.
        (*r<IXOR>sbg_<GPR>_noshift): Rename from *insv<GPR>_or_z10_noshift;
        macro-ize to handle XOR too.
        (*r<IXOR>sbg_di_rotl, *r<IXOR>sbg_<GPR>_srl, *r<IXOR>sbg_<GPR>_sll):
        New patterns.

Co-Authored-By: Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
From-SVN: r194645

11 years agos390: Implement extzv for z10
Richard Henderson [Thu, 20 Dec 2012 18:05:11 +0000 (10:05 -0800)]
s390: Implement extzv for z10

        * config/s390/predicates.md (nonzero_shift_count_operand): New.
        * config/s390/s390-protos.h (s390_extzv_shift_ok): Declare.
        * config/s390/s390.c (s390_extzv_shift_ok): New function.
        * config/s390/s390.md (extzv): New expander.
        (*extzv<GPR>_zEC12, *extzv<GPR>_z10): New insns.
        (*pre_z10_extzv<GPR>): Rename from *extzv<GPR>; simplify with
        nonzero_shift_count_operand.
        (*extzv_<mode>_srl, *extzv_<mode>_sll): New insns.

Co-Authored-By: Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
From-SVN: r194644