2014-05-21  Robert Dewar  <dewar@adacore.com>

* gnatcmd.adb: Minor error msg changes (no upper case letter
at start).
* sem_ch12.adb, sem_ch5.adb, sem_res.adb, sem_util.adb: Minor
reformatting.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* debug.adb: Debug flag -gnatd.G inhibits static elab tracing
via generic formals.
* sem_elab.adb (Is_Call_Of_Generic_Formal): Return False if
-gnatd.G is set.

2014-05-21  Thomas Quinot  <quinot@adacore.com>

* exp_pakd.adb (Revert_Storage_Order): Renamed from Byte_Swap to
more accurately describe that this subprogram needs to come into
play also in cases where no byte swapping is involved, because
it also takes care of some required shifts (left-justification
of values).

2014-05-21  Thomas Quinot  <quinot@adacore.com>

* freeze.adb (Check_Component_Storage_Order): Indicate whether
a Scalar_Storage_Order attribute definition is present for the
component's type.
(Freeze_Record_Type): Suppress junk warnings
about purportedly junk Bit_Order / Scalar_Storage_Order attribute
definitions.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb (Analyze_Subprogram_Renaming): Put back call
to Kill_Elaboration_Checks.

2014-05-21  Gary Dismukes  <dismukes@adacore.com>

* layout.adb (Assoc_Add): Suppress the optimization of the (E
- C1) + C2 case, when the expression type is unsigned and C1 <
C2, to avoid creating a negative literal when folding.

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

2014-05-21  Hristian Kirtchev  <kirtchev@adacore.com>

* freeze.adb (Freeze_Record_Type): Update the use of
Is_SPARK_Volatile.
* sem_ch3.adb (Analyze_Object_Contract): Update the use of
Is_SPARK_Volatile.
(Process_Discriminants): Update the use of Is_SPARK_Volatile.
* sem_ch5.adb (Analyze_Iterator_Specification): Update the use
of Is_SPARK_Volatile.
(Analyze_Loop_Parameter_Specification):
Update the use of Is_SPARK_Volatile.
* sem_ch6.adb (Process_Formals): Catch an illegal use of an IN
formal parameter when its type is volatile.
* sem_prag.adb (Analyze_Global_Item): Update the use of
Is_SPARK_Volatile.
* sem_res.adb (Resolve_Entity_Name): Correct the guard which
determines whether an entity is a volatile source SPARK object.
* sem_util.adb (Has_Enabled_Property): Accout for external
properties being set on objects other than abstract states
and variables. An example would be a formal parameter.
(Is_SPARK_Volatile): New routine.
(Is_SPARK_Volatile_Object):
Remove the entity-specific tests. Call routine Is_SPARK_Volatile
when checking entities and/or types.
* sem_util.ads (Is_SPARK_Volatile): New routine.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb: Minor fix to warning messages (use ?? instead
of ?).

2014-05-21  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): For platforms other than VMS, recognize
switch --version and --help.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_elab.adb (Is_Call_Of_Generic_Formal): New function.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Iterator_Specification): Set type of
iterator variable when the domain of iteration is a formal
container and this is an element iterator.

2014-05-21  Bob Duff  <duff@adacore.com>

* sem_ch12.adb: Minor reformatting.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sinfo.ads, sem_ch12.adb, sem_warn.adb: Minor reformatting.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_elab.adb: Minor reformatting.
* s-taprop.ads: Minor comment fix.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Remove call to
Kill_Elaboration_Checks.
* errout.adb, erroutc.adb: Minor reformatting.

2014-05-21  Thomas Quinot  <quinot@adacore.com>

* exp_pakd.adb (Byte_Swap): Handle the case of a sub-byte
component. No byte swapping occurs, but this procedure also takes
care of appropriately justifying the argument.

2014-05-21  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb: sem_ch6.adb (Analyze_Aspects_On_Body_Or_Stub):
New routine.
(Analyze_Subprogram_Body_Helper): Move the
analysis of aspect specifications and the processing of the
subprogram body contract after inlining has taken place.
(Diagnose_Misplaced_Aspect_Specifications): Removed.

2014-05-21  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): Revert previous change.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_eval.ads, sem_eval.adb (Why_Not_Static): Messages are not
continuations any more.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sinfo.ads, sinfo.adb: New flag Needs_Initialized_Actual,
present in formal_Private_Definitions and on private extension
declarations of a formal derived type. Set when the use of the
formal type in a generic suggests that the actual should be a
fully initialized type.
* sem_warn.adb (May_Need_Initialized_Actual): new subprogram
to indicate that an entity of a generic type has default
initialization, and that the corresponing actual type in any
subsequent instantiation should be fully initialized.
* sem_ch12.adb (Check_Initialized_Type): new subprogram,
to emit a warning if the actual for a generic type on which
Needs_Initialized_Actual is set is not a fully initialized type.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_elab.adb, prj-dect.adb: Minor reformatting.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* erroutc.ads: Minor comment addition.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* errout.ads: Add documentation for use of >*> tag.
* restrict.adb: Make sure we use >*> tag for restriction warnings.

2014-05-21  Gary Dismukes  <dismukes@adacore.com>

