2015-03-09  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    gcc/
    PR tree-optimization/63743
    * cfgexpand.c (reorder_operands): Also reorder if only second operand
    had its definition forwarded by TER.

    gcc/testsuite/
    PR tree-optimization/63743
    * gcc.dg/pr63743.c: New test.

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

PR lto/65316
* ipa-utils.h (types_odr_comparable): Add strict argument.
* ipa-devirt.c: Fix whitespace;
(odr_hasher): Remove.
(odr_name_hasher, odr_vtable_hasher): New hashers.
(can_be_name_hashed_p): New predicate.
(hash_type_name): remove.
(hash_odr_name): New.
(odr_name_hasher::hash): new.
(can_be_vtable_hashed_p): New.
(hash_odr_vtable): New.
(odr_vtable_hasher::hash): New.
(types_same_for_odr): Add strict parameter.
(types_odr_comparable): Likewise.
(odr_name_hasher::equal): New.
(odr_vtable_hasher::equal): New.
(odr_name_hasher::remove): New.
(odr_hash_type): Change to hash_table<odr_name_hasher>.
(odr_vtable_hash_type): New.
(odr_vtable_hash): New.
(odr_subtypes_equivalent_p): Do strict comparsion.
(add_type_duplicate): Merge type names; cleanup; avoid type
duplicates.
(register_odr_type): Initialize vtable hash.
(build_type_inheritance_graph): Likewise
(get_odr_type): Reorg to use two hashes.
(dump_possible_polymorphic_call_targets): Move sanity check after debug
output.
(ipa_devirt): Dump type_inheritance_graph.
(types_same_for_odr): Add strict mode.
* g++.dg/lto/pr65316_0.C: New testcase.
* g++.dg/lto/pr65316_1.C: New testcase.

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

Daily bump.

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

PR target/62247
* g++.dg/abi/anon3.C: Skip failing scan-assembler checks on
hppa*-*-hpux*.
* g++.dg/abi/rtti3.C: Likewise.

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

* g++.dg/ipa/pr63621.C: Add dg-require-effective-target named_sections.

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

* varasm.c (function_section_1): Use definition_alignment.
(assemble_start_function): Likewise.
(emit_local): likewise.
(build_constant_desc): Likewsie.
(output_constant_def_contents): Likewise.
(place_block_symbol): Likewise.
(output_object_block): Likewise.

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

PR ipa/65334
* cgraph.h (symtab_node): Add definition_alignment,
can_increase_alignment_p and increase_alignment.
* symtab.c (symtab_node::can_increase_alignment_p,
increase_alignment_1, symtab_node::increase_alignment,
symtab_node::definition_alignment): New.
* tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Use
can_increase_alignment_p.
* tree-vectorizer.c (increase_alignment): Use increase_alignment.
* tree-vect-stmts.c (ensure_base_align): Likewise.

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

PR target/62251
* gfortran.dg/quad_2.f90: xfail hppa*-*-hpux*.

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

* gcc.dg/signbit-sa.c: Add dg-require-effective-target c99_runtime

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

* gcc.dg/ipa/pr64307.c: Add target c99_runtime.

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

* gcc.dg/ipa/ipa-icf-34.c: Add dg-require-alias.

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

Add missing PR target/59828 to ChangeLog entry.

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

    PR fortran/60898
fortran/
        * resolve.c (resolve_symbol): Check that the symbol found by
        name lookup really is the current symbol being resolved.
testsuite/
        * gfortran.dg/entry_20.f90: New.

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

Daily bump.

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

PR ipa/65316
* tree.c (free_lang_data_in_type): Be sure to keep BINFO_VTABLE
when outputting debug.

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

gcc/testsuite/
PR target/65153
* gcc.c-torture/compile/pr65153.c: New.

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

gcc/testsuite/
PR target/65249
* g++.dg/torture/pr65249.C: New.

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

Use long long for uint64_t/int64_t

* gcc.target/i386/pr45685.c (uint64_t): Replace long with long
long.
(int64_t): Likewise.

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

* de.po: Update.

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

Daily bump.

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

