PR ipa/63566
* ipa-visibility.c (cgraph_node::non_local_p): Accept aliases.
(cgraph_node::local_p): Remove thunk related FIXME.

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

PR ipa/63566
* i386.c (ix86_function_regparm): Look through aliases to see if callee
is local and optimized.
(ix86_function_sseregparm): Likewise; also use target's SSE math
settings; error out instead of silently generating wrong code
on mismatches.
(init_cumulative_args): Look through aliases.

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

PR ipa/63566
* ipa-split.c (execute_split_functions): Split if function has aliases.

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

PR ipa/63566
* cgraphunit.c (cgraph_node::analyze): Be sure target of thunk is
aliases before trying to expand it.
(cgraph_node::expand_thunk): Fix formating.

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

Use the local name instead of the original name in the check for name conflicts
between a hosting program unit and use-associated symbols
in that program unit.

fortran/
PR fortran/63744
* module.c (check_for_ambiguous): Change argument type
from gfc_symbol to gfc_symtree.  Check local (symtree) name
instead of original (symbol) name.
(read_module): Update caller.

testsuite/
PR fortran/63744
gfortran.dg/use_rename_8.f90: New.

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

* gcc-interface/decl.c (gnat_to_gnu_param): Do not strip the padding
if the parameter either is passed by reference or if the alignment
would be lowered.

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

* gcc-interface/decl.c (is_cplusplus_method): Use Is_Primitive flag to
detect primitive operations of tagged and untagged types.

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

* gcc-interface/decl.c (gnat_to_gnu_entity): Do not bother about alias
sets in presence of derivation for subprogram types.

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

* gcc-interface/utils.c (begin_subprog_body): Assert that the body is
present in the same context as the declaration.

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

Daily bump.

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

2015-02-07  Sandra Loosemore  <sandra@codesourcery.com>

gcc/
* doc/extend.texi (Function Attributes [naked]): Copy-edit.
(Using Assembly Language with C): Expand introduction.
(Basic Asm): Copy-edit.  Add more information about uses of
basic asm.
(Extended Asm): Copy-edit.  Document new escape syntax and
%l[label] syntax.
(Global Reg Vars): Copy-edit.
(Local Reg Vars): Likewise.

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

2015-02-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libgfortran/60956
* io/fbuf.c (fbuf_flush_list): New function that only flushes
if current fbuf position exceeds a limit.
* io/fbuf.h: Declare the new function.
* io/io.h (enum unit_mode): Add two new modes.
* io/list_read.c (list_formatted_read_scalar): Call new function.
* io/write.c: Include fbuf.h. (list_formatted_write_scalar):
Call new function.

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

PR middle-end/64340
* gcc-interface/trans.c (gigi): Recreate optimization_default_node
and optimization_current_node after tweaking global_options.

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

Remove blank line

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

    PR bootstrap/53348
        * inclhack.def (aix_pthread): Accept tab after define.
        * fixincl.x: Regenerate.

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

    PR debug/2714
        PR bootstrap/64256
        * xcoffout.h (DBX_CONTIN_LENGTH): Define as 16384.
        (DBX_CONTIN_CHAR): Define.

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

Remove myself from all maintainer roles.

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

Daily bump.

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

Add new files erroneously omitted from r220494.

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

PR jit/64752 - Rewrite jit testsuite to eliminate use of "file"

