tree-streamer.h (streamer_pack_tree_bitfields): Remove.

2015-02-09  Richard Biener  <rguenther@suse.de>

* tree-streamer.h (streamer_pack_tree_bitfields): Remove.
(streamer_write_tree_bitfields): Declare.
* tree-streamer-in.c (unpack_ts_base_value_fields): Inline,
properly unpack padding.
(unpack_value_fields): Inline ...
(streamer_read_tree_bitfields): ... here.
* tree-streamer-out.c (pack_ts_base_value_fields): Inline
and properly add padding bits.
(streamer_pack_tree_bitfields): Fold into ...
(streamer_write_tree_bitfields): ... this new function,
exposing the bitpack object.
* lto-streamer-out.c (lto_write_tree_1): Call
streamer_write_tree_bitfields.

From-SVN: r220540

* testsuite/ChangeLog: Improve my last commit message.

From-SVN: r220539

ssa-dom-cse-2.c: Xfail for alpha*-*-*.

* gcc.dg/tree-ssa/ssa-dom-cse-2.c: Xfail for alpha*-*-*.
* gcc.dg/tree-ssa/pr42585.c: Xfail scan-tree-dump-times for alpha*-*-*.

From-SVN: r220538

re PR target/58757 (Advertise the lack of denormal support on alpha without -mieee)

PR target/58757
* gcc.dg/c11-true_min-1.c: Xfail execution for alpha*-*-*.

From-SVN: r220537

re PR tree-optimization/54000 (Performance breakdown for gcc-4.{6,7} vs. gcc-4.5 using std::vector in matrix vector multiplication (IVopts / inliner))

2015-02-09  Richard Biener  <rguenther@suse.de>

PR tree-optimization/54000
* tree-ssa-looo-ivopts.c: Include tree-vectorizer.h.
(struct ivopts_data): Add loop_loc member.
(tree_ssa_iv_optimize_loop): Dump loop location.
(create_new_ivs): Likewise, also dump number of IVs generated.

* g++.dg/tree-ssa/ivopts-3.C: New testcase.

From-SVN: r220536

libvtv: autoreconf.

libvtv/
* Makefile.in: Regenerate.
* aclocal.m4: Likewise.
* configure: Likewise.
* testsuite/Makefile.in: Likewise.

From-SVN: r220535

Move ChangeLog entry

From-SVN: r220533

Fix scan-tree-dump in gcc.dg/graphite/scop-19.c for fpic

2015-02-09  Tom de Vries  <tom@codesourcery.com>

* gcc.dg/graphite/scop-19.c: Fix scan-tree-dump for fpic.

From-SVN: r220532

IPA ICF: Fix late initialization of callgraph hooks.

* g++.dg/ipa/pr64858.C: New test.
* ipa-icf.c (sem_item_optimizer::register_hooks): Register hooks
just if not yet registered.
(ipa_icf_generate_summary): Register callgraph hooks.

From-SVN: r220531

Fix gcc.dg/uninit-19.c for fpic

2015-02-09  Tom de Vries  <tom@codesourcery.com>

* gcc.dg/uninit-19.c: Fix warning line for fpic.

From-SVN: r220530

Daily bump.

From-SVN: r220526

ssa-dom-cse-2.c: xfail for AARCH64 also.

2015-02-08  Andrew Pinski  <apinski@cavium.com>

* gcc.dg/tree-ssa/ssa-dom-cse-2.c: xfail for AARCH64 also.

From-SVN: r220523

aarch64.c (gty_dummy): Delete.

2015-02-08  Andrew Pinski  <apinski@cavium.com>

        * config/aarch64/aarch64.c (gty_dummy): Delete.

From-SVN: r220522

re PR ipa/63566 (i686 bootstrap fails: ICE RTL flag check: INSN_UID used with unexpected rtx code 'set' in INSN_UID, at rtl.h:1326)

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

From-SVN: r220521