* debug.adb: Add case of illegal overriding_indicator for a
protected subprogram body to description of -gnatd.E switch.
* sem_ch6.adb (Verify_Overriding_Indicator): Issue error message
for cases of giving overriding_indicators on protected subprogram
bodies, but change this to a warning if -gnatd.E is enabled. No
longer give a style warning about missing indicators on protected
subprogram bodies.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* prj.ads, sem_ch12.adb, prj.adb, exp_pakd.adb,
sem_elab.ads: Minor reformatting.
* erroutc.adb, erroutc.ads (Warning_Specifically_Suppressed): Make Tag
parameter optional.

2014-05-21  Pascal Obry  <obry@adacore.com>

* prj-dect.adb: Allow package Install in aggregate project.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications):
Insert_Delayed_Pragma is now used for the case of Attach_Handler.
* sem_prag.adb: Minor comment improvements.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Install_Body): When checking whether freezing of
instantiation must be delayed, verify that the common enclosing
subprogram to generic and instance is in fact an overloadable
entity.

2014-05-21  Vincent Celier  <celier@adacore.com>

* makeutl.adb (Mains.Complete_Mains.Do_Complete): Look for all
mains with the same name and fail if there is more than one.
* prj.ads, prj.adb (Find_All_Sources): New function

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb: Minor reformatting.
* lib-xref-spark_specific.adb, sem_util.adb: Minor reformatting.
* sem_prag.adb: Minor error message improvement.

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

2014-05-21  Yannick Moy  <moy@adacore.com>

* lib-xref-spark_specific.adb, lib-xref.ads, lib-xref.adb
(Enclosing_Subprogram_Or_Package): Only return a library-level
package.

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

2014-05-21  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): Initialize Parent_Base
to the full view of the parent type when processing a derived type
which is the full view of a private type not defined in a generic
unit which is derived from a private type with discriminants
whose full view is a non-tagged record type.

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

Previous change (rev 210697) should have mentioned PR ada/9535:

        PR ada/9535
        * g-socket.adb (Read and Write for Datagram_Socket_Stream_Type):
        Provide a behaviour more consistent with underlying datagram
        socket: do not attempt to loop over Send_Socket/Receive_Socket
        iterating along the buffer.

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

2014-05-21  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb (Expand_Allocator_Expression.Apply_Accessibility_Check):
Complete previous patch.

2014-05-21  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb (Read and Write for Datagram_Socket_Stream_Type):
Provide a behaviour more consistent with underlying datagram
socket: do not attempt to loop over Send_Socket/Receive_Socket
iterating along the buffer.

2014-05-21  Hristian Kirtchev  <kirtchev@adacore.com>

* freeze.adb (Freeze_Record_Type): Ensure that a discriminated
or a tagged type is not labelled as volatile. Ensure that a
non-volatile type has no volatile components.
* sem_ch3.adb (Analyze_Object_Contract): Add local constant
Obj_Typ. Code reformatting.  Ensure that a discriminated or
tagged object is not labelled as volatile.
* sem_prag.adb (Process_Atomic_Shared_Volatile): Ensure that
pragma Volatile applies to a full type declaration or an object
declaration when SPARK mode is on.

2014-05-21  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi: For ASIS tools, reword the paragraph about
providing options needed for compiling the argument source for
the situation when a project file can be used as a tool parameter.

2014-05-21  Gary Dismukes  <dismukes@adacore.com>

* gnat_rm.texi: Minor typo fix.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* stand.adb (Tree_Read): Read missing entities.
(Tree_Write): Write missing entities.

2014-05-21  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Wordsmithing edits to Coupling Metrics Control
section in gnatmetric chapter.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb (Expand_Actuals): Spec moved here, since not used
outside Exp_Ch6 (Expand_Actuals): Deal with proper insertion of
post-call copy write back (see detailed comment in code).
* exp_ch6.ads (Expand_Actuals): Moved to body, not used outside
Exp_Ch6.
* tbuild.ads: Minor reformatting.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* stand.ads: Add warning about adding new entities and
Tree_Read/Tree_Write.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Set_Entity_With_Checks): Don't complain about
references to restricted entities within the units in which they
are declared.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* gnat1drv.adb (Check_Bad_Body): Use Source_File_Is_Body to
simplify the needed test, and also deal with failure to catch
situations with non-standard names.
* sinput-l.ads, sinput-l.adb (Source_File_Is_No_Body): New function
(Source_File_Is_Subunit): Removed, no longer used.

2014-05-21  Javier Miranda  <miranda@adacore.com>

* exp_ch4.adb
(Expand_Allocator_Expression.Apply_Accessibility_Check): for a
renaming of an access to interface object there is no need to
generate extra code to reference the tag.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* errout.adb, erroutc.adb, erroutc.ads: Allow warning tag in pragma
Warnings (Off, string).

2014-05-21  Robert Dewar  <dewar@adacore.com>