gcc/testsuite/ChangeLog:
PR jit/64752
* jit.dg/create-code-for-hello-world-executable.h: New file, taken
from jit.dg/test-compile-to-executable.c's create_code, with a
clarification of the output message.
* jit.dg/harness.h (CHECK_NO_ERRORS): Add test and __func__ to the
pass/fail message.
(test_jit): Use CHECK_NO_ERRORS when calling
gcc_jit_context_compile_to_file.
* jit.dg/jit.exp (jit-dg-test): Update grep for rename of
jit-verify-compile-to-file to jit-verify-output-file-was-created.
(jit-setup-compile-to-file): Likewise.  Add a verbose comment
about deletions that are attempted.
(jit-verify-compile-to-file): Rename to...
(jit-verify-output-file-was-created): ...this, and drop the
attempt to run "file" and verify the output.
(jit-verify-assembler): New function.
(jit-verify-object): New function.
(jit-verify-dynamic-library): New function.
* jit.dg/test-compile-to-assembler.c (create_code): Eliminate in
favor of an implementation from new file
create-code-for-hello-world-executable.h, which also adds a
"main".
(dg-final): Replace jit-verify-compile-to-file with
jit-verify-output-file-was-created, and invoke new function
jit-verify-assembler.
* jit.dg/test-compile-to-dynamic-library.c (create_code): Clarify
the output message.
(dg-final): Replace jit-verify-compile-to-file with
jit-verify-output-file-was-created, and invoke new function
jit-verify-dynamic-library.
* jit.dg/test-compile-to-executable.c (create_code): Eliminate in
favor of an implementation from new file
create-code-for-hello-world-executable.h, which also adds a
"main".
(dg-final): Replace jit-verify-compile-to-file with
jit-verify-output-file-was-created.  Strengthen the expected stdout
from the built executable.
* jit.dg/test-compile-to-object.c (create_code): Eliminate in
favor of an implementation from new file
create-code-for-hello-world-executable.h, which also adds a
"main".
(dg-final): Replace jit-verify-compile-to-file with
jit-verify-output-file-was-created, and invoke new function
jit-verify-object.
* jit.dg/verify-dynamic-library.c: New source file.

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

PR 64878: do not jump thread across more than one back-edge

2015-02-04  Sebastian Pop  <s.pop@samsung.com>
    Brian Rzycki  <b.rzycki@samsung.com>

PR tree-optimization/64878
* tree-ssa-threadedge.c: Include tree-ssa-loop.h.
(fsm_find_control_statement_thread_paths): Add parameter seen_loop_phi.
Stop recursion at loop phi nodes after having visited a loop phi node.

* testsuite/gcc.dg/tree-ssa/ssa-dom-thread-8.c: New.

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

* toplev.c (process_options): Change flag_ipa_ra before creating
optimization_{default,current}_node.

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

PR ipa/64896
* cgraphunit.c (cgraph_node::expand_thunk): If
restype is not is_gimple_reg_type nor the thunk_fndecl
returns aggregate_value_p, set restmp to a temporary variable
instead of resdecl.

* g++.dg/ipa/pr64896.C: New test.

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

2015-02-06  Vladimir Makarov  <vmakarov@redhat.com>

* lra.c (lra_emit_add): Fix a typo in using disp instead of base.

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

[gcc]
2015-02-06  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/64205
* config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Do not
add a general secondary reload handler for SDmode, unless we have
both read/write support for SDmode.

[gcc/testsuite]
2015-02-06  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/64205
* gcc.target/powerpc/pr64205.c: New file.

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

* gcc.target/i386/pr64317.c: Compile for 32bit *-*-linux* targets.
(dg-options): Use -fpie instead of -fPIE -pie.

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

PR middle-end/64937
* dwarf2out.c (set_block_abstract_flags, set_decl_abstract_flags):
Replace setting argument with abstract_vec, always set BLOCK_ABSTRACT
or DECL_ABSTRACT_P flags to 1 rather than to setting, and if it wasn't
1 before, push it to abstract_vec.
(dwarf2out_abstract_function): Adjust caller.  Don't call
set_decl_abstract_flags second time, instead clear BLOCK_ABSTRACT or
DECL_ABSTRACT_P flags for all abstract_vec elts.

* g++.dg/asan/pr64937.C: New test.

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

2015-02-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/63205
* gfortran.h: Add 'must finalize' field to gfc_expr and
prototypes for gfc_is_alloc_class_scalar_function and for
gfc_is_alloc_class_array_function.
* expr.c (gfc_is_alloc_class_scalar_function,
gfc_is_alloc_class_array_function): New functions.
* trans-array.c (gfc_add_loop_ss_code): Do not move the
expression for allocatable class scalar functions outside the
loop.
(conv_array_index_offset): Cope with deltas being NULL_TREE.
(build_class_array_ref): Do not return with allocatable class
array functions. Add code to pick out the returned class array.
Dereference if necessary and return if not a class object.
(gfc_conv_scalarized_array_ref): Cope with offsets being NULL.
(gfc_walk_function_expr): Return an array ss for the result of
an allocatable class array function.
* trans-expr.c (gfc_conv_subref_array_arg): Remove the assert
that the argument should be a variable. If an allocatable class
array function, set the offset to zero and skip the write-out
loop in this case.
(gfc_conv_procedure_call): Add allocatable class array function
to the assert. Call gfc_conv_subref_array_arg for allocatable
class array function arguments with derived type formal arg..
Add the code for handling allocatable class functions, including
finalization calls to prevent memory leaks.
(arrayfunc_assign_needs_temporary): Return if an allocatable
class array function.
(gfc_trans_assignment_1): Set must_finalize to rhs expression
for allocatable class functions. Set scalar_to_array as needed
for scalar class allocatable functions assigned to an array.
Nullify the allocatable components corresponding the the lhs
derived type so that the finalization does not free them.