re PR ipa/63566 (i686 bootstrap fails: ICE RTL flag check: INSN_UID used with unexpected rtx code 'set' in INSN_UID, at rtl.h:1326)

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.

From-SVN: r220520

re PR ipa/63566 (i686 bootstrap fails: ICE RTL flag check: INSN_UID used with unexpected rtx code 'set' in INSN_UID, at rtl.h:1326)

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

From-SVN: r220519

re PR ipa/63566 (i686 bootstrap fails: ICE RTL flag check: INSN_UID used with unexpected rtx code 'set' in INSN_UID, at rtl.h:1326)

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.

From-SVN: r220518

Use the local name instead of the original name in the check for name conflicts...

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.

From-SVN: r220515

decl.c (gnat_to_gnu_param): Do not strip the padding if the parameter either is passed by reference or if...

* 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.

From-SVN: r220514

decl.c (is_cplusplus_method): Use Is_Primitive flag to detect primitive operations of tagged and untagged types.

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

From-SVN: r220512

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

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

From-SVN: r220511

utils.c (begin_subprog_body): Assert that the body is present in the same context as the declaration.

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

From-SVN: r220510

Daily bump.

From-SVN: r220509

extend.texi (Function Attributes [naked]): Copy-edit.

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.

From-SVN: r220506

re PR fortran/60956 (error reading (and writing) large text files in gfortran)

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.

From-SVN: r220505

re PR middle-end/64340 (FAIL: gnat.dg/lto8.adb (internal compiler error))

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

From-SVN: r220504

Remove blank line

From-SVN: r220503

re PR bootstrap/53348 (Conflicting fast-integer types on AIX: <sys/inttypes.h> vs. gcc/config/rs6000/aix-stdint.h)

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

From-SVN: r220502

re PR debug/2714 (Stabs truncated on AIX)

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

From-SVN: r220501

Remove myself from all maintainer roles.

From-SVN: r220500

Daily bump.

From-SVN: r220499

Add new files erroneously omitted from r220494.

From-SVN: r220496

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.

From-SVN: r220494

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.

Co-Authored-By: Brian Rzycki <b.rzycki@samsung.com>
From-SVN: r220491

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

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

From-SVN: r220490

re PR ipa/64896 (ICE in get_address_mode, at rtlanal.c:5442)

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.

From-SVN: r220489

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

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

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

From-SVN: r220488

re PR target/64205 (powerpc64-linux --with-cpu=G5 bootstrap failure)