PR sanitizer/65280
* doc/invoke.texi: Update description of -fsanitize=bounds.

* c-ubsan.c (ubsan_instrument_bounds): Check for COMPONENT_REF
before trying to figure out whether we have a flexible array member.

* c-c++-common/ubsan/bounds-1.c: Add testing of flexible array
member-like arrays.
* c-c++-common/ubsan/bounds-8.c: New test.
* c-c++-common/ubsan/bounds-9.c: New test.
* gcc.dg/ubsan/bounds-2.c: New test.

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

* ptree.c (cxx_print_lambda_node): New.
(cxx_print_xnode): Handle LAMBDA_EXPR.

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

2015-03-05  Martin Sebor  <msebor@redhat.com>

* PR testsuite/63175
* gcc.dg/vect/costmodel/ppc/costmodel-bb-slp-9a.c (main1): Move
checking of results into main to prevent it from getting optimized
away.
* gcc.dg/vect/costmodel/ppc/costmodel-bb-slp-9a-pr63175.c: New test.

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

2015-03-06  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * dg-extract-results.sh: Check that the necessary python modules exist.

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

Remove inefficient branchless conditional negate optimization

2015-03-06  Wilco Dijkstra  <wdijkstr@arm.com>

  gcc/
    * tree-ssa-phiopt.c (neg_replacement): Remove.
    (tree_ssa_phiopt_worker): Remove negate optimization.

  gcc/testsuite/
    * gcc.dg/tree-ssa/pr45685.c: Move to gcc.target/i386.
    * gcc.target/aarch64/csneg-1.c (test_csneg_cmp): New test.
    * gcc.target/i386/pr45685.c: Moved test, check for conditional move on x64.

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

libgo: Upgrade to Go 1.4.2 release.

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

PR ipa/65302
* value-prof.c (gimple_ic): Pure dead eh edges when needed.
* g++.dg/lto/pr65302_1.C: New testcase.
* g++.dg/lto/pr65302_0.C: New testcase.

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

[ARM testsuite obvious] Fixup atomic-comp-swap-release-acquire.c to not use ICF

gcc/

* gcc.target/arm/atomic-comp-swap-release-acquire.c: Add
-fno-ipa-icf to dg-options.

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

/
* MAINTAINERS (CPU Port Maintainers): Add myself
i386 vector ISA extns mantainer.

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

2015-03-06  Richard Biener  <rguenther@suse.de>

PR middle-end/64928
* tree-ssa-live.h (struct tree_live_info_d): Add livein_obstack
and liveout_obstack members.
(calculate_live_on_exit): Remove.
(calculate_live_ranges): Change declaration.
* tree-ssa-live.c (liveness_bitmap_obstack): Remove global var.
(new_tree_live_info): Adjust.
(calculate_live_ranges): Delete livein when not wanted.
(calculate_live_ranges): Do not initialize liveness_bitmap_obstack.
Deal with partly deleted live info.
(loe_visit_block): Remove temporary bitmap by using
bitmap_ior_and_compl_into.
(live_worklist): Adjust accordingly.
(calculate_live_on_exit): Make static.
* tree-ssa-coalesce.c (coalesce_ssa_name): Tell calculate_live_ranges
we do not need livein.

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

* include/std/future (future_error(error_code)): Construct base
class with error_code's message.
* src/c++11/future.cc (future_error::what()): Do not call c_str() on
temporary string.

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

* real.c (real_from_string): Fix typo in assertion.

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

2015-03-06  Alex Velenko  <alex.velenko@arm.com>

* ChangeLog (2015-03-05): Reflect Richard Henderson as actual author of
the patch.

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

[AArch64 testsuite obvious] XFAIL c-c++-common/torture/aarch64-vect-lane-2.c
for -flto -fuse-linker-plugin

gcc/testsuite/

* c-c++-common/torture/aarch64-vect-lane-2.c: Skip for LTO
compiles.

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

* c-ada-spec.c (dump_ada_double_name): Fix pasto.

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

compiler: Do not declare type switch variable outside case statements.