2015-02-06  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/63205
* gfortran.dg/class_to_type_4.f90: New test

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

mksysinfo.sh: Remove _zone_net_addr_t handling.

From Rainer Orth.

The recent godump changes broke Solaris 11.1+ bootstrap in
libgo: before, gen-sysinfo.so had

type _zone_net_addr_t struct { zna_family uint16; zna_plen uint16; zna_addru struct { znau_addr6 _in6_addr; }; }

which was filtered out by mksysinfo.sh due to the use of
_in6_addr.

After the change, there's now

type _zone_net_addr_t struct { zna_family uint16; zna_plen uint16; zna_addru struct { znau_addr6 [16]byte; Godump_0_align [0]uint32; }; }

instead, not filtered, but added a second time by the
_zone_net_addr_t code in mksysinfo.sh, which leads to
redefinition warnings/errors.

Simply removing the old _zone_net_addr_t fragment fixes this
and restores bootstrap.

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

[PATCH]Keep location info when expand complex component-wise load/store.

gcc/
* tree-ssa-forwprop.c (execute): Keep location info while rewrite
complex gimple.
* tree-ssa.c (execute_update_addresses_taken): Likewise.

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

Fix 404 in "Show Source" in jit docs

maintainer-scripts/ChangeLog:
PR jit/64257
* update_web_docs_svn: When copying up files for the built jit
documentation, also copy up .txt files.

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

PR target/64889
* config/h8300/h8300.c (push): New argument "in_prologue".
Pass "in_prologue" along to "F".
(h8300_push_pop): Corresponding changes.
(h8300_expand_prologue): Likewise.
(h8300_swap_into_er6): Likewise.  Do not set RTX_FRAME_RELATED_P.

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

Revert the PR lto/64837 fix

It breaks gold:

% echo "int main () {}" | gcc -fuse-ld=gold -flto -x c++ -
ld.gold: internal error in remove_writer, at token.h:132
collect2: error: ld returned 1 exit status

* lto-plugin.c (release_input_file): Removed.
(claim_file_handler): Don't call release_input_file.
(onload): Don't set release_input_file.

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

PR rtl-optimization/64957
PR debug/64817
* simplify-rtx.c (simplify_binary_operation_1): Use ~cval for
IOR rather than for AND.

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

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

PR fortran/60289
Initial patch by Janus Weil
* resolve.c (resolve_allocate_expr): Add check for comp. only when
target is not unlimited polymorphic.
* trans-stmt.c (gfc_trans_allocate): Assign correct value to _len
component of unlimited polymorphic entities.

* gfortran.dg/unlimited_polymorphic_22.f90: New test.

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

PR target/62631
* tree-ssa-loop-ivopts.c (get_shiftadd_cost): Use the mininum of costs
of shift-add and (add + shift) operations.  Rename local variable.

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

PR target/17306
* config/h8300/constraints.md (U): Correctly dectect
"eightbit_data" memory addresses.
* config/h8300/h8300.c (eightbit_constant_address_p): Also
handle (const (plus (symbol_ref (x)))) where x is declared
as an 8-bit data memory address.
* config/h8300/h8300.md (call, call_value): Correctly detect
"funcvec" functions.

PR target/17306
* gcc.target/h8300/pr17306-1.c: New test.
* gcc.target/h8300/pr17306-2.c: New test.

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

PR target/43264
* config/h8300/h8300.c (get_shift_alg): Fix ASHIFTRT by
24 to 28 bits for the H8/300.

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

runtime:  Add memprofilerate to GODEBUG