[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.

From-SVN: r220485

pr64317.c: Compile for 32bit *-*-linux* targets.

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

From-SVN: r220484

re PR middle-end/64937 (compare debug failure with -fsanitize=address)

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.

From-SVN: r220483

re PR fortran/63205 ([OOP] Wrongly rejects  type = class (for identical declared type))

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

From-SVN: r220482

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.

From-SVN: r220481

[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.

From-SVN: r220480

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.

From-SVN: r220479

re PR target/64889 ([h8300] ICE maybe_record_trace_start, at dwarf2cfi.c:2318)

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.

From-SVN: r220478

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.

From-SVN: r220477

re PR rtl-optimization/64957 (wrong code at -O1, -O2 and -O3 on x86_64-linux-gnu)

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.

From-SVN: r220475

re PR fortran/60289 (allocating class(*) pointer as character gives type-spec requires the same character-length parameter)

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.

From-SVN: r220474

re PR target/62631 (gcc.dg/tree-ssa/ivopts-lt-2.c FAILs)

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.

From-SVN: r220473

re PR target/17306 (function_vector attribute in H8300H/H8S)

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.

From-SVN: r220472

re PR target/43264 (Arithmetic expression error)

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

From-SVN: r220471

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.

From-SVN: r220470

Daily bump.

From-SVN: r220467

re PR target/64876 (Regressions in gcc-testresults for powerpc64 gccgo in 5.0 due to change for static chain for closures (219776))

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

From-SVN: r220463

re PR fortran/64943 (No error on ultimate allocatable components in IO list)

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.

From-SVN: r220462

Pass handle to release_input_file

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

From-SVN: r220461

ipa-cp.c (ipa_value_from_jfunc, [...]): Add bounds check.

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

From-SVN: r220458

re PR target/58400 (gcc for h8300 internal compiler error: insn does not satisfy its constraints at  fs/ext4/mballoc.c: In function 'mb_free_blocks':)

* 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.

From-SVN: r220457

[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.

From-SVN: r220456

Call release_input_file only if file is claimed

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

From-SVN: r220455

[multiple changes]

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.

From-SVN: r220452

[multiple changes]

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.

From-SVN: r220451

errout.adb (Error_Msg_Internal): For non-serious error set Fatal_Error to Ignored.

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.

From-SVN: r220450

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

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

From-SVN: r220449

sem_prag.adb, [...]: Minor code clean up.

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

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

From-SVN: r220448

par-prag.adb (Pragma_Warnings): Update for extended form of pragma Warnings.

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.

From-SVN: r220447

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)).

From-SVN: r220446

g-rannum.adb, [...]: Minor reformatting.

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.

From-SVN: r220445

opt.ads (Warn_On_Suspicious_Contract): Update comment describing use.

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.

From-SVN: r220444

sem_prag.adb (Set_Elab_Unit_Name): New name for Set_Unit_Name

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.

From-SVN: r220443

[multiple changes]

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.

From-SVN: r220442

re PR rtl-optimization/64905 (unsigned short is loaded with 4-byte load (movl))

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

From-SVN: r220441

[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.

From-SVN: r220440

Fix failures on AIX (PR libobjc/63765)

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

From-SVN: r220438

re PR ada/64349 (Bootstrapping Ada fails on darwin(9|10).)

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

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

From-SVN: r220437

re PR fortran/64757 (ICE in fold_convert_loc, at fold-const.c:2353)

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

From-SVN: r220436

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

From-SVN: r220435

re PR ipa/61548 (FAIL: gcc.dg/tls/alias-1.c)

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

Co-Authored-By: Trevor Saunders <tsaunders@mozilla.com>
From-SVN: r220434

re PR ipa/61548 (FAIL: gcc.dg/tls/alias-1.c)

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

From-SVN: r220433

re PR ipa/61548 (FAIL: gcc.dg/tls/alias-1.c)

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

From-SVN: r220432

Daily bump.

From-SVN: r220430

re PR ipa/64686 (ICE: in edge_badness, at ipa-inline.c:912 during Firefox LTO build with enabled checking)

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.

From-SVN: r220429

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

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

From-SVN: r220425

re PR gcov-profile/64123 (Instrumented Firefox segfaults on start)

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

From-SVN: r220424

re PR middle-end/64922 (runtime error: member call on misaligned address for type 'struct _Rep')

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

From-SVN: r220423

dwarf2.h (enum dwarf_source_language): Add DW_LANG_Fortran03 and DW_LANG_Fortran08.

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.

From-SVN: r220422

sparc.c (RTX_OK_FOR_OFFSET_P): Fix off-by-one error.

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

From-SVN: r220421

re PR middle-end/64824 (ICE in gimple verification)

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.

From-SVN: r220420

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

From-SVN: r220419

re PR middle-end/64922 (runtime error: member call on misaligned address for type 'struct _Rep')

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.

From-SVN: r220417

Actually check in the fix

From-SVN: r220416

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.

From-SVN: r220414

[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".

From-SVN: r220413

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.

From-SVN: r220412

pr41447-1.c: Remove xfail.

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

From-SVN: r220411

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

* 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.

From-SVN: r220410

jit: fix typo in docs

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

From-SVN: r220408

builtins.def (DEF_BUILTIN_CHKP): Define if not defined.

* 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.

From-SVN: r220407

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.

From-SVN: r220406

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.

From-SVN: r220405