For expressions containing a TypeSwitchGuard with a short variable
declaration e.g. var := x.(type), the spec says that var is declared
at the beginning of the implicit block for each in each clause.
Previously, var was declared in the block for the switch statement
and each implicit block, which led to errors if the type case clause
referenced a type with a similar name as the declared variable.

Fixes golang/go#10047.

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

Daily bump.

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

* ipa-icf.c (sem_variable::equals_wpa): Check FINAL flags.

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

2015-03-05  Vladimir Makarov  <vmakarov@redhat.com>

PR target/64342
* lra-assigns.c (find_hard_regno_for): Rename to
find_hard_regno_for_1.  Add a new parameter.
(find_hard_regno_for): New function using find_hard_regno_for_1.

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

gcc:
2015-03-05  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        PR rtl-optimization/65067
        * expmed.c (store_bit_field, extract_bit_field): Reworked the
        strict volatile bitfield handling.

testsuite:
2015-03-05  Bernd Edlinger  <bernd.edlinger@hotmail.de>

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

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

PR ipa/65318
* ipa-icf.c (sem_variable::equals): Compare variables types.
* gcc.dg/ipa/pr65318.c: New test.

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

2015-03-05  Alex Velenko  <alex.velenko@arm.com>

* config/arm/arm.c (arm_function_in_section_p): Fix predicate to
correctly check weak symbol binding.

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

2015-03-05  Steve Ellcey  <sellcey@imgtec.com>

PR middle-end/65315
* cfgexpand.c (expand_stack_vars): Update large_align to maximum
needed alignment.

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

jit documentation fixes

gcc/jit/ChangeLog:
* docs/cp/intro/tutorial03.rst: Add missing arguments to
gccjit::block::end_with_conditional call.  Add on_true/on_false
comments.  Tweak the wording.
* docs/intro/tutorial03.rst: Add missing arguments to
gcc_jit_block_end_with_conditional call.  Add some clarifying
comments.
* docs/topics/compilation.rst: Tweak the wording to avoid an
ambiguous use of "this".
* docs/topics/contexts.rst: Fix a typo.
* docs/topics/expressions.rst (GCC_JIT_BINARY_OP_MINUS): Remove
a stray backtick.
* docs/_build/texinfo/libgccjit.texi: Regenerate.

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

* c-c++-common/ubsan/bounds-6.c: Use dg-do run.

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

PR ada/65319
* c-ada-spec.c (print_destructor): Remove obsolete code.

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

* include/bits/locale_conv.h (wstring_convert::_M_conv): Handle
noconv result.
* testsuite/22_locale/conversions/string/2.cc: Also test UTF-8.
* testsuite/22_locale/conversions/string/3.cc: Likewise, and UTF-16.

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

Fix warnings occured during profiledboostrap on

* ipa-inline.c (inline_small_functions): Set default value to
prevent warning during bootstrap.
* tree.h: Add pragma guard that ignores false positives during
bootstrap.

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

S/390: xfail ssa-dom-cse-2

gcc/testsuite:
* gcc.dg/tree-ssa/ssa-dom-cse-2.c:

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

S/390: var-expand1 use default values for peel/unroll limits

gcc/testsuite/:
* gcc.dg/var-expand1.c: Force max-completely-peel-times and
max-unroll-times back to defaults for s390.

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

2015-03-05  Paolo Carlini  <paolo.carlini@oracle.com>

Fix last commit.

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

2015-03-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/64665
* g++.dg/cpp0x/initlist92.C: New.

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

2015-03-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/65310
* tree-vect-data-refs.c (vect_compute_data_ref_alignment):
Properly preserve alignment of the base of the access.

* gcc.dg/vect/pr65310.c: New testcase.

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

2015-03-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/64834
* g++.dg/cpp1y/lambda-generic-uneval1.C: New.

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

2015-03-05  Richard Biener  <rguenther@suse.de>

PR ipa/65270
* ipa-icf-gimple.c (func_checker::compare_memory_operand):
Compare dependence info.

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

2015-03-05  Richard Biener  <rguenther@suse.de>

