2013-04-11  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb, sem_util.adb, sem_res.adb, exp_ch4.adb: Minor
reformatting.

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* exp_util.ads (Fully_Qualified_Name_String): Document that the
constructed literal is the entity name in all upper case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197777 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb (Set_Entity_With_Style_Check): Fix logic of
check for implementation defined identifiers.

2013-04-11  Yannick Moy  <moy@adacore.com>

* checks.adb (Apply_Type_Conversion_Checks): Add an explanation
of why range check and length are put on different nodes.
* exp_ch4.adb (Apply_Type_Conversion_Checks): Remove check marks
when doing their expansion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197776 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_util.ads, sem_util.adb (Get_Incomplete_View_Of_Ancestor):
New function to implement the notion introduced in RM 7.3.1
(5.2/3): in a child unit, a derived type is within the derivation
class of an ancestor declared in a parent unit, even if there
is an intermediate derivation that does not see the full view
of that ancestor.
* sem_res.adb (Valid_Conversion): if all else fails, examine if an
incomplete view of an ancestor makes a numeric conversion legal.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb: in Ada2012 operators can only have in
parameters.

2013-04-11  Vincent Celier  <celier@adacore.com>

* makeutl.adb (Create_Binder_Mapping_File): Do not put into
the mapping file ALI files of sources that have been replaced.

2013-04-11  Vincent Celier  <celier@adacore.com>