* osint.adb: Fix three error messages to say invalid instead
of erroneous.
* par-ch4.adb, exp_aggr.adb, sem_attr.adb, sem_aux.adb, sem_ch3.adb,
sem_ch5.adb, sem_ch6.adb, sem_ch7.adb, sem_dim.adb, sem_res.adb,
sem_util.adb, sem_util.ads: Fix incorrect use of erroneous in comments.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb, sem_ch13.adb, sem_ch13.ads, sem_ch9.adb,
sem_ch9.ads: Move discriminant manipulation routines for analysis of
aspect specifications from sem_ch9 to sem_ch13, where they belong.

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

2014-05-21  John Marino  <gnugcc@marino.st>

gcc:

* config.gcc (*-*-dragonfly*): New target.
* configure.ac: Detect dl_iterate_phdr (*freebsd*, *dragonfly*).
* configure: Regenerate.
* config/dragonfly-stdint.h: New.
* config/dragonfly.h: New.
* config/dragonfly.opt: New.
* config/i386/dragonfly.h: New.
* ginclude/stddef.h: Detect _PTRDIFF_T_DECLARED for DragonFly.

include:

* liberty.h: Use basename function on DragonFly.

libcilkrts:

* runtime/os-unix.c (__DragonFly__): New target.

libgcc:

* config.host (*-*-dragonfly*): New target.
* crtstuff.c: Make dl_iterate_support generic on *bsd.
* enable-execute-stack-mprotect.c: Always mprotect on FreeBSD.
* unwind-dw2-fde-dip.c: Add dl_iterate_phr support for DragonFly.
* config/i386/dragonfly-unwind.h: New.

libitm:

* configure.tgt (*-*-dragonfly*): New target.

libstdc++-v3:

* acinclude.m4 (*-*-dragonfly*): New target.
* configure: Regenerate.
* configure.host (*-*-dragonfly*): New target.
* config/locale/dragonfly/c_locale.cc: New.
* config/locale/dragonfly/ctype_members.cc: New.
* config/os/bsd/dragonfly/ctype_base.h: New.
* config/os/bsd/dragonfly/ctype_configure_char.cc: New.
* config/os/bsd/dragonfly/ctype_inline.h: New.
* config/os/bsd/dragonfly/os_defines.h: New.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Clearly document -gnatw.g (GNAT warnings).
Clearly document -gnatyg (GNAT style switches).
* usage.adb: Add line line for -gnatw.g (GNAT warnings) More
detail for line for -gnatyg (GNAT style switches) -gnatw.d/D is
available for VMS after all.
* warnsw.adb: Reorganize to eliminate duplicated code
(Restore_Warnings): Add a couple of missing entries
(Save_Warnings): Add a couple of missing entries.
* warnsw.ads: Add missing entries to Warning_Record (not clear
what the impact is).

2014-05-21  Robert Dewar  <dewar@adacore.com>

* errout.adb (Set_Msg_Insertion_Warning): Handle ?*? (restriction
warning) case.
* errout.ads: Document ?*? (restriction warning) insertion.
* erroutc.adb (Get_Warning_Tag): Deal with ?*? (restriction
warning) case.
* erroutc.ads: Document use of * for restriction warning tag.
* restrict.adb (Restriction_Msg): Tag with ?*? instead of ??.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch9.adb (Push_Scope_And_Install_Discriminants): Do not
make discriminants immediately visible when analyzing an aspect
of a subtype declaration.
(Uninstall_Discriminants): Do not apply to the entity in a
subtype declaration.

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

gcc/
* tree.def (VOID_CST): New.
* tree-core.h (TI_VOID): New.
* tree.h (void_node): New.
* tree.c (tree_node_structure_for_code, tree_code_size)
(iterative_hash_expr): Handle VOID_CST.
(build_common_tree_nodes): Initialize void_node.

gcc/c-family/
* c-common.h (CTI_VOID_ZERO, void_zero_node): Delete.
* c-common.c (c_common_nodes_and_builtins): Don't initialize
void_zero_node.
* c-pretty-print.c (pp_c_void_constant): New function.
(c_pretty_printer::constant, c_pretty_printer::primary_expression)
(c_pretty_printer::expression): Handle VOID_CST.
* cilk.c (extract_free_variables): Likewise.
* c-ubsan.c (ubsan_instrument_division, ubsan_instrument_shift)
(ubsan_instrument_vla): Use void_node instead of void_zero_node.

gcc/c/
* c-array-notation.c (expand_array_notations): Use void_node
instead of void_zero_node.

gcc/cp/
* cvt.c (convert_to_void): Use void_node instead of void_zero_node.
* cp-array-notation.c (replace_invariant_exprs): Likewise.
(expand_array_notation): Handle VOID_CST.
* error.c (dump_expr): Likewise.
* cxx-pretty-print.c (cxx_pretty_printer::primary_expression)
(cxx_pretty_printer::expression): Likewise.
(pp_cxx_new_expression): Use void_node instead of void_zero_node.
* decl.c (register_dtor_fn): Likewise.
* init.c (build_raw_new_expr, build_new_1, build_vec_init)
(build_delete, push_base_cleanups): Likewise.
* mangle.c (write_expression): Likewise.
* semantics.c (finish_break_stmt, empty_expr_stmt_p): Likewise.
* pt.c (tsubst_decl, tsubst_copy_and_build): Likewise.
(tsubst, tsubst_copy, build_non_dependent_expr): Handle VOID_CST.
* tree.c (cp_tree_equal): Likewise.
(build_dummy_object, is_dummy_object, stabilize_expr): Use void_node
instead of void_zero_node.
* typeck.c (check_return_expr): Likewise.
* typeck2.c (build_functional_cast): Likewise.

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

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb: Code clean up.