PR middle-end/65233
* ipa-polymorphic-call.c: Include tree-ssa-operands.h and
tree-into-ssa.h.
(walk_ssa_copies): Revert last chage.  Instead do not walk
SSA names registered for SSA update.

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

Daily bump.

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

  PR ipa/65270
* ipa-icf.c (sem_item::compare_cgraph_references): Compare
vtable references for their containing type.
(sem_function::equals_wpa): Compare TYPE_RESTRICT
and type attributes.

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

* fold-const.c (round_up_loc): Cast divisor to signed on all paths
before negating it.
* stor-layout.c (finalize_record_size): Revert latest change.

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

2015-03-04  Andreas Tobler  <andreast@gcc.gnu.org>

    * config/rs6000/t-freebsd64: Remove 32-bit soft-float multilibs.

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

* cgraph.c (cgraph_node::can_remove_if_no_direct_calls_p): Rewrite
for correct comdat handling.
(cgraph_node::will_be_removed_from_program_if_no_direct_calls_p):
Likewise.
* cgraph.h (call_for_symbol_and_aliases): Fix formating.
(used_from_object_file_p_worker): Remove.
(cgraph_node::only_called_directly_or_alised): Add
used_from_object_file_p.
* ipa-inline-analysis.c (growth_likely_positive): Optimie.
* ipa-inline-transform.c (can_remove_node_now_p_1): Use
can_remove_if_no_direct_calls_and_refs_p.

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

* de.po: Update.

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

Fix PR65261

Running bootstrap-ubsan on ppc64le shows many instances of:

  libcpp/lex.c:552:30: runtime error: load of misaligned address
  0x01001f31d37a for type 'const uchar', which requires 16 byte alignment

But the unaligned vector loads are intended in this case, because they
are preferable to forced-alignment on POWER8. So just silence the ubsan
errors.

2015-03-02  Markus Trippelsdorf  <markus@trippelsdorf.de>

include/
PR target/65261
* ansidecl.h (ATTRIBUTE_NO_SANITIZE_UNDEFINED): New macro.

libcpp/
PR target/65261
* lex.c (search_line_fast): Silence ubsan errors.

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

PR libstdc++/64797
* include/bits/locale_conv.h (wstring_convert::_M_conv): Handle
incomplete multibyte sequences correctly.
* include/std/codecvt (codecvt_utf8, codecvt_utf16,
codecvt_utf8_utf16): Limit _Maxcode to maximum Unicode code point.
* src/c++11/codecvt.cc (invalid_mb_sequence, incomplete_mb_character):
Define constants.
(is_high_surrogate, is_low_surrogate, surrogate_pair_to_code_point):
Define convenience functions.
(read_utf8_code_point): Return relevant constant to distinguish
incomplete characters from invalid sequences.
(read_utf16_code_point): Likewise. Check for invalid sequences.
(ucs4_in, utf16_in): Use incomplete_mb_character constant.
(utf16_out): Check for invalid sequences.
(utf16_span): Fix condition.
(ucs2_out): Use is_high_surrogate.
(ucs2_in): Use incomplete_mb_character constant and fix condition.
* testsuite/22_locale/codecvt/char16_t.cc: Fix whitespace.
* testsuite/22_locale/conversions/buffer/1.cc: New.
* testsuite/22_locale/conversions/string/2.cc: Use char16_t and
char32_t instead of wchar_t.
* testsuite/22_locale/conversions/string/3.cc: New.

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb: Minor reformatting.
* init.c: Minor tweaks.

2015-03-04  Dmitriy Anisimko  <anisimko@adacore.com>

* a-coinho-shared.adb: Fix clear of already empty holder.

2015-03-04  Robert Dewar  <dewar@adacore.com>