Add memprofilerate as a value recognized
in the GODEBUG env var.  The value provided
is used as the new setting for
runtime.MemProfileRate, allowing the user
to adjust memory profiling.

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

Daily bump.

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

PR target/64876
* config/rs6000/rs6000.c (chain_already_loaded): New function.
(rs6000_call_aix): Use it.

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

2015-02-05  Tobias Burnus  <burnus@net-b.de>

        PR fortran/64943
        * resolve.c (resolve_transfer): Also check structure
        constructors.

2015-02-05  Tobias Burnus  <burnus@net-b.de>

        PR fortran/64943
        * gfortran.dg/structure_constructor_12.f90: New.

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

Pass handle to release_input_file

* lto-plugin.c (claim_file_handler): Pass handle to
release_input_file.

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

* ipa-cp.c (ipa_value_from_jfunc, ipa_context_from_jfunc): Add bounds
check.

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

* config/h8300/constraints.md ("U" constraint): Use strict
variant of REG_OK_FOR_BASE_P after reload has started.

PR target/58400
gcc.target/h8300/pr58400.c: New test.

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

[ARM] __ARM_FP & __ARM_NEON_FP defined when -march=armv7-m

gcc/:

* config/arm/arm.h (TARGET_NEON_FP): Removed conditional definition,
define to zero if !TARGET_NEON.
(TARGET_CPU_CPP_BUILTINS): Added second condition before defining
__ARM_FP macro.

gcc/testsuite/:

* gcc.target/arm/macro_defs0.c: New test.
* gcc.target/arm/macro_defs1.c: New test.
* gcc.target/arm/macro_defs2.c: New test.

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

Call release_input_file only if file is claimed

* lto-plugin.c (claim_file_handler): Call release_input_file only
if file is claimed.

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

2015-02-05  Robert Dewar  <dewar@adacore.com>

* prj-proc.adb, sem_aux.adb, exp_ch9.adb, errout.adb, prj-dect.adb,
prj-nmsc.adb: Minor reformatting.

2015-02-05  Ed Schonberg  <schonberg@adacore.com>

* sem_type.adb (Covers): In ASIS_Mode the Corresponding_Record
of a protected type may not be available, so to check conformance
with an interface type, examine the interface list in the type
declaration directly.
(Write_Overloads): Improve information for indirect calls,
for debugger use.

2015-02-05  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Make_Tag_Assignment): Do not perform this
expansion activity in ASIS mode.

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

2015-02-05  Javier Miranda  <miranda@adacore.com>

* errout.adb (Error_Msg_PT): Add missing error.
* sem_ch6.adb (Check_Synchronized_Overriding): Check the missing
RM rule.  Code cleanup.
* exp_ch9.adb (Build_Wrapper_Spec): Propagate "constant" in
anonymous access types.  Found working on the tests. Code cleanup.

2015-02-05  Vincent Celier  <celier@adacore.com>

* prj-dect.adb (Parse_Attribute_Declaration): Continue scanning
when there are incomplete withs.
* prj-nmsc.adb (Process_Naming): Do not try to get the value
of an element when it is nil.
(Check_Naming): Do not check a nil suffix for illegality
* prj-proc.adb (Expression): Do not process an empty term.
* prj-strt.adb (Attribute_Reference): If attribute cannot be
found, parse a possible index to avoid cascading errors.

2015-02-05  Ed Schonberg  <schonberg@adacore.com>

* sem_aux.adb (Is_Derived_Type): A subprogram_type generated
for an access_to_subprogram declaration is not a derived type.

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

2015-02-05  Robert Dewar  <dewar@adacore.com>

* errout.adb (Error_Msg_Internal): For non-serious error set
Fatal_Error to Ignored.
* lib-load.adb (Load_Unit): Minor comment updates.
* sem_ch10.adb (Analyze_With_Clause): Propagate Fatal_Error
setting from with'ed unit to with'ing unit.
* sem_prag.adb (Analyze_Pragma, case Warnings): Document handling
of ambiguity.

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

contrib/
* gcc_update (files_and_dependencies): Add rules for liboffloadmic and
liboffloadmic/plugin.

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

2015-02-05  Yannick Moy  <moy@adacore.com>

* sem_prag.adb, par-prag.adb: Minor code clean up.

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

2015-02-05  Yannick Moy  <moy@adacore.com>