2014-05-21  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Document -Werror.

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

2014-05-21  Bob Duff  <duff@adacore.com>

* sem_util.adb (Is_Dependent_Component_Of_Mutable_Object):
This was returning False if the Object is a constant view. Fix
it to return True in that case, because it might be a view of
a variable.
(Has_Discriminant_Dependent_Constraint): Fix latent
bug; this function was crashing when passed a discriminant.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Remove misplaced section that is now obsolete.
* s-arit64.adb: Minor code reorganization.
* sem_prag.adb: Minor comment fix (remove erroneous use of the
term erroneous).

2014-05-21  Robert Dewar  <dewar@adacore.com>

* g-table.adb, g-dyntab.adb (Reallocate): Fix possible overflow in
computing new table size.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* einfo.ads: Minor reformatting.
* ceinfo.adb: Deal with slight format change of einfo.ads.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Part_Of): Further work on the proper
implementation of the SPARK 2014 rule concerning private child
units (LRM 7.2.6).

2014-05-21  Vincent Celier  <celier@adacore.com>

* makeusg.adb: Add switch -d to usage.

2014-05-21  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Find_Actual): If an actual that is the prefix
of an enclosing prefixed call has been rewritten, use Nkind
and Sloc to identify the corresponding formal, when handling
deferred references.

2014-05-21  Robert Dewar  <dewar@adacore.com>

* debug.adb: Document -gnatd.z switch.
* sem_eval.adb (Why_Non_Static): Test -gnatd.z switch.

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

2014-05-21  Robert Dewar  <dewar@adacore.com>

* einfo.ads (Can_Never_Be_Null): Minor comment update.
* sem_prag.adb (Check_Arg_Is_Task_Dispatching_Policy): Minor
error message change.
* s-arit64.adb ("abs"): New function. Use expression functions
for the simple conversions and arithmetic.

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

Amend: yes

* g++.dg/cpp0x/pr61038.C (operator "" _s): Use size_t.

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

Fix misapplied ChangeLog patch.

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

Improve reload code generation by ignoring init insns for reloads.

     * reload1.c (remove_init_insns, will_delete_init_insn_p): New static
     functions.
     (reload, calculate_needs_all_insns, reload_as_needed): Use them.

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

Make the Blackfin port build again.

* config/bfin/bfin.c (split_load_immediate): Use gen_int_mode in a few
more places.

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

Stop the cfglayout code from failing an assert when called from hw-doloop.

* cfgrtl.c (cfg_layout_initialize): Weaken assert to only trigger if
flag_reorder_blocks_and_partition.
* hw-doloop.c (reorg_loops): Avoid reordering if that flag is set.

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

gcc/
        PR target/54236
        * config/sh/sh.md (*addc_r_1): Rename to addc_t_r.  Remove empty
        constraints.
        (*addc_r_t): Add new insn_and_split.

gcc/testsuite/
        PR target/54236
        * gcc.target/sh/pr54236-3.c: New.

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

PR middle-end/61252
* omp-low.c (handle_simd_reference): New function.
(lower_rec_input_clauses): Use it.  Defer adding reference
initialization even for reduction without placeholder if in simd,
handle it properly later on.

* testsuite/libgomp.c++/simd-9.C: New test.

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

gcc/cp
PR c/60189
* parser.c (cp_parser_postfix_expression): Move handling of cilk_sync
from here to...
(cp_parser_statement): ...here. Make sure only semicolon can go after
Cilk_sync.

gcc/testsuite
PR c++/60189
* c-c++-common/cilk-plus/CK/invalid_sync.cÑ: New test.

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

PR tree-optimization/60899
* gimple-fold.c (can_refer_decl_in_current_unit_p): Cleanup;
assume all static symbols will have definition wile parsing and
check the do have definition later in compilation; check that
variable referring symbol will be output before concluding that
reference is safe; be conservative for referring local statics;
be more precise about when comdat is output in other partition.

g++.dg/ipa/devirt-11.C: Update template.

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

PR bootstrap/60984
* ipa-inline-transform.c (inline_call): Use add CALLEE_REMOVED parameter.
* ipa-inline.c (inline_to_all_callers): If callee was removed; return.
(ipa_inline): Loop inline_to_all_callers until no more aliases are removed.

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

* ipa.c (ipa_discover_readonly_nonaddressable_var): Fix dumping;
set writeonly flag only for vars actually written to.

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

PR libgcc/60166
* config/arm/sfp-machine.h (_FP_NANFRAC_H, _FP_NANFRAC_S)
(_FP_NANFRAC_D, _FP_NANSIGN_Q): Set the quiet bit.

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

gcc/testsuite/

2014-05-20  Edward Smith-Rowland  <3dw4rd@verizon.net>

PR C++/61038
* g++.dg/cpp0x/pr61038.C: New.

libcpp/