* exp_unst.adb (Check_Dynamic_Type): Ignore library level types.
(Check_Uplevel_Reference_To_Type): Ignore call inside generic.
(Note_Uplevel_Reference): Ignore call inside generic.
(Note_Uplevel_Reference): Fix check for no entity field.
(Unnest_Subprogram): Ignore call inside generic.
(Find_Current_Subprogram): Use Defining_Entity, not Defining_Unit_Name.
(Visit_Node): Ignore calls to Imported subprograms.
(Visit_Node): Fix problem in finding subprogram body in some cases.
(Add_Form_To_Spec): Use Defining_Entity, not Defining_Unit_Name.

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* einfo.adb (Is_ARECnF_Entity): Removed.
(Last_Formal): Remove special handling of Is_ARECnF_Entity.
(Next_Formal): Remove special handling of Is_ARECnF_Entity.
(Next_Formal_With_Extras): Remove special handling of Is_ARECnF_Entity.
(Number_Entries): Minor reformatting.
* einfo.ads (Is_ARECnF_Entity): Removed.
* exp_unst.adb (Unnest_Subprogram): Remove setting of
Is_ARECnF_Entity.
(Add_Extra_Formal): Use normal Extra_Formal circuit.
* sprint.adb (Write_Param_Specs): Properly handle case where
there are no source formals, but we have at least one Extra_Formal
present.

2015-03-04  Ed Schonberg  <schonberg@adacore.com>

* sem_aggr.adb (Resolve_Record_Aggregate,
Add_Discriminant_Values): If the value is a reference to the
current instance of an enclosing type, use its base type to check
against prefix of attribute reference, because the target type
may be otherwise constrained.

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

* go.test/go-test.exp (go-gc-tests): Skip nilptr test on s390*.

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

* config/rl78/rl78.h (enum reg_class): Remove real registers from
General register class.
* config/rl78/rl78-real.md: Replace general register constraints
with real+virtual register constraints.

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

S/390: Fix check for builtins valid with -mhtm

* gcc/config/s390/s390.c (s390_expand_builtin): Exlude non-htm
builtins from checking for -mhtm option.

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* atree.h: Add entries for Flag287-Flag309.
* einfo.adb: Add (unused) flags Flag287-Flag309.

2015-03-04  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Collect_Interfaces, Collect): When gathering
interfaces of ancestors, handle properly a subtype of a private
extension.

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* einfo.adb (Is_ARECnF_Entity): New flag (ARECnF is an extra formal).
(Next_Formal): Don't return ARECnF formal.
(Last_Formal): Don't consider ARECnF formal.
(Next_Formal_With_Extras): Do consider ARECnF formal.
* einfo.ads (Is_ARECnF_Entity): New flag (ARECnF is an extra formal).
* exp_unst.adb (Create_Entities): Set Is_ARECnF_Entity flag.

2015-03-04  Javier Miranda  <miranda@adacore.com>

* exp_ch6.adb (Expand_Simple_Function_Return): When the returned
object is a class-wide interface object and we generate the
accessibility described in RM 6.5(8/3) then displace the pointer
to the object to reference the base of the object (to get access
to the TSD of the object).

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

2015-03-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/64227
* g++.dg/cpp1y/lambda-generic-ice1.C: New.

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

2015-03-04  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Abstract_State): Use routine
Malformed_State_Error to issue general errors.
(Analyze_Pragma): Diagnose a syntax error related to a state
declaration with a simple option.
(Malformed_State_Error): New routine.

2015-03-04  Robert Dewar  <dewar@adacore.com>

* a-strsup.adb (Super_Slice): Deal with super flat case.
* einfo.ads: Minor reformatting.
* s-imgdec.adb (Set_Decimal_Digits): Add comment about possibly
redundant code.

2015-03-04  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
a-cforse.ads, a-cofove.ads: Use Default_Initial_Condition on formal
containers.

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

Fix permission.

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

2015-03-04  Ed Schonberg  <schonberg@adacore.com>

* sem_warn.adb (Check_References): When checking for an unused
in-out parameter of a class- wide type, use its type to determine
whether it is private, in order to avoid a spurious warning when
subprogram spec and body are in different units.

2015-03-04  Yannick Moy  <moy@adacore.com>