* par-prag.adb (Pragma_Warnings): Update for extended form
of pragma Warnings. The "one" argument case may now have 2 or
3 arguments.
* sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
extended form of pragma Warnings. Pragma with tool name is either
rewritten as null or as an equivalent form without tool name,
before reanalysis.
* snames.ads-tmpl (Name_Gnatprove): New name.

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

015-02-05  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Add_Invariants): Don't assume invariant is
standard Boolean.
* sem_prag.adb (Analyze_Pragma, case Check): Don't assume
condition is standard Boolean, it can be non-standard derived
Boolean.

2015-02-05  Robert Dewar  <dewar@adacore.com>

* checks.adb (Enable_Range_Check): Disconnect attempted
optimization for the case of range check for subscript of
unconstrained array.

2015-02-05  Robert Dewar  <dewar@adacore.com>

* par-ch13.adb (With_Present): New function
(Aspect_Specifications_Present): Handle WHEN in place of WITH
(Get_Aspect_Specifications): Comment update.
* par.adb: Comment updates.

2015-02-05  Robert Dewar  <dewar@adacore.com>

* errout.adb (Handle_Serious_Error): New setting of Fatal_Error.
* frontend.adb (Frontend): New setting of Fatal_Error.
* lib-load.adb (Create_Dummy_Package_Unit): New setting of
Fatal_Error.
(Load_Main_Source): New setting of Fatal_Error
(Load_Unit): New setting of Fatal_Error.
* lib-writ.adb (Add_Preprocessing_Dependency): New setting of
Fatal_Error.
(Ensure_System_Dependency): New setting of Fatal_Error.
* lib.adb (Fatal_Error): New setting of Fatal_Error
(Set_Fatal_Error): New setting of Fatal_Error.
* lib.ads: New definition of Fatal_Error and associated routines.
* par-ch10.adb (P_Compilation_Unit): New setting of Fatal_Error.
* par-load.adb (Load): New setting of Fatal_Error.
* rtsfind.adb (Load_RTU): New setting of Fatal_Error.
* sem_ch10.adb (Analyze_Compilation_Unit): New setting of
Fatal_Error.
(Optional_Subunit): New setting of Fatal_Error.
(Analyze_Proper_Body): New setting of Fatal_Error.
(Load_Needed_Body): New setting of Fatal_Error.

2015-02-05  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Call): If the function being called has
out parameters do not check for language version if the function
comes from a predefined unit, as those are always compiled in
Ada 2012 mode.

2015-02-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Process_Full_View): Verify that the full view
of a type extension must carry an explicit limited keyword if
the partial view does (RM 7.3 (10.1)).

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

2015-02-05  Robert Dewar  <dewar@adacore.com>

* g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads,
sem_warn.ads: Minor reformatting.
* exp_ch13.adb (Expand_N_Freeze_Entity): Add guard for aspect
deleted by -gnatI.
* sem_prag.adb (Analyze_Pragma, case Type_Invariant): Give
error for abstract type.

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

2015-02-05  Yannick Moy  <moy@adacore.com>

* opt.ads (Warn_On_Suspicious_Contract): Update comment
describing use.
* sem_attr.adb (Analyze_Attribute/Attribute_Update): Warn on
suspicious uses of 'Update.
* sem_warn.adb, sem_warn.ads (Warn_On_Suspicious_Update): New
function issues warning on suspicious uses of 'Update.
* g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads: Mark
package spec and body as SPARK_Mode Off.

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

2015-02-05  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb (Set_Elab_Unit_Name): New name for Set_Unit_Name
(Analyze_Pragma): Change Set_Unit_Name to Set_Elab_Unit_Name
(Set_Elab_Unit_Name): Generate reference for Elaborate[_All]
* sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
for exported entity.

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

2015-02-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Pragma_Conformance): Add
local variable Arg. Ensure that all errors are associated with
the pragma if it appears without an argument. Add comments on
various cases.

2015-02-05  Robert Dewar  <dewar@adacore.com>

* lib-xref.adb: Minor reformatting.

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

PR rtl-optimization/64905
* gcc.target/i386/pr64905.c: Require nonpic target.
(dg-options): Add -fomit-frame-pointer.
(main): Remove.

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