2014-05-20  Edward Smith-Rowland  <3dw4rd@verizon.net>

PR C++/61038
* macro.c (stringify_arg (cpp_reader *, macro_arg *)):
Check for user-defined literal strings and user-defined literal chars
to escape necessary characters.

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

Daily bump.

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

2014-05-20  Dehao Chen  <dehao@google.com>

* ipa-inline-transform.c (clone_inlined_nodes): Use min of edge count
and callee count to get clone count.
* tree-inline.c (expand_call_inline): Use callee count instead of bb
count in copy_body.

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

2014-05-20  Cesar Philippidis  <cesar@codesourcery.com>

libstdc++-v3/
* scripts/testsuite_flags.in (cxxflags): Remove @CXXFLAGS@ since
libstdc++.exp imports those flags via getenv.
* testsuite/lib/libstdc++.exp (libstdc++_init): Ensure that
CXXFLAGS contains a '-O' flag.

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

gcc/
PR rtl-optimization/61243
* emit-rtl.c (emit_copy_of_insn_after): Copy CROSSING_JUMP_P.

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

add dbgcnt support for devirt

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

* config/msp430/msp430.md (split): Don't allow subregs when
splitting SImode adds.
(andneghi): Fix subtraction logic.
* config/msp430/predicates.md (msp430_nonsubreg_or_imm_operand): New.

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

* tree.h (DECL_ONE_ONLY): Return true only for externally visible
symbols.
* except.c (switch_to_exception_section, resolve_unique_section,
get_named_text_section, default_function_rodata_section,
align_variable, get_block_for_decl, default_section_type_flags):
Use DECL_COMDAT_GROUP instead of DECL_ONE_ONLY.
* symtab.c (symtab_add_to_same_comdat_group,
symtab_make_decl_local, fixup_same_cpp_alias_visibility,
symtab_nonoverwritable_alias, symtab_get_symbol_partitioning_class):
Likewise.
* cgraphclones.c (cgraph_create_virtual_clone): Likewise.
* bb-reorder.c (pass_partition_blocks::gate): Likewise.
* config/c6x/c6x.c (c6x_elf_unique_section): Likewise.
(c6x_function_in_section_p): Likewise.
* config/darwin.c (machopic_select_section): Likewise.
* config/arm/arm.c (arm_function_in_section_p): Likewise.
* config/mips/mips.c (mips_function_rodata_section): Likewise.
* config/mep/mep.c (mep_select_section): LIkewise.
* config/i386/i386.c (x86_64_elf_unique_section): Likewise.

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

/cp
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/58753
PR c++/58930
PR c++/58704
* typeck2.c (digest_nsdmi_init): New.
* parser.c (cp_parser_late_parse_one_default_arg): Use it.
* init.c (get_nsdmi): Likewise.
* cp-tree.h (digest_nsdmi_init): Declare.

/testsuite
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/58753
PR c++/58930
PR c++/58704
* g++.dg/cpp0x/nsdmi-template11.C: New.
* g++.dg/cpp0x/nsdmi-template12.C: Likewise.
* g++.dg/cpp0x/nsdmi-template13.C: Likewise.

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

* typeck.c (get_member_function_from_ptrfunc): Don't try to look
up a virtual function in a dummy object.

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

2014-05-20  Alexey Merzlyakov  <alexey.merzlyakov@samsung.com>

PR libstdc++/61223
Revert:
2014-05-16  Alexey Merzlyakov  <alexey.merzlyakov@samsung.com>

PR libstdc++/60758
* libsupc++/eh_arm.cc (__cxa_end_cleanup): Change r4 to lr in save/restore
and add unwind directives.

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

* tree-ssa-dom.c (hashable_expr_equal_p) <EXPR_CALL>: Also compare the
EH region of calls to pure functions that can throw an exception.
* tree-ssa-sccvn.c (vn_reference_eq): Remove duplicated test.
(copy_reference_ops_from_call): Also copy the EH region of the call if
it can throw an exception.

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