* sem_attr.adb: Improve warning messages.

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb (Expand_N_Subprogram_Body): Avoid trying to unnest
generic subprograms.
* exp_unst.adb (Check_Dynamic_Type): Handle record types properly
(Note_Uplevel_Reference): Ignore uplevel references to non-types
(Get_Level): Consider only subprograms, not blocks.
(Visit_Node): Set proper condition for generating ARECnF entity.
Ignore indirect calls. Ignore calls to subprograms
outside our nest.
(Unnest_Subprogram): Minor changes in dealing with ARECnF entity.
(Add_Form_To_Spec): Properly set Last_Entity field.
(Unnest_Subprogram): Set current subprogram scope for analyze calls.
Handle case of no uplevel refs in outer subprogram
Don't mark uplevel entities as aliased.
Don't deal with calls with no ARECnF requirement.

2015-03-04  Robert Dewar  <dewar@adacore.com>

* s-valrea.adb (Scan_Real): Remove redundant tests from scaling loops.
* s-imgdec.adb (Set_Decimal_Digits): Remove redundant Max
operation in computing LZ.
* sem_attr.adb: Minor typo fix

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

2015-03-04  Robert Dewar  <dewar@adacore.com>

* exp_ch7.adb: Minor reformatting.
* exp_unst.adb (Build_Tables): Fix minor glitch for no separate
spec case.
* erroutc.adb (Delete_Msg): add missing decrement of info msg counter.

2015-03-04  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
references to formal parameters subject to pragma Unreferenced.
(Suppress_Reference): New routine.
* sem_attr.adb (Analyze_Attribute): Reimplement the analysis
of attribute 'Old. Attributes 'Old and 'Result now share
common processing.
(Analyze_Old_Result_Attribute): New routine.
(Check_Placement_In_Check): Removed.
(Check_Placement_In_Contract_Cases): Removed.
(Check_Placement_In_Test_Case): Removed.
(Check_Use_In_Contract_Cases): Removed.
(Check_Use_In_Test_Case): Removed.
(In_Refined_Post): Removed.
(Is_Within): Removed.
* sem_warn.adb (Check_Low_Bound_Tested): Code cleanup.
(Check_Low_Bound_Tested_For): New routine.

2015-03-04  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration):
Generate a runtime check to test the expression of pragma
Default_Initial_Condition when the object is default initialized.

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

[AArch64 Testsuite Obvious] Disable ipa-icf for testcases with common test bodies

gcc/testsuite/

* gcc.target/aarch64/atomic-comp-swap-release-acquire.c: Add
-fno-ipa-icf to dg-options
* gcc.target/aarch64/vect_saddl_1.c: Likewise.
* gcc.target/aarch64/vect_smlal_1.c: Likewise.

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

2015-03-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/64398
* g++.dg/cpp0x/decltype62.C: New.

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

* tree-sra.c (convert_callers): Use call_for_symbol_and_aliases.
(struct ipa_sra_check_caller_data): Add has_thunk field.
(ipa_sra_check_caller): Check for thunk.
(ipa_sra_preliminary_function_checks): Give up on function with
thunks.
(ipa_early_sra): Use call_for_symbol_and_aliases.

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

Daily bump.

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

PR target/65249
* config/sh/sh.md (symGOT_load): Use R0 reg for operands[2] when
  called for __stack_chk_guard symbol.

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

* config/rl78/rl78-real.md (*addqi_real): Allow SADDR types for
inc/dec.
(*addhi3_real): Likewise.
* config/rl78/rl78-virt.md (*inc<mode>3_virt): Additional
pattern to match incrementing memory.
* config/rl78/predicates.md (rl78_1_2_operand): New.
* config/rl78/rl78.c (rl78_force_nonfar_3): Allow far mem-mem if
it's the same and only mem.
(rl78_alloc_physical_registers_op2): If there's effectively only
one MEM, transcode it into HL.
(rl78_far_p): Reject addresses that aren't legitimate.

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

PR c++/65295
* constexpr.c (cxx_eval_constant_expression): Remove assert in
RESULT_DECL handling.

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

2015-03-03  Iain Sandoe  <iain@codesourcery.com>

PR libstdc++/64883
* testsuite/17_intro/headers/c++1998/all_attributes.cc: Don't check
visibility for Darwin.
* testsuite/17_intro/headers/c++200x/all_attributes.cc: Likewise, and
also deprecated.
* testsuite/17_intro/headers/c++2014/all_attributes.cc: Likewise.

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