[Patch Testsuite, obvious] Workaround fragility in gcc.dg/tree-ssa/foldconst-6.c

gcc/testsuite/

* gcc.dg/tree-ssa/foldconst-6.c: Change expected pattern for
tree dump scanning.

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

Fix failures on AIX (PR libobjc/63765)

PR libobjc/63765
* thr.c (_XOPEN_SOURCE): Remove.

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

2015-02-05  Tristan Gingold  <gingold@adacore.com>

PR ada/64349
* env.c: Fix thinko: handle Darwin case before default one.

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

2015-02-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/64757
* resolve.c (resolve_structure_cons): Obtain the rank of class
components.
* trans-expr.c (gfc_trans_alloc_subarray_assign): Do the
assignment to allocatable class array components.
(alloc_scalar_allocatable_for_subcomponent_assignment): If comp
is a class component, allocate to the _data field.
(gfc_trans_subcomponent_assign): If a class component with a
derived type expression set the _vptr field and for array
components, call gfc_trans_alloc_subarray_assign. For scalars,
the assignment is performed here.

2015-02-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/64757
* gfortran.dg/type_to_class_2.f90: New test
* gfortran.dg/type_to_class_3.f90: New test

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

2015-02-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/640757
* resolve.c (resolve_structure_cons): Obtain the rank of class
components.
* trans-expr.c (gfc_trans_alloc_subarray_assign): Do the
assignment to allocatable class array components.
(alloc_scalar_allocatable_for_subcomponent_assignment): If comp
is a class component, allocate to the _data field.
(gfc_trans_subcomponent_assign): If a class component with a
derived type expression set the _vptr field and for array
components, call gfc_trans_alloc_subarray_assign. For scalars,
the assignment is performed here.

2015-02-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/640757
* gfortran.dg/type_to_class_2.f90: New test
* gfortran.dg/type_to_class_3.f90: New test

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

PR ipa/61548
* tree-emultls.c (new_emutls_decl): Resolve alias after creating it.

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

PR ipa/61548
* ipa.c (symbol_table::remove_unreachable_nodes): Fix ordering issue
when removing varpool nodes.

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

PR ipa/61548
* varpool.c (varpool_node::remove): Fix order of variables.

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

Daily bump.

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

PR ipa/64686
* ipa-inline.c (inline_small_functions): Fix ordering issue between
speculation resolution and key updates.
* g++.dg/torture/pr64686.C: New testcase.

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

* ipa-prop.c (update_indirect_edges_after_inlining): By more careful
about not letting any speculative edges unupdated.

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

PR gcov/64123
* gcov-io.c (gcov_var): Export.

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

PR middle-end/64922
* ipa-prop.c (update_indirect_edges_after_inlining): Correctly update
edges that become speculative.

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

include/
* dwarf2.h (enum dwarf_source_language): Add DW_LANG_Fortran03
and DW_LANG_Fortran08.
gcc/
* dwarf2out.c (is_fortran): Also return true for DW_LANG_Fortran03
or DW_LANG_Fortran08.
(lower_bound_default): Return 1 for DW_LANG_Fortran03 or
DW_LANG_Fortran08.
(gen_compile_unit_die): Handle "GNU Fortran2003" and
"GNU Fortran2008" language strings.
* dbxout.c (get_lang_number): Use lang_GNU_Fortran.
* langhooks.h (lang_GNU_Fortran): New prototype.
* langhooks.c (lang_GNU_Fortran): New function.
* config/rs6000/rs6000.c (rs6000_output_function_epilogue): Use
lang_GNU_Fortran.
gcc/fortran/
* options.c: Include langhooks.h.
(gfc_post_options): Change lang_hooks.name based on
selected -std= mode.

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

* config/sparc/sparc.c (RTX_OK_FOR_OFFSET_P): Fix off-by-one error.
(RTX_OK_FOR_OLO10_P): Likewise.

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

PR c/64824
PR c/64868
gcc/c/
* c-parser.c (c_parser_omp_atomic): Handle RDIV_EXPR.
gcc/cp/
* parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
gcc/c-family/
* c-omp.c (c_finish_omp_atomic): Use TRUNC_DIV_EXPR
instead of RDIV_EXPR.  Use build_binary_op instead of
build2_loc.
libgomp/
* testsuite/libgomp.c/pr64824.c: New test.
* testsuite/libgomp.c/pr64868.c: New test.
* testsuite/libgomp.c++/pr64824.C: New test.
* testsuite/libgomp.c++/pr64868.C: New test.

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