* projects.texi: Add subsection Duplicate Sources in Projects.

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Add documentation for gnatmake switch -droot_dir/**

2013-04-11  Arnaud Charlet  <charlet@adacore.com>

* init.c (__gnat_install_handler): Only set up an alternate
stack when installing a signal handler for SIGSEGV.

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb (Connect_Socket, timeout version): Call
underlying connect operation directly, not through the 2-argument
Connect_Socket thick binding, in order to avoid raising a junk
exception for the EINPROGRESS return.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197775 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* a-cdlili.adb: Minor addition of pragma Warnings (Off).

2013-04-11  Robert Dewar  <dewar@adacore.com>

* hostparm.ads: Minor reformatting.

2013-04-11  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.ads, aspects.adb: Add Aspect_Depends to all the relevant
tables.
* elists.ads, elists.adb (Contains): New routine.
* par-prag.adb: Pragma Depends does not need any special treatment
by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications):
Transform aspect Depends into a corresponding pragma.
(Check_Aspect_At_Freeze_Point): Aspect Depends does not need
inspection at its freeze point.
* sem_prag.adb (Analyze_Pragma): Perform analysis and
normalization of pragma Depends. Remove the use of function
Is_Duplicate_Item. Use End_Scope to uninstalle the formal
parameters of a subprogram. Add a value for pragma Depends in
table Sig_Flags.
(Is_Duplicate_Item): Removed.
* snames.ads-tmpl: Add predefined name for Depends as well as
a pragma identifier.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197774 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb: Minor code clean up.

2013-04-11  Arnaud Charlet  <charlet@adacore.com>

* debug.adb, sem_ch13.adb (Analyze_Enumeration_Representation_Clause):
Ignore enumeration rep clauses by default in CodePeer mode, unless
-gnatd.I is specified.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Safe_To_Capture_Value): If the node belongs to
an expression that has been attached to the else_actions of an
if-expression, the capture is not safe.

2013-04-11  Yannick Moy  <moy@adacore.com>

* checks.adb (Apply_Type_Conversion_Checks): Put check mark on type
conversion for arrays.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* adabkend.adb: Minor comment addition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197773 138bc75d-0d04-0410-961f-82ee72b054a4

* ada/acats/run_all.sh: Remove special handling of -gnat95 switch.
* ada/acats/ada95.lst: Remove special handling of -gnat95 switch.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197772 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Matthew Heaney  <heaney@adacore.com>

* a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb ("="): Increment
lock counts before entering loop.
(Find): Ditto.
(Is_Sorted, Merge, Sort): Ditto.
(Reverse_Find): Ditto.
(Splice_Internal): Internal operation to refactor splicing logic.
(Splice): Some logic moved into Splice_Internal.

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* adabkend.adb (Scan_Compiler_Arguments): Do not call
Set_Output_Object_File_Name in Alfa_Mode
* gnat1drv.adb (Adjust_Global_Switches): Take Alfa_Mode into account.
* opt.ads: Fix documentation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197771 138bc75d-0d04-0410-961f-82ee72b054a4

2013-03-16  Yvan Roux <yvan.roux@linaro.org>

        * include/private/gcconfig.h (AARCH64): New macro (defined only if
__aarch64__).
* include/private/gcconfig.h (mach_type_known):
Update comment adding ARM AArch64 target.
* include/private/gcconfig.h (NOSYS, mach_type_known,CPP_WORDSZ,
MACH_TYPE, ALIGNMENT, HBLKSIZE, OS_TYPE, LINUX_STACKBOTTOM,
USE_GENERIC_PUSH_REGS, DYNAMIC_LOADING, DATASTART, DATAEND,
STACKBOTTOM): Define for AArch64.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197770 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56878
* tree-flow.h (outermost_invariant_loop_for_expr): Declare.
* tree-ssa-loop-ivopts.c (outermost_invariant_loop_for_expr):
New function.
* tree-vect-data-refs.c (vect_enhance_data_refs_alignment):
Prefer to align the DR with the most invariant base address.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197769 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* sem_res.adb: Minor code reorganization and comment fixes.
* sem_type.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197768 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Process_Transient_Object): Add new
local variable Fin_Call. Remove and explain ??? comment. Use the
Actions of logical operators "and then" and "or else" to insert
the generated finalization call.

2013-04-11  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_rm.texi: Fix typo.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197767 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* atree.h: Add declarations for Flag255-Flag289 Fix declaration
of Field30 (was wrong, but no effect, since not yet referenced by
back end) Add declarations for Field31-Field35 Add declarations
for Node31-Node35.
* einfo.ads, einfo.adb (Has_Invariants): No longer applies to
procedures.
(Has_Predicates): No longer applies to functions.
(Is_Predicate_Function): New flag.
(Is_Predicate_Function_M): New flag.
(Is_Invariant_Procedure): New flag.
(Predicate_Function_M): New function.
(Set_Predicate_Function_M): New procedure.
* exp_ch11.adb (Expand_N_Raise_Expression): Take care of special
case of appearing in predicate used for membership test.
* exp_ch3.adb (Insert_Component_Invariant_Checks): Set
Is_Invariant_Procedure flag.
* exp_ch4.adb (Expand_Op_In): Call special predicate function
that takes care of raise_expression nodes in the predicate.
* exp_util.ads, exp_util.adb (Make_Predicate_Call): Add argument Mem for
membership case.
* sem_ch13.adb (Build_Predicate_Functions): New name for
Build_Predicate_Function.  Major rewrite to take care of raise
expression in predicate for membership tests.
* sem_res.adb (Resolve_Actuals): Include both predicate functions
in defense against infinite predicate function loops.
* sinfo.ads, sinfo.adb (Convert_To_Return_False): New flag.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: Minor reformatting.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* lib-xref.adb: Generate reference for component of anonymous
access type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197766 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* stand.ads: Minor reformatting.

2013-04-11  Matthew Heaney  <heaney@adacore.com>

* a-convec.adb, a-coinve.adb, a-cobove.adb ("="): Increment lock
counts before entering loop.
(Find, Find_Index): Ditto.
(Is_Sorted, Merge, Sort): Ditto.
(Reverse_Find, Reverse_Find_Index): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197765 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch11.ads, exp_ch11.adb (Expand_N_Raise_Expression): New procedure.
* exp_util.adb (Insert_Actions): Add entry for N_Raise_Expression.
* expander.adb: Add call to Expand_N_Raise_Expression.
* par-ch11.adb (P_Raise_Expression): New procedure.
* par-ch4.adb (P_Relation): Handle Raise_Expression.
* par.adb (P_Raise_Expression): New procedure.
* sem.adb: Add handling for N_Raise_Expression.
* sem_ch11.ads, sem_ch11.adb (Analyze_Raise_Expression): New procedure.
* sem_res.adb (Resolve): Add handling for N_Raise_Expression.
* sinfo.ads, sinfo.adb (N_Raise_Expression): New node.
* sprint.adb (Sprint_Node_Actual): Add handling for N_Raise_Expression.
* stand.ads (Any_Type): Document use with N_Raise_Expression.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197764 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Remove section "The Development Environments"
now that all predefined attributes are documented, including
those in package IDE.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb: Preserve parent link in copy of expression.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197763 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Vincent Celier  <celier@adacore.com>

* projects.texi: Complete rewrite of the subsection Attributes
in section "Project file Reference".

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197762 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Remove wrapping in
expression-with-actions node. No longer needed given fix to
sem_prag and caused loss of some useful warnings.
* sem.ads: Minor reformatting.
* sem_prag.adb (Check_Disabled): Removed, to be replaced by not
Check_Enabled. These two routines were curiously incompatible
causing confusion.
(Analyze_Pragma, case Check): Make sure we do
not expand the string argument if the check is disabled. Avoid
use of Check_Disabled, which resulted in missing analysis in
some cases.
* sem_prag.ads (Check_Disabled): Removed, to be replaced by not
Check_Enabled. These two routines were curiously incompatible
causing confusion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197761 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Process_Transient_Object): Use
an unchecked conversion when associating a transient controlled
object with its "hook".

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case
Preelaborable_Initialization): The pragma is legal if it comes
from an aspect on the private view of the type, even though its
analysis point takes place later at the freeze point.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197760 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb: Minor reformatting.

2013-04-11  Yannick Moy  <moy@adacore.com>

* ali-util.adb (Read_Withed_ALIs): Do not consider it an error to
read ALI files with No_Object=True in Alfa mode.
* gnat1drv.adb: Set appropriately Back_End_Mode in Alfa mode, whether
this is during frame condition generation of translation to Why.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor code reorganization
* types.ads: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197759 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* opt.ads New global boolean Frame_Condition_Mode to avoid
referring to command line switch.
* gnat1drv.adb (Gnat1drv) set frame condition mode when -gnatd.G
is present, and disable Code generation in that case. Disable
ALI file generation when switch is *not* present.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function): Perform the
pre-analysis on a copy of the expression, to prevent downstream
visbility issues involving operators and instantiations.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197758 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* debug.adb: Reservation and documentation for -gnatd.G switch.
* gnat1drv.adb (Adjust_Global_Switches) Take into account -gnatd.G
switch, and set ALI file generation accordingly.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197757 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb, exp_dist.adb: Minor reformatting.
* gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that
check names introduced with pragma Check_Name are suppressed by -gnatp.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197756 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi, projects.texi: Move chapter "Tools Supporting Project
Files" from projects.texi to gnat_ugn.texi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197755 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in: Update dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197754 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Allow missing body in Alfa
mode.

2013-04-11  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Detect the
allocation of an anonymous controlled object where the type of
the context is named. Use the pool and finalization master of
the named access type to allocate the object.

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Remove most mentions of gprbuild.
* projects.texi: Remove all mentions of asociative array
attributes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197753 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb, sem_attr.adb, gnat1drv.adb, prj-makr.adb,
opt.ads, sem_ch13.adb: Minor reformatting.
* debug.adb: Minor comment fix (remove junk .I doc).

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* rtsfind.ads, exp_dist.adb, exp_dist.ads (Rtsfind.PCS_Version, case
PolyORB): Bump to 6.
(Exp_Dist.PolyORB_Support): Replace TC_Build with
Build_Complex_TC.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197752 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Arnaud Charlet  <charlet@adacore.com>

* debug.adb, sem_prag.adb, par-ch2.adb, sem_attr.adb, gnat1drv.adb,
exp_disp.adb, opt.ads, sem_ch13.adb (Relaxed_RM_Semantics): New flag.
Enable this flag in CodePeer mode, and also via -gnatd.M.
Replace some uses of CodePeer_Mode by Relaxed_RM_Semantics.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Check_Constrained_Object): If a subtype is created
from the renamed object in an object renaming declaration with
an unconstrained nominal subtype, freeze the created subtype at
once, to prevent order of elaboration issues in the backend.

2013-04-11  Arnaud Charlet  <charlet@adacore.com>

* exp_aggr.adb (Aggr_Size_OK): Refine setting of Max_Aggr_Size
in particular in CodePeer mode.

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Add documentation for backup copies of project
files for gnatname.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197751 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Tristan Gingold  <gingold@adacore.com>

* gnat_rm.texi: Add Detect_BLocking in the ravenscar profile
pragma list.

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnatname.adb (Scan_Args): Recognize new switch --no-backup
(Usage): Add line for --no-backup.
* opt.ads (No_Nackup): New Boolean variable, initialized to False.
* prj-makr.adb (Initialize): Create a backup for an existing
project file if gnatname is not invoked with --no-backup.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197750 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor code improvement: replace various calls to
Make_If_Statement in expansion with Make_Implicit_If_Statement.

2013-04-11  Eric Botcazou  <ebotcazou@adacore.com>

* ali.adb: Fix minor typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197749 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Find_Enclosing_Context): Add missing case of
N_Procedure_Call_Statement.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* debug.adb: Minor comment fix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197748 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* debug.adb: Remove comment for -gnatd.G.

2013-04-11  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Expand_Record_Equality.Suitable_Element):
Remove recursive routine, replace with...
(Expand_Record_Equality.Element_To_Compare): New subroutine,
implement iterative search for next element to compare.
Add explanatory comment in the tagged case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197747 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb: remove spurious warning from non-empty loop.
* sem_ch8.adb (Enclosing_Instance): Make public to other routines
in the package, in order to suppress redundant semantic checks
on subprogram renamings in nested instantiations.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197746 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* errout.ads: Minor reformatting.
* sem_eval.adb (Why_Not_Static): Now issues continuation messages
(Why_Not_Static): Test for aggregates behind string literals.
* sem_eval.ads (Why_Not_Static): Now issues continuation messages.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenation): Wrap expansion in
Expressions_With_Actions.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Base_Types_Match): For an actual type in an
instance, the base type may itself be a subtype, so find true
base type to determine compatibility.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197745 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-11  Robert Dewar  <dewar@adacore.com>

* s-osprim-mingw.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb.
makeutl.adb, sem_ch8.adb: Minor reformatting.

2013-04-11  Vincent Celier  <celier@adacore.com>

* gnat_ugn.texi: Minor fixes for VMS.
* ug_words: Minor addition: -gnato? => /OVERFLOW_CHECKS=?.

2013-04-11  Robert Dewar  <dewar@adacore.com>

* usage.adb (Usage): Minor edit to -gnatW message

2013-04-11  Robert Dewar  <dewar@adacore.com>

* exp_aggr.adb (Expand_N_Aggregate): Add circuit for handling
others for string literal case. Also add big ??? comment about
this new code, which should be redundant, but is not.
* sem_eval.adb (Eval_Concatenation): Handle non-static case
properly (Eval_String_Literal): Handle non-static literal properly

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197744 138bc75d-0d04-0410-961f-82ee72b054a4

* opts.c (common_handle_option): Fix formatting and add FALLTHRU
comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197743 138bc75d-0d04-0410-961f-82ee72b054a4

/cp
2013-04-11  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54216
* parser.c (cp_parser_enum_specifier): Check for empty
anonymous enums and anonymous scoped enums.

/testsuite
2013-04-11  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54216
* g++.dg/cpp0x/enum26.C: New.
* g++.old-deja/g++.pt/mangle1.C: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197742 138bc75d-0d04-0410-961f-82ee72b054a4

[PATCH, AARCH64] Fix unrecognizable insn issue with vcond against 0.0f

gcc/
* config/aarch64/aarch64-simd.md (aarch64_vcond_internal): Fix
floating-point vector comparisons against 0.

gcc/testsuite/
    * gcc.target/aarch64/vect-fcm.x: Add check for zero forms of
inverse operands.
* gcc.target/aarch64/vect-fcm-eq-d.c: Check that new zero form
loop is vectorized.
    * gcc.target/aarch64/vect-fcm-eq-f.c: Likewise.
    * gcc.target/aarch64/vect-fcm-ge-d.c: Check that new zero form
loop is vectorized and that the correct instruction is generated.
    * gcc.target/aarch64/vect-fcm-ge-f.c: Likewise.
    * gcc.target/aarch64/vect-fcm-gt-d.c: Likewise.
    * gcc.target/aarch64/vect-fcm-gt-f.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197741 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/56899
* fold-const.c (extract_muldiv_1): Apply distributive law
only if TYPE_OVERFLOW_WRAPS (ctype).

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197692 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/56124
* ira-costs.c (scan_one_insn): Check whether the source rtx of
loading has side effect.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197691 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197687 138bc75d-0d04-0410-961f-82ee72b054a4

Replace enum gfc_try with bool type.

2013-04-11  Janne Blomqvist  <jb@gcc.gnu.org>

        * gfortran.h: Remove enum gfc_try, replace gfc_try with bool type.
        * arith.c: Replace gfc_try with bool type.
        * array.c: Likewise.
        * check.c: Likewise.
        * class.c: Likewise.
        * cpp.c: Likewise.
        * cpp.h: Likewise.
        * data.c: Likewise.
        * data.h: Likewise.
        * decl.c: Likewise.
        * error.c: Likewise.
        * expr.c: Likewise.
        * f95-lang.c: Likewise.
        * interface.c: Likewise.
        * intrinsic.c: Likewise.
        * intrinsic.h: Likewise.
        * io.c: Likewise.
        * match.c: Likewise.
        * match.h: Likewise.
        * module.c: Likewise.
        * openmp.c: Likewise.
        * parse.c: Likewise.
        * parse.h: Likewise.
        * primary.c: Likewise.
        * resolve.c: Likewise.
        * scanner.c: Likewise.
        * simplify.c: Likewise.
        * symbol.c: Likewise.
        * trans-intrinsic.c: Likewise.
        * trans-openmp.c: Likewise.
        * trans-stmt.c: Likewise.
        * trans-types.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197682 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sparc/sparc.c: Include tree-pass.h.
(TARGET_MACHINE_DEPENDENT_REORG): Do not redefine.
(sparc_reorg): Rename to sparc_do_work_around_errata.  Move to
head of file.  Change return type.  Split off gate function.
(sparc_gate_work_around_errata): New function.
(pass_work_around_errata): New pass definition.
(insert_pass_work_around_errata) New pass insert definition to
insert pass_work_around_errata just after delayed-branch scheduling.
(sparc_option_override): Insert the pass.
* config/sparc/t-sparc (sparc.o): Add TREE_PASS_H dependence.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197681 138bc75d-0d04-0410-961f-82ee72b054a4

Fix sparc assembler specs for supersparc and hypersparc.

gcc/

* config/sparc/sparc.h (ASM_CPU_SPEC): Pass -Av8 if -mcpu=supersparc
or -mcpu=hypersparc.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197680 138bc75d-0d04-0410-961f-82ee72b054a4

Improve cstore code generation on 64-bit sparc.

One major suboptimal area of the sparc back end is cstore generation
on 64-bit.

Due to the way arguments and return values of functions must be
promoted, the ideal mode for cstore's result would be DImode.

But this hasn't been done because of a fundamental limitation
of the cstore patterns.  They require a fixed mode be used for
the boolean result value.

I've decided to work around this by building a target hook which
specifies the type to use for conditional store results, and then I
use a special predicate for operans 0 in the cstore expanders so
that they still match even when we use DImode.

The default version of the target hook just does what it does now,
so no other target should be impacted by this at all.

Regstrapped on 32-bit sparc-linux-gnu and I've run the testsuite
with "-m64" to validate the 64-bit side.

gcc/

* target.def (cstore_mode): New hook.
* target.h: Include insn-codes.h
* targhooks.c: Likewise.
(default_cstore_mode): New function.
* targhooks.h: Declare it.
* doc/tm.texi.in: New hook slot for TARGET_CSTORE_MODE.
* doc/tm.texi: Rebuild.
* expmed.c (emit_cstore): Obtain cstore boolean result mode using
target hook, rather than inspecting the insn_data.
* config/sparc/sparc.c (sparc_cstore_mode): New function.
(TARGET_CSTORE_MODE): Redefine.
(emit_scc_insn): When TARGET_ARCH64, emit new 64-bit boolean
result patterns.
* config/sparc/predicates.md (cstore_result_operand): New special
predicate.
* config/sparc/sparc.md (cstoresi4, cstoredi4, cstore<F:mode>4):
Use it for operand 0.
(*seqsi_special): Rewrite using 'P' mode iterator on operand 0.
(*snesi_special): Likewise.
(*snesi_zero): Likewise.
(*seqsi_zero): Likewise.
(*sltu_insn): Likewise.
(*sgeu_insn): Likewise.
(*seqdi_special): Make operand 0 and comparison operation be of
DImode.
(*snedi_special): Likewise.
(*snedi_special_vis3): Likewise.
(*neg_snesi_zero): Rename to *neg_snesisi_zero.
(*neg_snesi_sign_extend): Rename to *neg_snesidi_zero.
(*snesi_zero_extend): Delete, covered by 'P' mode iterator.
(*neg_seqsi_zero): Rename to *neg_seqsisi_zero.
(*neg_seqsi_sign_extend): Rename to *neg_seqsidi_zero.
(*seqsi_zero_extend): Delete, covered by 'P' mode iterator.
(*sltu_extend_sp64): Likewise.
(*neg_sltu_insn): Rename to *neg_sltusi_insn.
(*neg_sltu_extend_sp64): Rename to *neg_sltudi_insn.
(*sgeu_extend_sp64): Delete, covered by 'P' mode iterator.
(*neg_sgeu_insn): Rename to *neg_sgeusi_insn.
(*neg_sgeu_extend_sp64): Rename to *neg_sgeudi_insn.

gcc/testsuite/

* gcc.target/sparc/setcc-4.c: New test.
* gcc.target/sparc/setcc-5.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197679 138bc75d-0d04-0410-961f-82ee72b054a4

* config/aarch64/aarch64.c (aarch64_print_extension): New function.
(aarch64_start_file): Use the new function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197677 138bc75d-0d04-0410-961f-82ee72b054a4

* common.opt: Add -gdwarf.
* opts.c (common_handle_option): Handle it.
* gcc.c (ASM_DEBUG_SPEC): Don't expect "-2" for DWARF.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197675 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10  Richard Biener  <rguenther@suse.de>

* passes.c (execute_todo): Do not call ggc_collect conditional here.
(execute_one_ipa_transform_pass): But unconditionally here.
(execute_one_pass): And here.
(init_optimization_passes): Remove reload pass.
* tree-pass.h (TODO_ggc_collect): Remove.
(pass_reload): Likewise.
* ira.c (do_reload): Merge into ...
(ira): ... this.
(rest_of_handle_reload): Remove.
(pass_reload): Likewise.
* config/i386/i386.c (ix86_option_override): Refer to ira instead
of reload for vzeroupper pass placement.
* <everywhere>: Remove TODO_ggc_collect from todo_flags_start
and todo_flags_finish of all passes.

* g++.dg/pr55604.C: Use -fdump-rtl-ira.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197671 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10  Richard Biener  <rguenther@suse.de>

* tree-vectorizer.h (struct _slp_oprnd_info): Remove
first_const_oprnd field, rename first_def_type to first_op_type.
* tree-vect-slp.c (vect_create_oprnd_info): Adjust.
(vect_get_and_check_slp_defs): Always use the type of the
operand.  Allow mixed vect_external_def, vect_constant_def types.
(vect_get_constant_vectors): Handle mixed vect_external_def,
vect_constant_def types.

* gcc.dg/vect/slp-39.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197669 138bc75d-0d04-0410-961f-82ee72b054a4

gcc:
2013-04-10  Joern Rennecke <joern.rennecke@embecosm.com>

        PR tree-optimization/55524
        * tree-ssa-math-opts.c
        (convert_mult_to_fma): Don't use an fms construct
        when we don't have an fms operation, but fnma, and it looks
        likely that we'll be able to use the latter.

gcc/testsuite:
2013-04-10  Joern Rennecke <joern.rennecke@embecosm.com>

        PR tree-optimization/55524
        * gcc.target/epiphany/fnma-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197668 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10  Zhouyi Zhou <yizhouzhou@ict.ac.cn>

* cif-code.def (OVERWRITABLE): Correct the comment for overwritable
function.
* ipa-inline.c (can_inline_edge_p): Let dump mechanism report the
inline fail caused by overwritable functions.

* gcc.dg/tree-ssa/inline-11.c: New test

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197667 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10  Chung-Ju Wu  <jasonwucj@gmail.com>

* combine.c (simplify_compare_const): Use GET_MODE_MASK to filter out
unnecessary bits in the constant power of two case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197666 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10  Richard Biener  <rguenther@suse.de>

* tree-vect-slp.c (vect_get_and_check_slp_defs): Remove
broken code swapping operands.
(vect_build_slp_tree): Do not compute load permutations here.
(vect_analyze_slp_instance): Compute load permutations here,
after building the SLP tree.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197665 138bc75d-0d04-0410-961f-82ee72b054a4

*  config/sh/sh.md (barrier_align): Use next/prev_active_insn instead
of next/prev_real_insn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197664 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-10 Chung-Ju Wu <jasonwucj@gmail.com>

* MAINTAINERS (Write After Approval): Add myself.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197663 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/56895
* typeck.c (cp_build_binary_op): Call fold_non_dependent_expr_sfinae
first before calling maybe_constant_value for warn_for_div_by_zero
or invalid shift count warning purposes.

* g++.dg/template/arrow3.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197660 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197658 138bc75d-0d04-0410-961f-82ee72b054a4

* ipa.c (cgraph_externally_visible_p, varpool_externally_visible_p): Drop
aliased parameter.
(function_and_variable_visibility): Do not handle alias pairs.
* cgraph.c (varpool_externally_visible_p): Update prototype.
* varpool.c (varpool_add_new_variable): Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197652 138bc75d-0d04-0410-961f-82ee72b054a4

* configure, config.h.in: Rebuild.
* configure.ac: Use GLIBCXX_CHECK_SDT_H.  Don't check for
sys/sdt.h.
* acinclude.m4 (GLIBCXX_CHECK_SDT_H): New defun.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197649 138bc75d-0d04-0410-961f-82ee72b054a4

* config/abi/post/alpha-linux-gnu/baseline_symbols.txt: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197647 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/25466
* rtti.c (build_typeid): Check the address of the argument
rather than looking for an INDIRECT_REF.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197644 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* config/arm/arm.md (minmax_arithsi_non_canon): New pattern.

* gcc.target/arm/minmax_minus.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197642 138bc75d-0d04-0410-961f-82ee72b054a4

* sched-vis.c (print_pattern): Print SEQUENCE of insns as insns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197640 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sparc/sparc.md: Use define_c_enum for "unspec" and "unspecv".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197639 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/48762
* params.def (PARAM_MAX_CSE_INSNS): Increase the minimum
value to 1.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197637 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Richard Biener  <rguenther@suse.de>

* tree-vect-slp.c (vect_get_and_check_slp_defs): Remove code
dealing with cost.
(vect_build_slp_tree): Likewise.
(vect_analyze_slp_cost_1, vect_analyze_slp_cost): New functions
calculating the cost of a SLP instance.
(vect_analyze_slp_instance): Use it from here, after building
the SLP tree.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197635 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/56883
* omp-low.c (expand_omp_for_generic, expand_omp_for_static_nochunk,
expand_omp_for_static_chunk): Use simple_p = true in
force_gimple_operand_gsi calls when assigning to addressable decls.

* c-c++-common/gomp/pr56883.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197633 138bc75d-0d04-0410-961f-82ee72b054a4

   * tree-vrp.c (simplify_cond_using_ranges): Simplify test of boolean
       when the boolean was created by converting a wider object which
       had a boolean range.

        * gcc.dg/tree-ssa/vrp87.c: New test

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197631 138bc75d-0d04-0410-961f-82ee72b054a4

Add missing ChangeLog entry

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197630 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Richard Biener  <rguenther@suse.de>

* tree-vectorizer.h (slp_void_p): Remove.
(slp_tree): Typedef before _slp_tree declaration.
(struct _slp_tree): Use a vector of slp_tree as children.
(vect_get_place_in_interleaving_chain): Remove.
* tree-vect-data-refs.c (vect_get_place_in_interleaving_chain):
Move ...
* tree-vect-slp.c (vect_get_place_in_interleaving_chain): ... here
and make static.
(vect_free_slp_tree, vect_print_slp_tree, vect_mark_slp_stmts,
vect_mark_slp_stmts_relevant, vect_slp_rearrange_stmts,
vect_detect_hybrid_slp_stmts, vect_slp_analyze_node_operations,
vect_schedule_slp_instance, vect_remove_slp_scalar_calls):
Use slp_node instead of slp_void_p and adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197629 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Richard Biener  <rguenther@suse.de>

java/
* expr.c (build_java_binop): Pass a type to build_int_cst.

* tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa): Avoid
work that is not necessary.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197626 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/56854
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Don't
forward into clobber stmts if it would change MEM_REF lhs into
non-MEM_REF.

* g++.dg/torture/pr56854.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197625 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Tobias Burnus  <burnus@net-b.de>

        * gfortran.texi (KIND Type Parameters,
        Internal representation of LOGICAL variables): Add crossrefs.
        (Intrinsic Types): Mention issues with _Bool interop.
        (Naming and argument-passing conventions): New section.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197624 138bc75d-0d04-0410-961f-82ee72b054a4

* tree.c (type_hash_lookup, type_hash_add): Make static.
* tree.h (type_hash_lookup, type_hash_add): Remove global declarations.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197623 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-09  Richard Biener  <rguenther@suse.de>

* tree.h (unsave_expr_now): Remove.
* tree-inline.c (mark_local_for_remap_r): Remove.
(unsave_expr_1): Likewise.
(unsave_r): Likewise.
(unsave_expr_now): Likewise.
* tree-ssa-copy.c (replace_exp_1): Use unshare_expr.
(propagate_tree_value): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197620 138bc75d-0d04-0410-961f-82ee72b054a4

Fix non-ASCII characters in names.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197618 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197617 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/56838
PR c++/17232
* typeck2.c (abstract_virtuals_error_sfinae): Disable
complete_type again.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197613 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/rtl.texi (sequence): Rewrite documentation to match the
current use of SEQUENCE rtl objects.
* rtl.def (SEQUENCE): Likewise.

* doc/rtl.texi (NOTE_INSN_EH_REGION_BEG, NOTE_INSN_EH_REGION_END):
Update documentation.
(NOTE_INSN_LOOP_BEG, NOTE_INSN_LOOP_END, NOTE_INSN_LOOP_CONT,
NOTE_INSN_LOOP_VTOP): Remove documentation for non-existing notes.

* reg-notes.def (REG_EH_CONTEXT): Remove unused note.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197611 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/56782
* frontend-passes.c (callback_reduction):  Dont't do
any simplification if there is only a single element
which has an iterator.

2013-04-08  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/56782
* gfortran.dg/array_constructor_44.f90:  New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197610 138bc75d-0d04-0410-961f-82ee72b054a4

/cp
2013-04-08  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/56871
* decl.c (validate_constexpr_redeclaration): Allow an explicit
specialization to be different wrt the constexpr specifier.

/testsuite
2013-04-08  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/56871
* g++.dg/cpp0x/constexpr-specialization.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197597 138bc75d-0d04-0410-961f-82ee72b054a4

First phase of unifying the computation of profile scale factors/probabilities
and the actual scaling to use rounding divides:
- Add new macro GCOV_COMPUTE_SCALE to basic-block.h to compute the scale
factor/probability via a rounding divide.
- Change all locations that already perform rounding divides (inline or via RDIV)
to use the appropriate helper: GCOV_COMPUTE_SCALE, apply_probability or
combine_probabilities.
- Change ipa-cp.c truncating divides to use rounding divides.
- Add comments to all other locations (currently using truncating divides) to
switch them to one of the helpers so they use a rounding divide.

Next phase will be to replace the locations using truncating divides, marked
with a comment here, into rounding divides via the helper methods.

2013-04-08  Teresa Johnson  <tejohnson@google.com>

* basic-block.h (GCOV_COMPUTE_SCALE): Define.
* ipa-inline-analysis.c (param_change_prob): Use helper rounding divide
        methods.
(estimate_edge_size_and_time): Add comment to suggest using rounding
methods.
(estimate_node_size_and_time): Ditto.
(remap_edge_change_prob): Use helper rounding divide methods.
* value-prof.c (gimple_divmod_fixed_value_transform): Ditto.
(gimple_mod_pow2_value_transform): Ditto.
(gimple_mod_subtract_transform): Ditto.
(gimple_ic_transform): Ditto.
(gimple_stringops_transform): Ditto.
* stmt.c (conditional_probability): Ditto.
(emit_case_dispatch_table): Ditto.
* lto-cgraph.c (merge_profile_summaries): Ditto.
* tree-optimize.c (execute_fixup_cfg): Ditto.
* cfgcleanup.c (try_forward_edges): Ditto.
* cfgloopmanip.c (scale_loop_profile): Ditto.
(loopify): Ditto.
(duplicate_loop_to_header_edge): Ditto.
(lv_adjust_loop_entry_edge): Ditto.
* tree-vect-loop.c (vect_transform_loop): Ditto.
* profile.c (compute_branch_probabilities): Ditto.
* cfgbuild.c (compute_outgoing_frequencies): Ditto.
* lto-streamer-in.c (input_cfg): Ditto.
* gimple-streamer-in.c (input_bb): Ditto.
* ipa-cp.c (update_profiling_info): Ditto.
(update_specialized_profile): Ditto.
* tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge): Ditto.
* cfg.c (update_bb_profile_for_threading): Add comment to suggest using
        rounding methods.
* sched-rgn.c (compute_dom_prob_ps): Ditto.
(compute_trg_info): Ditto.
* cfgrtl.c (force_nonfallthru_and_redirect): Ditto.
(purge_dead_edges): Ditto.
* loop-unswitch.c (unswitch_loop): Ditto.
* cgraphclones.c (cgraph_clone_edge): Ditto.
(cgraph_clone_node): Ditto.
* tree-inline.c (copy_bb): Ditto.
(copy_edges_for_bb): Ditto.
(initialize_cfun): Ditto.
(copy_cfg_body): Ditto.
(expand_call_inline): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197595 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/libstdc++-prettyprinters/cxx11.cc: Include <memory>.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197594 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/cygwin.h (EXTRA_OS_CPP_BUILTINS): Replaced
TARGET_CYGWIN64 by TARGET_64BIT.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197593 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.md (<insn_opname>v2si3):
        Use gen_addsi3_i / gen_subsi3_i.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197592 138bc75d-0d04-0410-961f-82ee72b054a4

ChangeLog typo fix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197591 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.md (mov_f+2): New peephole2 pattern.
        (cstoresi4): Also allow re-use of zero result when doing a NE
        comparison to a non-zero operand.
        Use (clobber (sratch)) for first insn if the gpr output is not needed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197590 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.md (logical_op): New code iterator.
        (op_mnc): New code attribute.
        (<op_mnc>_f, mov_f, cstoresi4): New patterns.
        (mov_f+1, mov_f+2): New peephole2 patterns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197589 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/constraints.md (CnL): New constraint.
        * config/epiphany/epiphany.md (addsi3_i): Add r/r/CnL alternative.
        * config/epiphany/predicates.md (add_operand): Allow 1024.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197588 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.c (epiphany_select_cc_mode):
        Don't use CC_FPmode for ORDERED / UNORDERED.
        * config/epiphany/epiphany.md (cmpsf_ord): Make pattern
        unconditional.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197587 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.md (GPR_1): New constant.
        (define_expand "mov<mode>cc): FAIL if gen_compare_reg returned 0.
        * config/epiphany/epiphany.c (gen_compare_reg):
        For flag_finite_math_only, avoid swapping operands when r0 and/or r1
        is already in place.
        Use GPR_0 / GPR_1 instead of 0/1 for r0/r1 register numbers.
        Don't require being called during rtl expansion; If y operlaps r0,
        return 0.
        (epiphany_compute_frame_size, epiphany_expand_prologue): Use GPR_1.
        (epiphany_expand_epilogue): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197586 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197582 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/34949
PR c++/50243
* tree-eh.c (optimize_clobbers): Only remove clobbers if bb doesn't
contain anything but clobbers, at most one __builtin_stack_restore,
optionally debug stmts and final resx, and if it has at least one
incoming EH edge.  Don't check for SSA_NAME on LHS of a clobber.
(sink_clobbers): Don't check for SSA_NAME on LHS of a clobber.
Instead of moving clobbers with MEM_REF LHS with SSA_NAME address
which isn't defaut definition, remove them.
(unsplit_eh, cleanup_empty_eh): Use single_{pred,succ}_{p,edge}
instead of EDGE_COUNT comparisons or EDGE_{PRED,SUCC}.
* tree-ssa-ccp.c (execute_fold_all_builtins): Remove clobbers
with MEM_REF LHS with SSA_NAME address.

* g++.dg/opt/vt3.C: New test.
* g++.dg/opt/vt4.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197580 138bc75d-0d04-0410-961f-82ee72b054a4

    * gimple.c (canonicalize_cond_expr_cond): Rewrite x ^ y into
        x != y.

        * gcc.dg/tree-ssa/forwprop-25.c: New test

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197579 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Richard Biener  <rguenther@suse.de>

* gimple-pretty-print.c (debug_gimple_stmt): Do not print
extra newline.
* tree-vect-loop.c (vect_determine_vectorization_factor): Dump
determined vector type.
(vect_analyze_data_refs): Likewise.
(vect_get_new_vect_var): Adjust.
(vect_create_destination_var): Preserve SSA name versions.
* tree-vect-stmts.c (get_vectype_for_scalar_type_and_size): Do
not dump anything here.

* gfortran.dg/vect/fast-math-mgrid-resid.f: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197578 138bc75d-0d04-0410-961f-82ee72b054a4

    * config/epiphany/epiphany.h (struct GTY (()) machine_function):
        Add member lr_slot_known.
        * config/epiphany/epiphany.md (reload_insi_ra): Compute lr_slot_offs
        if necessary.
        * config/epiphany/epiphany.c (epiphany_compute_frame_size):
        Remove code that sets lr_slot_offset according to what a previous
        version of epiphany_emit_save_restore used to do.
        (epiphany_emit_save_restore): When doing an lr save or restore,
        set/verify lr_slot_known and lr_slot_offset.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197577 138bc75d-0d04-0410-961f-82ee72b054a4

Fix PR target/54338 - Include IWMMXT_GR_REGS in ALL_REGS.

For Xinyu Qi.

2013-04-08  Xinyu Qi  <xyqi@marvell.com>

  PR target/54338
  * config/arm/arm.h (REG_CLASS_CONTENTS): Include IWMMXT_GR_REGS
in ALL_REGS.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197576 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Richard Biener  <rguenther@suse.de>

* alias.c (find_base_term): Fix thinko in previous change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197572 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Richard Biener  <rguenther@suse.de>

* gfortran.dg/vect/fast-math-pr37021.f90: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197571 138bc75d-0d04-0410-961f-82ee72b054a4

2013-04-08  Richard Biener  <rguenther@suse.de>

* g++.dg/vect/slp-pr56812.cc: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197569 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-loop-distribution.c (const_with_all_bytes_same): New function.
(generate_memset_builtin): Only handle integer_all_onesp as -1 val if
TYPE_PRECISION is equal to mode bitsize.  Use const_with_all_bytes_same
if possible to compute val.
(classify_partition): Verify CONSTRUCTOR doesn't have any elts.
For QImode integers don't require anything about precision.  Use
const_with_all_bytes_same to find out if the constant doesn't have
repeated bytes in it.

* gcc.dg/pr56837.c: New test.
* gcc.dg/tree-ssa/ldist-19.c: Don't check for
"generated memset minus one".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197568 138bc75d-0d04-0410-961f-82ee72b054a4