* fold-const.c (round_up_loc): Cast divisor to HOST_WIDE_INT before
negating it.

* tree-sra.c (pa_sra_preliminary_function_checks): Fix typo in message.

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

Implement call0 ABI for xtensa

call0 is an ABI that doesn't use register windows.

2015-03-03  Max Filippov  <jcmvbkbc@gmail.com>

gcc/
* config/xtensa/constraints.md ("a" constraint): Include stack
pointer in case of call0 ABI.
("q" constraint): Make empty in case of call0 ABI.
("D" constraint): Include stack pointer in case of call0 ABI.
* config/xtensa/xtensa-protos.h (xtensa_set_return_address,
xtensa_expand_epilogue, xtensa_regno_to_class): Add new function
prototypes.
* config/xtensa/xtensa.c (xtensa_callee_save_size): New
variable.
(xtensa_regno_to_class): Make it a local variable in the
function xtensa_regno_to_class.
(xtensa_function_epilogue, TARGET_ASM_FUNCTION_EPILOGUE): Remove
macro, function prototype and implementation.
(reg_nonleaf_alloc_order): Make it a local variable in the
function order_regs_for_local_alloc.
(xtensa_conditional_register_usage): New function.
(TARGET_CONDITIONAL_REGISTER_USAGE): Define macro.
(xtensa_valid_move): Allow direct moves to stack pointer
register in call0 ABI.
(xtensa_setup_frame_addresses): Only spill register windows in
windowed ABI.
(xtensa_emit_call): Emit call(x)8 or call(x)0 in windowed and
call0 ABI respectively.
(xtensa_function_arg_1): Only mark a7 register for copying in
windowed ABI.
(xtensa_call_save_reg): New function.
(compute_frame_size): Add space for callee saved register
storage to the frame size in call0 ABI.
(xtensa_expand_prologue): Generate code to set up stack frame
and save callee-saved registers in call0 ABI.
(xtensa_expand_epilogue): New function.
(xtensa_set_return_address): New function.
(xtensa_return_addr): Calculate return address in call0 ABI.
(xtensa_builtin_saveregs): Only mark a7 register for copying and
emit copying code in windowed ABI.
(order_regs_for_local_alloc): Add preferred register allocation
order for non-leaf function in call0 ABI.
(xtensa_static_chain): Add atatic chain passing for call0 ABI.
(xtensa_asm_trampoline_template): Add trampoline generation for
call0 ABI.
(xtensa_trampoline_init): Add trampoline initialization for
call0 ABI.
(xtensa_conditional_register_usage, xtensa_regno_to_class): New
functions.
* config/xtensa/xtensa.h (TARGET_WINDOWED_ABI): New macro.
(TARGET_CPU_CPP_BUILTINS): Add built-in define for call0 ABI.
(CALL_USED_REGISTERS): Modify to encode both windowed and call0
ABI call-used registers.
(HARD_FRAME_POINTER_REGNUM): Add frame pointer for call0 ABI.
(INCOMING_REGNO, OUTGOING_REGNO): Use argument unchanged in
call0 ABI.
(REG_CLASS_CONTENTS): Include all registers into the preferred
reload registers set, adjust the set in the
xtensa_conditional_register_usage.
(xtensa_regno_to_class): Drop variable declaration.
(REGNO_REG_CLASS): Redefine to use xtensa_regno_to_class
function.
(WINDOW_SIZE): Define as 8 or 0 for windowed and call0 ABI
respectively.
(FUNCTION_PROFILER): Add _mcount call for call0 ABI.
(TRAMPOLINE_SIZE): Define trampoline size for call0 ABI.
(RETURN_ADDR_IN_PREVIOUS_FRAME): Define to 0 in call0 ABI.
(ASM_OUTPUT_POOL_PROLOGUE): Always generate literal pool
location in call0 ABI.
(EH_RETURN_STACKADJ_RTX): New definition, use a10 for passing
stack adjustment size when handling exception.
(CRT_CALL_STATIC_FUNCTION): Add definition for call0 ABI.
* config/xtensa/xtensa.md (A9_REG, UNSPECV_BLOCKAGE): New
definitions.
("return" pattern): Generate ret.n/ret in call0 ABI.
("epilogue" pattern): Expand epilogue.
("nonlocal_goto" pattern): Use default in call0 ABI.
("eh_return" pattern): Move implementation to eh_set_a0_windowed,
emit eh_set_a0_* depending on ABI.
("eh_set_a0_windowed" pattern): Former eh_return pattern.
("eh_set_a0_call0", "blockage"): New patterns.