* tree-ssa-loop-ivopts.c (get_address_cost): Use right mode for offset.

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

PR middle-end/64922
* gimple.c: Include gimple-ssa.h.
(maybe_remove_unused_call_args): New function.
* gimple.h (maybe_remove_unused_call_args): Declare.
* cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Use it.
* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children): Likewise.
* gimple-fold.c (gimple_fold_call): Likewise.

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

Actually check in the fix

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

Clear hard frame pointer alignment if not needed

When hard frame pointer isn't needed, the register for hard frame pointer
may be reused.  This patch clears alignment on hard frame pointer if hard
frame pointer isn't needed.

gcc/

PR rtl-optimization/64905
* lra-eliminations.c (setup_can_eliminate): Clear hard frame
pointer alignment if it isn't needed.

gcc/testsuite/

PR rtl-optimization/64905
* gcc.target/i386/pr64905.c: New file.

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

[AArch64] Add support for -mcpu=cortex-a72

2015-02-04  Matthew Wahab  <matthew.wahab@arm.com>

  gcc/
    * config/aarch64/aarch64-cores.def: Add cortex-a72 and
    cortex-a72.cortex-a53.
    * config/aarch64/aarch64-tune.md: Regenerate.
    * doc/invoke.texi (AArch64 Options/-mtune): Add "cortex-a72".

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

More fixes for update_web_docs_svn for jit docs (PR jit/64257)

gcc/jit/ChangeLog:
PR jit/64257
* docs/conf.py (html_theme): Change from 'pyramid'
to 'sphinxdoc'.

maintainer-scripts/ChangeLog:
PR jit/64257
* update_web_docs_svn: Update build of jit docs to use EPEL6
variant install of sphinx 1.0.8, rather than 0.6.6.

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

* gcc.dg/guality/pr41447-1.c: Remove xfail.
* gcc.dg/guality/pr41616-1.c: Ditto.

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

* config/rl78/fpmath-sf.S (__rl78_int_pack_a_r8): Fix edge case
rounding up the fraction.

* config/rl78/rl78.c (rl78_note_reg_set): Note the use of REGs
inside a MEM.

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

jit: fix typo in docs

gcc/jit/ChangeLog:
* docs/topics/contexts.rst (gcc_jit_context_acquire): Fix
typo.
* docs/_build/texinfo/libgccjit.texi: Regenerate.

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

* builtins.def (DEF_BUILTIN_CHKP): Define if not defined.
(DEF_LIB_BUILTIN_CHKP, DEF_EXT_LIB_BUILTIN_CHKP): Redefine.
(DEF_CHKP_BUILTIN): Define using DEF_BUILTIN_CHKP instead
of DEF_BUILTIN.
(BUILT_IN_MEMCPY, BUILT_IN_MEMMOVE, BUILT_IN_MEMSET, BUILT_IN_STRCAT,
BUILT_IN_STRCHR, BUILT_IN_STRCPY, BUILT_IN_STRLEN): Use
DEF_LIB_BUILTIN_CHKP macro instead of DEF_LIB_BUILTIN.
(BUILT_IN_MEMCPY_CHK, BUILT_IN_MEMMOVE_CHK, BUILT_IN_MEMPCPY_CHK,
BUILT_IN_MEMPCPY, BUILT_IN_MEMSET_CHK, BUILT_IN_STPCPY_CHK,
BUILT_IN_STPCPY, BUILT_IN_STRCAT_CHK, BUILT_IN_STRCPY_CHK): Use
DEF_EXT_LIB_BUILTIN_CHKP macro instead of DEF_EXT_LIB_BUILTIN.
* tree-core.h (enum built_in_function): In between
BEGIN_CHKP_BUILTINS and END_CHKP_BUILTINS only define enum values
for builtins that use DEF_BUILTIN_CHKP macro.

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

Fix signedness of compares expanding debug exprs.

for  gcc/ChangeLog

PR debug/64817
* cfgexpand.c (expand_debug_expr): Compute unsignedp from
operands for tcc_comparison exprs.  Fix typos.