* config/msp430/msp430.c (TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
(msp430_gimplify_va_arg_expr): New function.
(msp430_print_operand): Handle (CONST (ZERO_EXTRACT)).

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

/cp
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60373
* decl.c (duplicate_decls): Replace pair of warning_at with
warning_at + inform.
(maybe_commonize_var): Likewise.

/testsuite
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/60373
* g++.dg/cpp0x/Wattributes1.C: New.
* g++.dg/ext/visibility/redecl1.C: Adjust.
* g++.dg/ext/visibility/visibility-7.C: Likewise.

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

gcc/cp/
PR bootstrap/61210
* pt.c (tsubst_copy, tsubst_omp_for_iterator, tsubst_expr)
(tsubst_copy_and_build): Perform recursive substitutions in a
deterministic order.

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

[gcc]

2014-05-20  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* simplify-rtx.c (simplify_binary_operation_1): Optimize case of
nested VEC_SELECTs that are inverses of each other.

[gcc/testsuite]

2014-05-20  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

* gcc.target/powerpc/vsxcopy.c: New test.

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

2014-05-20  Richard Biener  <rguenther@suse.de>

* tree-ssa-sccvn.c (process_scc): Dump SCC here, when
iterating,
(extract_and_process_scc_for_name): not here.
(cond_dom_walker::before_dom_children): Only process
stmts that end the BB in interesting ways.
(run_scc_vn): Mark param uses as visited.

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

/cp
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/58664
* typeck2.c (cxx_incomplete_type_inform): New.
(cxx_incomplete_type_diagnostic): Use it.
* decl.c (grokdeclarator): Check the element type of an
incomplete array type; call the above.
* cp-tree.h (cxx_incomplete_type_inform): Declare.

/testsuite
2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/58664
* g++.dg/cpp0x/nsdmi-union6.C: New.
* g++.dg/parse/pr58664.C: Likewise.
* g++.dg/cpp0x/nsdmi6.C: Tweak.
* g++.dg/parse/crash31.C: Likewise.
* g++.dg/template/error2.C: Likewise.
* g++.dg/template/inherit8.C: Likewise.
* g++.dg/template/offsetof2.C: Likewise.

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

[ARM] Adjust arith_shiftsi for -mrestrict-it.
* config/arm/arm.md (arith_shiftsi): Do not predicate for
arm_restrict_it.

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

contrib/
* dg-extract-results.py (parse_run): Handle warnings that are printed
before a test harness is run.

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

* config/msp430/msp430.md (zero_extendpsisi2): Use + constraint on
operand 0 in order to prevent confusion about the number of
registers involved.

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

2014-05-20  Sebastian Huber  <sebastian.huber@embedded-brains.de>

libffi/
* testsuite/lib/libffi.exp (load_gcc_lib): Register loaded libs.

libjava/
* testsuite/lib/libjava.exp (load_gcc_lib): Register loaded libs.

libstdc++-v3/
* testsuite/lib/libstdc++.exp (load_gcc_lib): Register loaded libs.

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

2014-05-20  Richard Biener  <rguenther@suse.de>

PR tree-optimization/61221
* tree-ssa-pre.c (el_to_update): Remove.
(eliminate_dom_walker::before_dom_children): Handle released
VDEFs by value-numbering them to the associated VUSE.  Update
stmt immediately for substituted call address.
(eliminate): Remove delayed stmt updating code.
* tree-ssa-sccvn.c (vuse_ssa_val): New function valueizing
possibly late re-numbered vuses.
(vn_reference_lookup_2): Adjust.
(vn_reference_lookup_pieces): Likewise.
(vn_reference_lookup): Likewise.

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

2014-05-20  Richard Biener  <rguenther@suse.de>

gcc/
* config.gcc: Remove need_64bit_hwint.
* configure.ac: Do not define NEED_64BIT_HOST_WIDE_INT.
* hwint.h: Do not check NEED_64BIT_HOST_WIDE_INT but assume
it to be true.
* config.in: Regenerate.
* configure: Likewise.

libcpp/
* configure.ac: Copy gcc logic of detecting a 64bit type.
Remove HOST_WIDE_INT define.
* include/cpplib.h: typedef cpp_num_part to a 64bit type,
similar to how hwint.h does it.
* config.in: Regenerate.
* configure: Likewise.

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

* mode-switching.c (optimize_mode_switching): Fix comment typo.

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

2014-05-20  Tim Shen  <timshen91@gmail.com>

PR libstdc++/61227
* include/bits/regex_compiler.h
(_BracketMatcher<>::_M_add_character_class): Add negative character
class support.
* include/bits/regex_compiler.tcc (_BracketMatcher<>::_M_apply):
Likewise.
* testsuite/28_regex/algorithms/regex_match/ecma/char/quoted_char.cc:
Add more testcases.

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

Daily bump.

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

* python/libstdcxx/v6/printers.py: Use Python3 raise syntax.

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

PR c++/58761
* pt.c (tsubst_copy): Don't check at_function_scope_p.
(instantiate_class_template_1): Don't push_to_top_level in an nsdmi.

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

/cp
2014-05-19  Paolo Carlini  <paolo.carlini@oracle.com>

* typeck2.c (cxx_incomplete_type_diagnostic): Use inform.
* parser.c (cp_parser_enum_specifier): Likewise.

/testsuite
2014-05-19  Paolo Carlini  <paolo.carlini@oracle.com>

* c-c++-common/gomp/simd4.c: Adjust for inform.
* g++.dg/cpp0x/decltype-call1.C: Likewise.
* g++.dg/cpp0x/forw_enum6.C: Likewise.
* g++.dg/cpp0x/lambda/lambda-ice7.C: Likewise.
* g++.dg/cpp0x/noexcept15.C: Likewise.
* g++.dg/cpp0x/variadic-ex2.C: Likewise.
* g++.dg/eh/spec6.C: Likewise.
* g++.dg/expr/cast1.C: Likewise.
* g++.dg/expr/dtor1.C: Likewise.
* g++.dg/ext/is_base_of_diagnostic.C: Likewise.
* g++.dg/ext/unary_trait_incomplete.C: Likewise.
* g++.dg/gomp/pr49223-2.C: Likewise.
* g++.dg/gomp/udr-4.C: Likewise.
* g++.dg/init/delete1.C: Likewise.
* g++.dg/other/crash-2.C: Likewise.
* g++.dg/parse/crash24.C: Likewise.
* g++.dg/parse/crash25.C: Likewise.
* g++.dg/parse/crash31.C: Likewise.
* g++.dg/parse/crash49.C: Likewise.
* g++.dg/parse/crash50.C: Likewise.
* g++.dg/parse/crash54.C: Likewise.
* g++.dg/parse/dtor7.C: Likewise.
* g++.dg/parse/error40.C: Likewise.
* g++.dg/parse/fused-params1.C: Likewise.
* g++.dg/parse/new1.C: Likewise.
* g++.dg/template/crash35.C: Likewise.
* g++.dg/template/crash59.C: Likewise.
* g++.dg/template/crash77.C: Likewise.
* g++.dg/template/error51.C: Likewise.
* g++.dg/template/incomplete1.C: Likewise.
* g++.dg/template/incomplete3.C: Likewise.
* g++.dg/template/incomplete4.C: Likewise.
* g++.dg/template/incomplete5.C: Likewise.
* g++.dg/template/inherit8.C: Likewise.
* g++.dg/template/instantiate1.C: Likewise.
* g++.dg/template/instantiate3.C: Likewis: Likewise.
* g++.dg/template/offsetof2.C: Likewise.
* g++.dg/tm/pr51928.C: Likewise.
* g++.dg/warn/Wdelete-incomplete-1.C: Likewise.
* g++.dg/warn/incomplete1.C: Likewise.
* g++.dg/warn/incomplete2.C: Likewise.
* g++.old-deja/g++.brendan/friend4.C: Likewise.
* g++.old-deja/g++.bugs/900121_01.C: Likewise.
* g++.old-deja/g++.bugs/900214_01.C: Likewise.
* g++.old-deja/g++.eh/catch1.C: Likewise.
* g++.old-deja/g++.eh/spec6.C: Likewise.
* g++.old-deja/g++.mike/p7868.C: Likewise.
* g++.old-deja/g++.other/crash38.C: Likewise.
* g++.old-deja/g++.other/enum2.C: Likewise.
* g++.old-deja/g++.other/incomplete.C: Likewise.
* g++.old-deja/g++.other/vaarg3.C: Likewise.
* g++.old-deja/g++.pt/crash9.C: Likewise.
* g++.old-deja/g++.pt/niklas01a.C: Likewise.
* g++.old-deja/g++.pt/typename8.C: Likewise.
* g++.old-deja/g++.robertl/ice990323-1.C: Likewise.

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

2014-05-19  David Wohlferd <dw@LimeGreenSocks.com>

        * doc/extend.texi: Create Label Attributes section,
        move all label attributes into it and reference it.

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

+ * MAINTAINERS: Add wide-int reviewers.

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

* arm.c (thumb1_reorg): When scanning backwards skip anything
that's not a proper insn.

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

* lib/target-supports.exp
(check_effective_target_vect_sizes_32B_16B): Return false if
128-bit AVX vectors preferred.

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

* lib/target-supports.exp (check_effective_target_avx): Early out
if not x86 to prevent x86 flags on non-x86 targets.

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

libitm: Enable aarch64

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

2014-05-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/61221
* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
Do nothing for unreachable blocks.
* tree-ssa-sccvn.c (cond_dom_walker::before_dom_children):
Improve unreachability detection.

* gcc.dg/torture/pr61221.c: New testcase.

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

2014-05-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/61209
* tree-ssa-sccvn.c (visit_phi): Avoid setting expr to VN_TOP.

* gfortran.dg/pr61209.f90: New testcase.

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

* except.c (init_eh): Fix computation of builtin setjmp buffer
size to allow for targets where POINTER_SIZE > BITS_PER_WORD.

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

2014-05-19  Richard Biener  <rguenther@suse.de>

PR tree-optimization/61184
* tree-vrp.c (is_negative_overflow_infinity): Use
TREE_OVERFLOW_P and do that check first.
(is_positive_overflow_infinity): Likewise.
(is_overflow_infinity): Likewise.
(vrp_operand_equal_p): Properly treat operands with
differing overflow as not equal.

* c-c++-common/torture/pr61184.c: New testcase.

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

Fix an error in a CONST_INT_P patch from 2009.

* simplify-rtx.c (simplify_unary_operation_1): Use CONST_INT_P in
shift simplification where it was intended.

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

PR target/61195
* config/sh/sh.md (movsf_ie): Unset fp_mode for fmov

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

gcc/
PR target/61084
* config/sparc/sparc.c (sparc_fold_builtin): Use widest_int rather
than wide_int.

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

gcc/
* reg-notes.def (CROSSING_JUMP): Likewise.
* rtl.h (rtx_def): Update comment for jump flag.
(CROSSING_JUMP_P): Define.
* cfgcleanup.c (try_forward_edges, try_optimize_cfg): Use it instead
of a REG_CROSSING_JUMP note.
* cfghooks.c (tidy_fallthru_edges): Likewise.
* cfgrtl.c (fixup_partition_crossing, rtl_verify_edges): Likewise.
* emit-rtl.c (try_split): Likewise.
* haifa-sched.c (sched_create_recovery_edges): Likewise.
* ifcvt.c (find_if_case_1, find_if_case_2): Likewise.
* jump.c (redirect_jump_2): Likewise.
* reorg.c (follow_jumps, fill_slots_from_thread): Likewise.
(relax_delay_slots): Likewise.
* config/arc/arc.md (jump_i, cbranchsi4_scratch, *bbit): Likewise.
(bbit_di): Likewise.
* config/arc/arc.c (arc_reorg, arc_can_follow_jump): Likewise.
* config/sh/sh.md (jump_compact): Likewise.
* bb-reorder.c (rotate_loop): Likewise.
(pass_duplicate_computed_gotos::execute): Likewise.
(add_reg_crossing_jump_notes): Rename to...
(update_crossing_jump_flags): ...this.
(pass_partition_blocks::execute): Update accordingly.

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

gcc/
* tree.h: Remove extraneous template <>.

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

2014-05-18  Wei Mi  <wmi@google.com>

        PR target/58066
        * gcc.target/i386/pr58066.c: Replace pattern matching of .cfi
        directive with rtl insns. Add effective-target of fpic and
        tls_native.

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

Add new test case

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

* ipa.c (symtab_remove_unreachable_nodes): Remove
symbol from comdat group if its body was eliminated.
(comdat_can_be_unshared_p_1): Static symbols can always
be privatized.
* symtab.c (symtab_remove_from_same_comdat_group): Break out
from ...
(symtab_unregister_node): ... this one.
(verify_symtab_base): More strict checking of comdats.
* cgraph.h (symtab_remove_from_same_comdat_group): Declare.

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

* tree-pass.h (make_pass_ipa_comdats): New pass.
* timevar.def (TV_IPA_COMDATS): New timevar.
* passes.def (pass_ipa_comdats): Add.
* Makefile.in (OBJS): Add ipa-comdats.o
* ipa-comdats.c: New file.

* g++.dg/ipa/comdat.C: New file.

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

Daily bump.

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

* ipa.c (update_visibility_by_resolution_info): New function.
(function_and_variable_visibility): Use it.

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

* gcc-interface/trans.c (Subprogram_Body_to_gnu): Rework comment and
set function_start_locus.

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

* utils.c (gnat_write_global_declarations): Adjust the flags put on
dummy_global.

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

* gcc-interface/decl.c (change_qualified_type): New static function.
(gnat_to_gnu_entity): Use it throughout to add qualifiers on types.
<E_Array_Type>: Set TYPE_VOLATILE on the array type directly.
<E_Array_Subtype>: Likewise.
Do not set flags on an UNCONSTRAINED_ARRAY_TYPE directly.
(gnat_to_gnu_component_type): Likewise.
(gnat_to_gnu_param): Likewise.

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

* fe.h (Set_Present_Expr): Move around.
(End_Location): New macro.
* gcc-interface/trans.c (Case_Statement_to_gnu): Use End_Location.

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

* cgraph.h (symtab_first_defined_symbol, symtab_next_defined_symbol):
New functions.
(FOR_EACH_DEFINED_SYMBOL): New macro.
(varpool_first_static_initializer, varpool_next_static_initializer,
varpool_first_defined_variable, varpool_next_defined_variable): Fix comments.
(symtab_in_same_comdat_p): Correctly deal with inline functions.

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

* gcc-interface/decl.c (gnat_to_gnu_entity): Use Underlying_Type in
lieu of more verbose construct.
* gcc-interface/trans.c (Call_to_gnu): Likewise.
(gnat_to_gnu): Likewise.  Remove obsolete code.

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

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Do not
consider that regular packed arrays can never be superflat.

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

* libgomp.texi (Runitme Library Routines): Remove multiple @menu.
(Environment Variables) Move OMP_PROC_BIND and OMP_STACKSIZE node
texts according to their @menu entry positions.

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

* gcc.target/ia64/visibility-1.c (variable_l): Add used attribute.

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

* ChangeLog: Fix.
* testsuite/ChangeLog: Ditto.

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

* doc/extend.texi (Size of an asm): Really move node to its position.

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

2014-05-17  Jerry DeLisle  <jvdelisle@gcc.gnu>

PR libfortran/52539
* gfortran.dg/namelist_utf8.f90: New test.

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

2014-05-17  Jerry DeLisle  <jvdelisle@gcc.gnu>

PR libfortran/52539
* io/io.h (gfc_unit): New function pointers *next_char_fn_ptr
and *push_char_fn_ptr.
*io/list_read.c (next_char): Create macro with this name to call
the new function pointer. Split the original next_char function
into three new functions. (next_char_default, next_char_internal,
next_char_utf8): New functions. (push_char): Create macro with
this name to call new function pointer. Split the original
push_char into three new functions. (push_char_default,
push_char_internal, push_char4): New functions. (set_workers):
New function to initilize the function pointers depending on the
type of IO to be performed. (list_formatted_read_scalar): Use
set_workers function. (finish_list_read): Likewise.
(namelist_read): Likewise.
(nml_get_obj_data): Use push_char_default.

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

Daily bump.

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

comment ggc_handle_finalizers

* ggc-page.c (ggc_handle_finalizers): Add comment.

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