libgcc/
* config/xtensa/lib2funcs.S (__xtensa_libgcc_window_spill,
__xtensa_nonlocal_goto): Don't compile for call0 ABI.
(__xtensa_sync_caches): Only use entry and retw in windowed ABI,
use ret in call0 ABI.
* config/xtensa/t-windowed: New file.
* libgcc/config/xtensa/t-xtensa (LIB2ADDEH): Move to t-windowed.
* libgcc/configure: Regenerated.
* libgcc/configure.ac: Check if xtensa target is configured for
windowed ABI and thus needs to use custom unwind code.

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

PR ipa/65287
* gcc.dg/ipa/pr65287.c: New test.

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

PR ipa/65287
* ipa-icf.c (sem_variable::parse): Skip all alias variables.
* gcc.dg/ipa/pr65287.c: New test.

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

2015-03-03  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR 65138/target
* config/rs6000/rs6000-tables.opt: Regenerate table.

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

* MAINTAINERS: Remove Paul Brook as a Fortran and ARM
maintainer.
Remove Richard Henderson as a maintainer for the x86 port.

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

[PATCH][DOC]Fix an obvious type in md.texi

2015-03-03  Renlin Li  <renlin.li@arm.com>

gcc/

* doc/md.texi (@item ^): ChangeLog ? into ^.

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

Regenerate doc/tm.texi

* doc/tm.texi: Regenerated.

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

Turn RETURN_ADDR_IN_PREVIOUS_FRAME into C expression

This allows a target to support both windowed and non-windowed ABI.

2015-03-03  Max Filippov  <jcmvbkbc@gmail.com>

gcc/
* builtins.c (expand_builtin_return_addr): Add
RETURN_ADDR_IN_PREVIOUS_FRAME to 'if' condition, remove
surrounding #ifdef.
* config/sparc/sparc.h (RETURN_ADDR_IN_PREVIOUS_FRAME): Change
definition to 1.
* config/xtensa/xtensa.h (RETURN_ADDR_IN_PREVIOUS_FRAME):
Likewise.
* defaults.h (RETURN_ADDR_IN_PREVIOUS_FRAME): Define to 0 if
undefined.
* doc/tm.texi.in (RETURN_ADDR_IN_PREVIOUS_FRAME): Update
paragraph.

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

2015-03-03  Joern Rennecke  <gnu@amylaar.uk>

        * MAINTAINERS (CPU Port Maintainers): Update my email address.

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

2015-03-03  Martin Jambor  <mjambor@suse.cz>
            Eric Botcazou  <ebotcazou@adacore.com>

gcc/
        * tree-sra.c (ipa_sra_check_caller_data): New type.
        (has_caller_p): Removed.
        (ipa_sra_check_caller): New function.
        (ipa_sra_preliminary_function_checks): Use it.

gcc/changelog/
        * gnat.dg/specs/pack12.ads: New test.

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

ICF: Use bit or instead of if branch.

* ipa-icf.c (sem_item_optimizer::merge_classes): Use bit or
instead of if branch.

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

Fix PR ipa/65282.

* gcc.dg/ipa/PR65282.c: New test.
PR ipa/65282
* ipa-icf.c (sem_variable::equals): Fix wrong condition.

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

PR tree-optimization/65241
* tree-ssa-dom.c (lookup_avail_expr): Only modify the avail_expr
hash table if INSERT is true.

PR tree-optimization/65241
* gcc.c-torture/compile/pr65241.c: New test.

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

PR target/65296
* config.gcc (extra_gcc_objs) [avr-*-rtems*]: Remove.

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