for  gcc/testsuite/ChangeLog

PR debug/64817
* gcc.dg/pr64817-3.c: New.

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

Simplify XOR of (AND or IOR) of XOR.

for  gcc/ChangeLog

PR debug/64817
* simplify-rtx.c (simplify_binary_operation_1): Simplify one
of two XORs that have an intervening AND or IOR.

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

Avoid allocating memory when trying but failing to simplify XOR of AND.

for  gcc/ChangeLog

PR debug/64817
* simplify-rtx.c (simplify_binary_operation_1): Rewrite
simplification of XOR of AND to not allocate new rtx before
committing to a simplification.

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

[AArch64] Use std::swap instead of manually swapping in aarch64-ldpstp.md

* config/aarch64/aarch64-ldpstp.md: Use std::swap instead of
manual swaps in all peepholes.

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

[AArch64] Use std::swap instead of manually swapping

* config/aarch64/aarch64.c (aarch64_evpc_ext): Use std::swap instead
of manual swapping implementation.
(aarch64_expand_vec_perm_const_1): Likewise.

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

[AArch64] Rid the world of NAMED_PARAM

gcc/

* config/aarch64/aarch64.c (NAMED_PARAM): Delete it.
(generic_addrcost_table): Remove NAMED_PARAM.
(cortexa57_addrcost_table): Likewise.
(xgene1_addrcost_table): Likewise.
(generic_regmove_table): Likewise.
(cortexa53_regmove_table): Likewise.
(xgene1_regmove_table): Likewise.
(generic_vector_table): Likewise.
(cortexa57_vector_table): Likewise.
(xgene1_vector_table): Likewise.
(generic_tunings): Likewise.
(cortexa53_tunings): Likewise.
(cortexa57_tunings): Likewise.
(xgene1_tunings): Likewise.

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

PR target/64408
* config/fr30/predicates.md (di_operand): Add SUBREG to the list
of accepted codes.
(nonimmediate_di_operand): Likewise.

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

[ARM] Add support for -mcpu=cortex-a72 and -mcpu=cortex-a72.cortex-a53

gcc/

* config/arm/arm-cores.def: Add cortex-a72 and
cortex-a72.cortex-a53.
* config/arm/bpabi.h (BE8_LINK_SPEC): Likewise.
* config/arm/t-aprofile (MULTILIB_MATCHES): Likewise.
* config/arm/arm-tune.md: Regenerate.
* config/arm/arm-tables.opt: Add entries for "cortex-a72" and
"cortex-a72.cortex-a53".
* doc/invoke.texi (ARM Options/-mtune): Likewise.

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

Adjust pr36728-*.c for targets that pass parameters in registers.

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

Minor corrections to gcc.dg/combine_ashiftrt_[12].c

2015-02-04  Alan Lawrence  <alan.lawrence@arm.com>
    Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

* gcc.dg/combine_ashiftrt_1.c: Sort, complete and explain target
list, allow for multilibed targets.
* gcc.dg/combine_ashiftrt_2.c: Likewise.

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

* config/msp430/msp430.c (msp430_use_f5_series_hwmult): Add more
prefixes of known F5 using MSP430 MCUs.

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

[AArch64] Use target builtin instead of __builtin_sqrt for vsqrt_f64

* config/aarch64/aarch64-simd-builtins.def (sqrt): Use BUILTIN_VDQF_DF.
* config/aarch64/arm_neon.h (vsqrt_f64): Use __builtin_aarch64_sqrtdf
instead of __builtin_sqrt.

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

* gcc.dg/builtins-58.c: Check for pow at the end of words only.
* gcc.dg/pr46728-6.c: Ditto.

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

2015-02-04  Robert Suchanek  <robert.suchanek@imgtec.com>

* gcc.target/mips/loongson-simd.c: Update comment to clarify the need
for mips_nanlegacy target.

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

[PATCH][libstdc++][Testsuite] isctype test fails for newlib.

libstdc++-v3/
2015-02-02  Matthew Wahab  <matthew.wahab@arm.com>

PR libstdc++/64467
* testsuite/28_regex/testsuiteraits/char/isctype.cc (test01): Add newlib
special case for '\n'.
* test01estsuite/28_regex/traits/wchar_t/isctype.cc (test01): Likewise.

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