gcc.git
7 years agoS/390: Additional memset/memcpy runtime tests.
Dominik Vogt [Thu, 5 Jan 2017 10:05:47 +0000 (10:05 +0000)]
S/390: Additional memset/memcpy runtime tests.

These were provided by Dominik to check more of the corner case in our
memset/memcpy inline code.

gcc/testsuite/ChangeLog:

2017-01-05  Dominik Vogt  <vogt@linux.vnet.ibm.com>

* gcc.target/s390/memcpy-2.c: New test.
* gcc.target/s390/memset-2.c: New test.

From-SVN: r244099

7 years agoS/390: Unroll mvc loop for memcpy with small constant lengths.
Andreas Krebbel [Thu, 5 Jan 2017 10:03:01 +0000 (10:03 +0000)]
S/390: Unroll mvc loop for memcpy with small constant lengths.

See the memset unrolling patch.  The very same applies to memcpys with
constant lengths.

2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_expand_movmem): Unroll MVC loop for
small constant length operands.

gcc/testsuite/ChangeLog:

2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/memcpy-1.c: New test.

From-SVN: r244098

7 years agoS/390: Unroll mvc/xc loop for memset with small constant
Andreas Krebbel [Thu, 5 Jan 2017 10:00:34 +0000 (10:00 +0000)]
S/390: Unroll mvc/xc loop for memset with small constant
 lengths.

When expanding a memset we emit a loop of MVCs/XCs instructions dealing
with 256 byte blocks.  This loop used to get unrolled with older GCCs
when using constant length operands.  GCC lost this ability probably
when more of the loop unrolling stuff has been moved to tree level.

With this patch the unrolling is done manually when emitting the RTL
insns.

2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/memset-1.c: New test.

gcc/ChangeLog:

2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_expand_setmem): Unroll the loop for
small constant length operands.

From-SVN: r244097

7 years agoS/390: memset: Avoid overlapping MVC operands between iterations.
Andreas Krebbel [Thu, 5 Jan 2017 09:59:32 +0000 (09:59 +0000)]
S/390: memset: Avoid overlapping MVC operands between iterations.

A memset with a value != 0 is currently implemented using the mvc
instruction propagating the first byte through 256 byte blocks.  While
for the first mvc the byte is written with a separate instruction
subsequent MVCs used the last byte of the previous 256 byte block.

Starting with z13 this causes a major performance degradation.  With
this patch we always set the first byte with an mvi or stc in order to
avoid the overlapping of the MVC operands between loop iterations.

On older machines this basically makes no measurable difference so the
patch enables the new behavior for all machine levels in order to make
sure that code built for older machine levels runs well when moved to
a z13.

Bootstrapped and regression tested on s390 and s390x using z900 and z13
as default -march level. No regressions.

gcc/ChangeLog:

2017-01-05  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_expand_setmem): Avoid overlapping bytes
between loop iterations.

From-SVN: r244096

7 years agoDo not sanitize in an abnormal context (PR sanitizer/78815).
Martin Liska [Thu, 5 Jan 2017 09:16:50 +0000 (10:16 +0100)]
Do not sanitize in an abnormal context (PR sanitizer/78815).

2017-01-05  Martin Liska  <mliska@suse.cz>

PR sanitizer/78815
* gimplify.c (gimplify_decl_expr): Compare to
asan_poisoned_variables instread of checking flags.
(gimplify_target_expr): Likewise.
(gimplify_expr): Likewise.
(gimplify_function_tree): Conditionally initialize
asan_poisoned_variables.

From-SVN: r244095

7 years agovimrc: fix TAB settings
Martin Liska [Thu, 5 Jan 2017 08:54:58 +0000 (09:54 +0100)]
vimrc: fix TAB settings

2017-01-05  Martin Liska  <mliska@suse.cz>

* vimrc: Update indentation definition.

From-SVN: r244094

7 years agore PR rtl-optimization/78812 (Wrong code generation due to hoisting memory load acros...
Jeff Law [Thu, 5 Jan 2017 07:38:48 +0000 (00:38 -0700)]
re PR rtl-optimization/78812 (Wrong code generation due to hoisting memory load across function call)

PR tree-optimizatin/78812
* rtl.h (contains_mem_rtx_p): Prototype.
* ifcvt.c (containts_mem_rtx_p): Move from here to...
* rtlanal.c (contains_mem_rtx_p): Here and remvoe static linkage.
* gcse.c (prune_expressions): Use contains_mem_rtx_p to discover
and prune MEMs that are not at the toplevel of a SET_SRC rtx.  Look
through ZERO_EXTEND and SIGN_EXTEND when trying to avoid pruning
MEMs.

PR tree-optimization/78812
* g++.dg/torture/pr78812.C: New test.

From-SVN: r244093

7 years agore PR libstdc++/78996 (<variant> uses macro as name)
Tim Shen [Thu, 5 Jan 2017 03:18:17 +0000 (03:18 +0000)]
re PR libstdc++/78996 (<variant> uses macro as name)

2017-01-05  Tim Shen  <timshen@google.com>

PR libstdc++/78996
* include/std/variant (__gen_vtable_impl): rename __unused to
__dimensions to avoid naming conflict.

From-SVN: r244092

7 years ago[bootstrap-O3] add a default initializer to avoid a warning at -O3
Alexandre Oliva [Thu, 5 Jan 2017 01:46:52 +0000 (01:46 +0000)]
[bootstrap-O3] add a default initializer to avoid a warning at -O3

Building with the bootstrap-O3 configuration option fails to compile
input.c due to an AFAICT false-positive warning about an uninitialized
use of a variable.

This patch adds a default initializer to silence it.

for  gcc/ChangeLog

* input.c (assert_char_at_range): Default-initialize
actual_range.

From-SVN: r244091

7 years ago[bootstrap-O3] use unsigned type for regno in df-scan
Alexandre Oliva [Thu, 5 Jan 2017 01:46:41 +0000 (01:46 +0000)]
[bootstrap-O3] use unsigned type for regno in df-scan

This patch fixes a false-positive warning in df-scan, at bootstrap-O3
failed, and enables GCC to optimize out the code that leads to the
warning.

df_ref_create_structure was inlined into the else part of
df_ref_record.  Due to the condition of the corresponding if, In the
else part, VRP deduced unsigned regno >= FIRST_PSEUDO_REGISTER.

In df_ref_create_structure, there's another regno variable,
initialized with the same expression and value as the caller's.  GCC
can tell as much, but this regno variable is signed.  It is used,
shifted right, to index a hard regset bit array within a path that
tests that this signed regno < FIRST_PSEUDO_REGISTER.

GCC warned about the possible out-of-range indexing into the hard
regset array.  It shouldn't, after all, the same regno can't possibly
be both < FIRST_PSEUDO_REGISTER and >= FIRST_PSEUDO_REGISTER, can it?

Well, the optimizers correctly decide it could, if it was a negative
int that, when converted to unsigned, became larger than
FIRST_PSEUDO_REGISTER.  But GCC doesn't know regno can't be negative,
so the test could not be optimize out.  What's more, given the
constraints, VRP correctly concluded the hard regset array would
always be indexed by a value way outside the array index range.

This patch changes the inlined regno to unsigned, like the caller's,
so that we can now tell the conditions can't both hold, so we optimize
out the path containing the would-be out-of-range array indexing.

for  gcc/ChangeLog

* df-scan.c (df_ref_create_structure): Make regno unsigned,
to match the caller.

From-SVN: r244090

7 years ago[-fcompare-debug] find jump before debug insns in expand
Alexandre Oliva [Thu, 5 Jan 2017 01:46:32 +0000 (01:46 +0000)]
[-fcompare-debug] find jump before debug insns in expand

A debug insn after the final jump of a basic block may cause the
expander to emit a dummy move where the non-debug compile won't
because it finds the jump insn at the end of the insn stream.

Fix the condition so that, instead of requiring the jump as the last
insn, it also matches a jump followed by debug insns.

This fixes the compilation of libgcc/libgcov-profiler.c with
-fcompare-debug on i686-linux-gnu.

for  gcc/ChangeLog

* cfgexpand.c (expand_gimple_basic_block): Disregard debug
insns after final jump in test to emit dummy move.

From-SVN: r244089

7 years ago[-fcompare-debug] skip more debug stmts in cleanup_empty_eh
Alexandre Oliva [Thu, 5 Jan 2017 01:46:14 +0000 (01:46 +0000)]
[-fcompare-debug] skip more debug stmts in cleanup_empty_eh

Various Ada RTS files failed -fcompare-debug compilation because debug
stmts prevented EH cleanups from taking place.  Adjusting
cleanup_empty_eh to skip them fixes it.

for  gcc/ChangeLog

* gimple-iterator.h (gsi_one_nondebug_before_end_p): New.
* tree-eh.c (cleanup_empty_eh): Skip more debug stmts.

From-SVN: r244088

7 years ago[bootstrap-O3,fortran] add a NULL initializer to avoid a warning at -O3
Alexandre Oliva [Thu, 5 Jan 2017 01:46:01 +0000 (01:46 +0000)]
[bootstrap-O3,fortran] add a NULL initializer to avoid a warning at -O3

Building with the bootstrap-O3 configuration option fails to compile
fortran/module.c due to an AFAICT false-positive warning about an
uninitialized use of a variable.

This patch adds a dummy initializer to silence it.

for  gcc/fortran/ChangeLog

* module.c (load_omp_udrs): Initialize name.

From-SVN: r244087

7 years ago[bootstrap-O1] add initializers to avoid warnings at -O1
Alexandre Oliva [Thu, 5 Jan 2017 01:45:51 +0000 (01:45 +0000)]
[bootstrap-O1] add initializers to avoid warnings at -O1

Building with the bootstrap-O1 configuration option fails to compile a
number of files due to AFAICT false-positive warnings about uses of
uninitialized variables.

This patch adds dummy initializers to silence them all.

for  gcc/ChangeLog

* multiple_target.c (create_dispatcher_calls): Init e_next.
* tree-ssa-loop-split.c (split_loop): Init border.
* tree-vect-loop.c (vect_determine_vectorization_factor): Init
scalar_type.

From-SVN: r244086

7 years agoFix ChangeLog date
Michael Meissner [Thu, 5 Jan 2017 00:44:22 +0000 (00:44 +0000)]
Fix ChangeLog date

From-SVN: r244085

7 years agore PR target/71977 (powerpc64: Use VSR when operating on float and integer)
Michael Meissner [Thu, 5 Jan 2017 00:43:53 +0000 (00:43 +0000)]
re PR target/71977 (powerpc64: Use VSR when operating on float and integer)

[gcc]
2017-01-04  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/71977
PR target/70568
PR target/78823
* config/rs6000/predicates.md (sf_subreg_operand): New predicate.
(altivec_register_operand): Do not return true if the operand
contains a SUBREG mixing SImode and SFmode.
(vsx_register_operand): Likewise.
(vsx_reg_sfsubreg_ok): New predicate.
(vfloat_operand): Do not return true if the operand contains a
SUBREG mixing SImode and SFmode.
(vint_operand): Likewise.
(vlogical_operand): Likewise.
(gpc_reg_operand): Likewise.
(int_reg_operand): Likewise.
* config/rs6000/rs6000-protos.h (valid_sf_si_move): Add
declaration.
* config/rs6000/rs6000.c (valid_sf_si_move): New function to
determine if a MOVSI or MOVSF operation contains SUBREGs that mix
SImode and SFmode.
(rs6000_emit_move_si_sf_subreg): New helper function.
(rs6000_emit_move): Call rs6000_emit_move_si_sf_subreg to possbily
fixup SUBREGs involving SImode and SFmode.
* config/rs6000/vsx.md (SFBOOL_*): New constants that are operand
numbers for the new peephole2 optimization.
(peephole2 for SFmode unions): New peephole2 to optimize cases in
the GLIBC math library that do AND/IOR/XOR operations on single
precision floating point.
* config/rs6000/rs6000.h (TARGET_NO_SF_SUBREG): New internal
target macros to say whether we need to avoid SUBREGs mixing
SImode and SFmode.
(TARGET_ALLOW_SF_SUBREG): Likewise.
* config/rs6000/rs6000.md (UNSPEC_SF_FROM_SI): New unspecs.
(UNSPEC_SI_FROM_SF): Likewise.
(iorxor): Change spacing.
(and_ior_xor): New iterator for AND, IOR, and XOR.
(movsi_from_sf): New insns for SImode/SFmode SUBREG support.
(movdi_from_sf_zero_ext): Likewise.
(mov<mode>_hardfloat, FMOVE32 iterator): Use register_operand
instead of gpc_reg_operand.  Add SImode/SFmode SUBREG support.
(movsf_from_si): New insn for SImode/SFmode SUBREG support.
(fma<mode>4): Use gpc_reg_operand instead of register_operand.
(fms<mode>4): Likewise.
(fnma<mode>4): Likewise.
(fnms<mode>4): Likewise.
(nfma<mode>4): Likewise.
(nfms<mode>4): Likewise.

[gcc/testsuite]
2017-01-04  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/71977
PR target/70568
PR target/78823
* gcc.target/powerpc/pr71977-1.c: New tests to check whether on
64-bit VSX systems with direct move, whether we optimize common
code sequences in the GLIBC math library for float math functions.
* gcc.target/powerpc/pr71977-2.c: Likewise.

From-SVN: r244084

7 years agoDaily bump.
GCC Administrator [Thu, 5 Jan 2017 00:16:23 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r244083

7 years ago* pt_BR.po, ru.po: Update.
Joseph Myers [Thu, 5 Jan 2017 00:04:28 +0000 (00:04 +0000)]
* pt_BR.po, ru.po: Update.

From-SVN: r244080

7 years agore PR c++/64767 (Could GCC warn when a pointer is compared against '\0'?)
Marek Polacek [Wed, 4 Jan 2017 21:47:04 +0000 (21:47 +0000)]
re PR c++/64767 (Could GCC warn when a pointer is compared against '\0'?)

PR c++/64767
* c.opt (Wpointer-compare): New option.

* c-parser.c (c_parser_postfix_expression): Mark zero character
constants by setting original_type in c_expr.
* c-typeck.c (parser_build_binary_op): Warn when a pointer is compared
with a zero character constant.
(char_type_p): New function.

* typeck.c (cp_build_binary_op): Warn when a pointer is compared with
a zero character literal.

* doc/invoke.texi: Document -Wpointer-compare.

* c-c++-common/Wpointer-compare-1.c: New test.

From-SVN: r244076

7 years agore PR c++/78949 (incorrect "unused variable" warning with SSE2)
Jakub Jelinek [Wed, 4 Jan 2017 21:34:27 +0000 (22:34 +0100)]
re PR c++/78949 (incorrect "unused variable" warning with SSE2)

PR c++/78949
* typeck.c (cp_build_unary_op): Call mark_rvalue_use on arg if it has
vector type.

* c-c++-common/Wunused-var-16.c: New test.

From-SVN: r244075

7 years agore PR c++/78693 (Bogus 'inconsistent deduction for ‘auto’' error when having a depend...
Jakub Jelinek [Wed, 4 Jan 2017 21:30:35 +0000 (22:30 +0100)]
re PR c++/78693 (Bogus 'inconsistent deduction for ‘auto’' error when having a dependent initializer and a nondependent one in the same declaration)

PR c++/78693
* parser.c (cp_parser_simple_declaration): Only complain about
inconsistent auto deduction if auto_result doesn't use auto.

* g++.dg/cpp0x/pr78693.C: New test.

From-SVN: r244074

7 years agooptc-gen.awk: Emit #error for -W*/-f*/-m* Enum without RejectNegative.
Jakub Jelinek [Wed, 4 Jan 2017 21:26:50 +0000 (22:26 +0100)]
optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without RejectNegative.

* optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without
RejectNegative.

From-SVN: r244073

7 years agore PR driver/78957 (ICE: SIGSEGV with -fno-sso-struct=web)
Jakub Jelinek [Wed, 4 Jan 2017 20:25:13 +0000 (21:25 +0100)]
re PR driver/78957 (ICE: SIGSEGV with -fno-sso-struct=web)

PR driver/78957
* c.opt (fsso-struct=): Add RejectNegative.

* gcc.dg/pr78957.c: New test.

From-SVN: r244072

7 years agoparser.c (cp_parser_simple_declaration): Diagnose function declaration among more...
Jakub Jelinek [Wed, 4 Jan 2017 20:13:14 +0000 (21:13 +0100)]
parser.c (cp_parser_simple_declaration): Diagnose function declaration among more than one init-declarators with auto...

* parser.c (cp_parser_simple_declaration): Diagnose function
declaration among more than one init-declarators with auto
specifier.

* g++.dg/cpp1y/auto-fn34.C: New test.

From-SVN: r244071

7 years agore PR c++/71182 (parser.c cp_lexer_previous_token sanitizer detects member call on...
Jakub Jelinek [Wed, 4 Jan 2017 20:05:14 +0000 (21:05 +0100)]
re PR c++/71182 (parser.c cp_lexer_previous_token sanitizer detects member call on null pointer)

PR c++/71182
* parser.c (cp_lexer_previous_token): Use vec_safe_address in the
assertion, as lexer->buffer may be NULL.

* g++.dg/cpp0x/pr71182.C: New test.

From-SVN: r244070

7 years agodwarf2out.c (output_loc_list): Don't throw away 64K+ location descriptions for -gdwar...
Jakub Jelinek [Wed, 4 Jan 2017 20:03:59 +0000 (21:03 +0100)]
dwarf2out.c (output_loc_list): Don't throw away 64K+ location descriptions for -gdwarf-5 and emit them as...

* dwarf2out.c (output_loc_list): Don't throw away 64K+ location
descriptions for -gdwarf-5 and emit them as uleb128 instead of
2-byte data.

From-SVN: r244069

7 years agore PR target/78056 (build failure on Power7)
Kelvin Nilsen [Wed, 4 Jan 2017 20:03:00 +0000 (20:03 +0000)]
re PR target/78056 (build failure on Power7)

gcc/testsuite/ChangeLog:

2017-01-04  Kelvin Nilsen  <kelvin@gcc.gnu.org>

PR target/78056
* gcc.target/powerpc/pr78056-1.c: New test.
* gcc.target/powerpc/pr78056-2.c: New test.
* gcc.target/powerpc/pr78056-3.c: New test.
* gcc.target/powerpc/pr78056-4.c: New test.
* gcc.target/powerpc/pr78056-5.c: New test.
* gcc.target/powerpc/pr78056-6.c: New test.
* gcc.target/powerpc/pr78056-7.c: New test.
* gcc.target/powerpc/pr78056-8.c: New test.
* lib/target-supports.exp
(check_effective_target_powerpc_popcntb_ok): New procedure to test
whether the effective target supports the popcntb instruction.

gcc/ChangeLog:

2017-01-04  Kelvin Nilsen  <kelvin@gcc.gnu.org>

PR target/78056
* doc/sourcebuild.texi (PowerPC-specific attributes): Add
documentation of the powerpc_popcntb_ok attribute.
* config/rs6000/rs6000.c (rs6000_option_override_internal): Add
code to issue warning messages if a requested CPU configuration is
not supported by the binary (assembler and loader) toolchain.
(spe_init_builtins): Add two assertions to prevent ICE if attempt is
made to define a built-in function that has been disabled.
(paired_init_builtins): Add assertion to prevent ICE if attempt is
made to define a built-in function that has been disabled.
(altivec_init_builtins): Add comment explaining why definition
of the DST built-in functions is not preceded by an assertion
check.  Add assertions to prevent ICE if attempts are made to
define an altivec predicate or an abs* built-in function that has
been disabled.
(htm_init_builtins): Add comment explaining why definition of the
htm built-in functions is not preceded by an assertion check.

From-SVN: r244068

7 years agore PR tree-optimization/67955 (tree-dse does not use pointer info)
Jeff Law [Wed, 4 Jan 2017 19:22:44 +0000 (12:22 -0700)]
re PR tree-optimization/67955 (tree-dse does not use pointer info)

PR tree-optimizatin/67955
* tree-ssa-alias.c (same_addr_size_stores_p): Check offsets first.
Allow any SSA_VAR_P as the base objects.  Use integer_zerop.  Verify
the points-to solution does not include pt_null.  Use DECL_PT_UID
unconditionally.

PR tree-optimization/67955
* gcc.dg/tree-ssa/ssa-dse-28.c: New test.

From-SVN: r244067

7 years agore PR c++/77545 (ICE on valid C++11 code: in potential_constant_expression_1, at...
Marek Polacek [Wed, 4 Jan 2017 17:47:04 +0000 (17:47 +0000)]
re PR c++/77545 (ICE on valid C++11 code: in potential_constant_expression_1, at cp/constexpr.c:5480)

PR c++/77545
PR c++/77284
* constexpr.c (potential_constant_expression_1): Handle CLEANUP_STMT.

* g++.dg/cpp0x/range-for32.C: New test.
* g++.dg/cpp0x/range-for33.C: New test.

From-SVN: r244062

7 years agoC FE: implement fix-it hint for -Wmissing-braces
David Malcolm [Wed, 4 Jan 2017 17:40:59 +0000 (17:40 +0000)]
C FE: implement fix-it hint for -Wmissing-braces

gcc/c/ChangeLog:
* c-parser.c (c_parser_declaration_or_fndef): Create a
rich_location at init_loc and parse it to start_init.
(last_init_list_comma): New global.
(c_parser_braced_init): Update last_init_list_comma when parsing
commas.  Pass it to pop_init_level.  Pass location of closing
brace to pop_init_level.
(c_parser_postfix_expression_after_paren_type): Create a
rich_location at type_loc and parse it to start_init.
(c_parser_omp_declare_reduction): Likewise for loc.
* c-tree.h (start_init): Add rich_location * param.
(pop_init_level): Add location_t param.
* c-typeck.c (struct initializer_stack): Add field
"missing_brace_richloc".
(start_init): Add richloc param, use it to initialize
the stack node's missing_brace_richloc.
(last_init_list_comma): New decl.
(finish_implicit_inits): Pass last_init_list_comma to
pop_init_level.
(push_init_level): When finding missing open braces, add fix-it
hints to the richloc.
(pop_init_level): Add "insert_before" param and pass it
when calling pop_init_level.  Add fixits about missing
close braces to any richloc.  Use the richloc for the
-Wmissing-braces warning.
(set_designator): Pass last_init_list_comma to pop_init_level.
(process_init_element): Likewise.

gcc/testsuite/ChangeLog:
* gcc.dg/Wmissing-braces-fixits.c: New test case.

From-SVN: r244061

7 years agoupdate-copyright.py (GCCCmdLine): Add include, libcc1, libiberty, libssp, libvtv...
Jakub Jelinek [Wed, 4 Jan 2017 17:14:18 +0000 (18:14 +0100)]
update-copyright.py (GCCCmdLine): Add include, libcc1, libiberty, libssp, libvtv and lto-plugin to default_dirs.

* update-copyright.py (GCCCmdLine): Add include, libcc1, libiberty,
libssp, libvtv and lto-plugin to default_dirs.

From-SVN: r244060

7 years agoMake MIPS soft-fp preserve NaN payloads for NAN2008.
Joseph Myers [Wed, 4 Jan 2017 17:06:33 +0000 (17:06 +0000)]
Make MIPS soft-fp preserve NaN payloads for NAN2008.

The MIPS sfp-machine.h has an _FP_CHOOSENAN implementation which
emulates hardware semantics of not preserving signaling NaN payloads
for an operation with two NaN arguments (although that doesn't suffice
to avoid sNaN payload preservation in any case with just one NaN
argument).

However, those are only hardware semantics in the legacy NaN case; in
the NAN2008 case, the architecture documentation says hardware
preserves payloads in such cases.  Furthermore, this implementation
assumes legacy NaN semantics, so in the NAN2008 case the
implementation actually has the effect of preserving sNaN payloads but
not preserving qNaN payloads, when both should be preserved.

This patch fixes the code just to copy from the first argument (at the
level of libgcc, it's not meaningful which argument is the first and
which is the second).

Tested for mips64-linux-gnu (soft float, NAN2008) with the glibc math/
tests.

* config/mips/sfp-machine.h (_FP_CHOOSENAN): Always preserve NaN
payload if [__mips_nan2008].

From-SVN: r244059

7 years agoi386.md (HI/SImode test with imm to QImode splitters): Use gen_int_mode instead of...
Uros Bizjak [Wed, 4 Jan 2017 15:42:36 +0000 (16:42 +0100)]
i386.md (HI/SImode test with imm to QImode splitters): Use gen_int_mode instead of gen_lopwart for const_int operands.

* config/i386/i386.md (HI/SImode test with imm to QImode splitters):
Use gen_int_mode instead of gen_lopwart for const_int operands.

From-SVN: r244058

7 years agoPR78968 add configure check for __cxa_thread_atexit in libc
Jonathan Wakely [Wed, 4 Jan 2017 15:41:19 +0000 (15:41 +0000)]
PR78968 add configure check for __cxa_thread_atexit in libc

PR libstdc++/78968
* config.h.in: Regenerate.
* configure: Likewise.
* configure.ac: Check for __cxa_thread_atexit.
* libsupc++/atexit_thread.cc [_GLIBCXX_HAVE___CXA_THREAD_ATEXIT]:
Don't define __cxa_thread_atexit if libc provides it.

From-SVN: r244057

7 years agore PR c++/66735 ([C++14] lambda init-capture fails for const references)
Nathan Sidwell [Wed, 4 Jan 2017 15:23:40 +0000 (15:23 +0000)]
re PR c++/66735 ([C++14] lambda init-capture fails for const references)

cp/
PR c++/66735
* cp-tree.h (DECLTYPE_FOR_REF_CAPTURE): New.
(lambda_capture_field_type): Update prototype.
* lambda.c (lambda_capture_field_type): Add is_reference parm.
Add referenceness here.
(add_capture): Adjust lambda_capture_field_type call, refactor
error checking.
* pt.c (tsubst): Adjust lambda_capture_field_type call.

testsuite/
PR c++/66735
* g++.dg/cpp1y/pr66735.C: New.

From-SVN: r244056

7 years ago[DWARF] New DWARF operation "DW_OP_AARCH64_operation" for AArch64
Richard Earnshaw [Wed, 4 Jan 2017 14:25:04 +0000 (14:25 +0000)]
[DWARF] New DWARF operation "DW_OP_AARCH64_operation" for AArch64

include/
* dwarf2.def (DW_OP_AARCH64_operation): Reserve the number 0xea.
(DW_CFA_GNU_window_save): Comments the multiplexing on AArch64.

Co-Authored-By: Jiong Wang <jiong.wang@arm.com>
From-SVN: r244055

7 years agoImplement 2801, Default-constructibility of unique_ptr.
Ville Voutilainen [Wed, 4 Jan 2017 13:21:02 +0000 (15:21 +0200)]
Implement 2801, Default-constructibility of unique_ptr.

* include/bits/unique_ptr.h (__uniq_ptr_impl::_DeleterConstraint): New.
(unique_ptr::_DeleterConstraint): Likewise.
(unique_ptr()): Constrain.
(unique_ptr(pointer)): Likewise.
(unique_ptr(nullptr_t)): Likewise.
(unique_ptr<_Tp[], _Dp>::_DeleterConstraint): New.
(unique_ptr<_Tp[], _Dp>::unique_ptr()): Constrain.
(unique_ptr<_Tp[], _Dp>::unique_ptr(_Up)): Likewise.
(unique_ptr<_Tp[], _Dp>::unique_ptr(nullptr_t)): Likewise.
* testsuite/20_util/unique_ptr/assign/48635_neg.cc: Adjust.
* testsuite/20_util/unique_ptr/cons/cv_qual_neg.cc: Likewise.
* testsuite/20_util/unique_ptr/cons/default.cc: New.
* testsuite/20_util/unique_ptr/cons/ptr_deleter_neg.cc: Adjust.

From-SVN: r244054

7 years agoUpdate copyright years.
Jakub Jelinek [Wed, 4 Jan 2017 11:30:51 +0000 (12:30 +0100)]
Update copyright years.

From-SVN: r244052

7 years agoSupport exception propagation without lock-free atomic int
Pauli Nieminen [Wed, 4 Jan 2017 10:54:59 +0000 (10:54 +0000)]
Support exception propagation without lock-free atomic int

2017-01-04  Pauli Nieminen  <suokkos@gmail.com>
    Jonathan Wakely  <jwakely@redhat.com>

PR libstdc++/64735
* acinclude.m4 (GLIBCXX_CHECK_EXCEPTION_PTR_SYMVER): Define.
* config.h.in: Regenerate.
* config/abi/pre/gnu.ver [HAVE_EXCEPTION_PTR_SINCE_GCC46]
(GLIBCXX_3.4.15, GLIBCXX_3.4.21, CXXABI_1.3.3, CXXABI_1.3.5): Make
exports for exception_ptr, nested_exception, and future conditional.
[HAVE_EXCEPTION_PTR_SINCE_GCC46] (GLIBCXX_3.4.23, CXXABI_1.3.11): Add
exports for exception_ptr, nested_exception, and future conditional.
* configure: Regenerate.
* configure.ac: Use GLIBCXX_CHECK_EXCEPTION_PTR_SYMVER.
* include/std/future: Remove check for ATOMIC_INT_LOCK_FREE
* libsupc++/eh_atomics.h: New file for internal use only.
(__eh_atomic_inc, __eh_atomic_dec): New.
* libsupc++/eh_ptr.cc (exception_ptr::_M_addref)
(exception_ptr::_M_release) (__gxx_dependent_exception_cleanup)
(rethrow_exception): Use eh_atomics.h reference counting helpers.
* libsupc++/eh_throw.cc (__gxx_exception_cleanup): Likewise.
* libsupc++/eh_tm.cc (free_any_cxa_exception): Likewise.
* libsupc++/exception: Remove check for ATOMIC_INT_LOCK_FREE.
* libsupc++/exception_ptr.h: Likewise.
* libsupc++/guard.cc: Include header for ATOMIC_INT_LOCK_FREE macro.
* libsupc++/nested_exception.cc: Remove check for
ATOMIC_INT_LOCK_FREE.
* libsupc++/nested_exception.h: Likewise.
* src/c++11/future.cc: Likewise.
* testsuite/18_support/exception_ptr/*: Remove atomic builtins checks.
* testsuite/18_support/nested_exception/*: Likewise.
* testsuite/30_threads/async/*: Likewise.
* testsuite/30_threads/future/*: Likewise.
* testsuite/30_threads/headers/future/types_std_c++0x.cc: Likewise.
* testsuite/30_threads/packaged_task/*: Likewise.
* testsuite/30_threads/promise/*: Likewise.
* testsuite/30_threads/shared_future/*: Likewise.

Co-Authored-By: Jonathan Wakely <jwakely@redhat.com>
From-SVN: r244051

7 years agore PR tree-optimization/71563 (Regression in GCC-7.0.0's optimizer.)
Jakub Jelinek [Wed, 4 Jan 2017 09:07:33 +0000 (10:07 +0100)]
re PR tree-optimization/71563 (Regression in GCC-7.0.0's optimizer.)

PR tree-optimization/71563
* match.pd: Simplify X << Y into X if Y is known to be 0 or
out of range value - has low bits known to be zero.

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

From-SVN: r244050

7 years agoUpdate configure deps, remove stray \xA0 in picflag.m4, regenerate
Alan Modra [Wed, 4 Jan 2017 08:29:34 +0000 (18:59 +1030)]
Update configure deps, remove stray \xA0 in picflag.m4, regenerate

Also fix a stray changelog entry.  Some of the regen here is due to
previous changes not being regenerated properly, in part due to the
missing configure dependencies.

* configure: Regenerate.
config/
* picflag.m4: Remove stray \xA0 in comment.
gcc/
* Makefile.in (aclocal_deps): Update and order as per aclocal.m4.
* configure: Regenerate.
* config.in: Regenerate.
libada/
* Makefile.in (configure_deps): Update and order as per
configure.ac sinclude.
* configure: Regenerate.
libgcc/
* Makefile.in (configure_deps): Update.
* configure: Regenerate.
libiberty/
* Makefile.in (configure_deps): Update.
* configure: Regenerate.
libitm/
* Makefile.in: Regenerate.
* testsuite/Makefile.in: Regenerate.

From-SVN: r244049

7 years agoPR 78796 Modify testcases due to gfc_trans_string_copy change
Janne Blomqvist [Wed, 4 Jan 2017 08:06:54 +0000 (10:06 +0200)]
PR 78796 Modify testcases due to gfc_trans_string_copy change

As r244011 had to be reverted, this change adds back the testcase
changes that are needed due to r244003.

2017-01-04  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/78534
PR fortran/78976
* gfortran.dg/dependency_49.f90: Change scan-tree-dump-times
due to gfc_trans_string_copy change to avoid -Wstringop-overflow.
* gfortran.dg/transfer_intrinsic_1.f90: Change
scan-tree-dump-times due to gfc_trans_string_copy change to
avoid -Wstringop-overflow.

From-SVN: r244048

7 years agore PR bootstrap/77569 (self tests fail when not using C locale)
Jakub Jelinek [Wed, 4 Jan 2017 07:53:30 +0000 (08:53 +0100)]
re PR bootstrap/77569 (self tests fail when not using C locale)

PR bootstrap/77569
* input.c (ebcdic_execution_charset::on_error): Don't use strstr for
a substring of the message, but strcmp with the whole message.  Ifdef
ENABLE_NLS, translate the message first using dgettext.

From-SVN: r244047

7 years agoFix ChangeLog date
Michael Meissner [Wed, 4 Jan 2017 05:37:05 +0000 (05:37 +0000)]
Fix ChangeLog date

From-SVN: r244046

7 years agore PR tree-optimization/78856 (wrong code at -O3 on x86_64-linux-gnu (in both 32...
Jeff Law [Wed, 4 Jan 2017 05:31:23 +0000 (22:31 -0700)]
re PR tree-optimization/78856 (wrong code at -O3 on x86_64-linux-gnu (in both 32-bit and 64-bit modes))

PR tree-optimizatin/78856
* tree-ssa-threadupdate.c: Include tree-vectorizer.h.
(mark_threaded_blocks): Remove code to truncate thread paths that
cross multiple loop headers.  Instead invalidate the cached loop
iteration information and handle case of a thread path walking
into an irreducible region.

PR tree-optimization/78856
* gcc.c-torture/execute/pr78856.c: New test.

From-SVN: r244045

7 years agore PR target/78900 (ICE in gcc.target/powerpc/signbit-3.c)
Michael Meissner [Wed, 4 Jan 2017 04:32:48 +0000 (04:32 +0000)]
re PR target/78900 (ICE in gcc.target/powerpc/signbit-3.c)

[gcc]
2016-12-30  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/78900
* config/rs6000/rs6000.c (rs6000_split_signbit): Change some
assertions.  Add support for doing the signbit if the IEEE 128-bit
floating point value is in a GPR.
* config/rs6000/rs6000.md (Fsignbit): Delete.
(signbit<mode>2_dm): Delete using <Fsignbit> and just use "wa".
Update the length attribute if the value is in a GPR.
(signbit<mode>2_dm_<su>ext): Add combiner pattern to eliminate
the sign or zero extension instruction, since the value is always
0/1.
(signbit<mode>2_dm2): Delete using <Fsignbit>.

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

PR target/78953
* config/rs6000/vsx.md (vsx_extract_<mode>_store_p9): If we are
extracting SImode to a GPR register so that we can generate a
store, limit the vector to be in a traditional Altivec register
for the vextuwrx instruction.

[gcc/testsuite]
2017-01-03  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/78953
* gcc.target/powerpc/pr78953.c: New test.

From-SVN: r244044

7 years agodocumentation_hacking.xml: sourceforge.net now defaults to https; adjust reference.
Gerald Pfeifer [Wed, 4 Jan 2017 02:33:08 +0000 (02:33 +0000)]
documentation_hacking.xml: sourceforge.net now defaults to https; adjust reference.

        * doc/xml/manual/documentation_hacking.xml: sourceforge.net now
        defaults to https; adjust reference.

From-SVN: r244043

7 years ago* fi.po: Update.
Joseph Myers [Wed, 4 Jan 2017 01:16:16 +0000 (01:16 +0000)]
* fi.po: Update.

From-SVN: r244042

7 years agogodump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.
Ian Lance Taylor [Wed, 4 Jan 2017 00:58:34 +0000 (00:58 +0000)]
godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.

gcc/:
* godump.c (go_format_type): Treat ENUMERAL_TYPE like
INTEGER_TYPE.
gcc/testsuite/:
* gcc.misc-tests/godump-1.c: Update for accurate representation of
enums.

From-SVN: r244041

7 years agoDaily bump.
GCC Administrator [Wed, 4 Jan 2017 00:16:15 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r244040

7 years agoPR tree-optimization/78696 - [7 Regression] -fprintf-return-value misoptimizes %...
Martin Sebor [Tue, 3 Jan 2017 23:14:44 +0000 (16:14 -0700)]
PR tree-optimization/78696 - [7 Regression] -fprintf-return-value misoptimizes %.Ng where N is greater than 10

gcc/ChangeLog:

PR tree-optimization/78696
* gimple-ssa-sprintf.c (format_floating): Correct handling of
precision.  Use MPFR for %f for greater fidelity.  Correct handling
of %g.
(pass_sprintf_length::compute_format_length): Set width and precision
specified by asrerisk to void_node for vararg functions.
(try_substitute_return_value): Adjust dump output.

gcc/testsuite/ChangeLog:

PR tree-optimization/78696
* gcc.dg/tree-ssa/builtin-sprintf-5.c: Remove incorrect test cases.
* gcc.dg/tree-ssa/builtin-sprintf-warn-7.c: Correct off-by-1 errors.
* gcc.dg/tree-ssa/builtin-sprintf-warn-9.c: New test.
* gcc.dg/tree-ssa/builtin-sprintf.c: Add test cases.

From-SVN: r244037

7 years agoruntime: remove __go_alloc and __go_free
Ian Lance Taylor [Tue, 3 Jan 2017 22:58:48 +0000 (22:58 +0000)]
runtime: remove __go_alloc and __go_free

    Move allocg and handling of allgs slice from C to Go.

    Reviewed-on: https://go-review.googlesource.com/34797

From-SVN: r244036

7 years ago* doc/invoke.texi (RS6000 options): LRA is enabled by default.
David Edelsohn [Tue, 3 Jan 2017 22:08:39 +0000 (22:08 +0000)]
* doc/invoke.texi (RS6000 options): LRA is enabled by default.

From-SVN: r244035

7 years agoinvoke.texi (SPARC options): Document -mlra as the default.
Eric Botcazou [Tue, 3 Jan 2017 21:13:49 +0000 (21:13 +0000)]
invoke.texi (SPARC options): Document -mlra as the default.

* doc/invoke.texi (SPARC options): Document -mlra as the default.
* config/sparc/sparc.c (sparc_option_override): Force LRA unless
-mlra/-mno-lra was passed to the compiler.

From-SVN: r244034

7 years agoUpdate .po files from TP.
Joseph Myers [Tue, 3 Jan 2017 20:52:48 +0000 (20:52 +0000)]
Update .po files from TP.

gcc/po:
* be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po,
ja.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po, zh_CN.po,
zh_TW.po: Update.

libcpp/po:
* be.po, ca.po, da.po, de.po, el.po, eo.po, es.po, fi.po, fr.po,
id.po, ja.po, nl.po, pr_BR.po, ru.po, sr.po, sv.po, tr.po, uk.po,
vi.po, zh_CN.po, zh_TW.po: Update.

From-SVN: r244032

7 years agore PR go/78789 (Error: no such instruction: `aesenc %xmm0,%xmm2' when compiling libgo...
Ian Lance Taylor [Tue, 3 Jan 2017 20:41:54 +0000 (20:41 +0000)]
re PR go/78789 (Error: no such instruction: `aesenc %xmm0,%xmm2' when compiling libgo/runtime/aeshash.c)

PR go/78789
    runtime: don't build aeshash.c if the assembler doesn't support it

    This is for CentOS 5, whose assembler does not know the aesinc
    instruction.

    Fixes GCC PR 78789.

    Patch by Uros Bizjak.

    Reviewed-on: https://go-review.googlesource.com/34796

From-SVN: r244031

7 years agore PR rtl-optimization/65618 (gnat bootstrap comparison failure on mips{,el}-linux...
James Cowgill [Tue, 3 Jan 2017 18:41:05 +0000 (18:41 +0000)]
re PR rtl-optimization/65618 (gnat bootstrap comparison failure on mips{,el}-linux-gnu)

PR rtl-optimization/65618
* emit-rtl.c (try_split): Move initialization of "before" and
"after" to just before the call to emit_insn_after_setloc.

From-SVN: r244029

7 years agoPR 78534 Revert r244011
Janne Blomqvist [Tue, 3 Jan 2017 18:01:30 +0000 (20:01 +0200)]
PR 78534 Revert r244011

r244011 caused regressions on 32-bit hosts.

From-SVN: r244027

7 years agos-linux-mips.ads: Use correct signal and errno constants.
James Cowgill [Tue, 3 Jan 2017 17:52:28 +0000 (17:52 +0000)]
s-linux-mips.ads: Use correct signal and errno constants.

* s-linux-mips.ads: Use correct signal and errno constants.
(sa_handler_pos, sa_mask_pos): Fix offsets for 64-bit MIPS.

From-SVN: r244026

7 years agos-linux-mips.ads: Rename from s-linux-mipsel.ads.
James Cowgill [Tue, 3 Jan 2017 17:51:02 +0000 (17:51 +0000)]
s-linux-mips.ads: Rename from s-linux-mipsel.ads.

* s-linux-mips.ads: Rename from s-linux-mipsel.ads.
* gcc-interface/Makefile.in (MIPS/Linux): Merge mips and mipsel
sections.

From-SVN: r244025

7 years agogcc-dg.exp: support more than one digit in relative line number notation
David Malcolm [Tue, 3 Jan 2017 16:25:31 +0000 (16:25 +0000)]
gcc-dg.exp: support more than one digit in relative line number notation

gcc/testsuite/ChangeLog:
* gcc.dg/dg-test-1.c: Add tests of relative line specifications
with more than one digit.
* lib/gcc-dg.exp (process-message): Support more than one digit
in relative line specifications.

From-SVN: r244024

7 years ago* doc/md.texi (Standard Names): Remove reference to Java frontend.
Gerald Pfeifer [Tue, 3 Jan 2017 13:49:19 +0000 (13:49 +0000)]
* doc/md.texi (Standard Names): Remove reference to Java frontend.

From-SVN: r244023

7 years agoAdd deleted std::thread(const thread&&) constructor
Jonathan Wakely [Tue, 3 Jan 2017 13:31:26 +0000 (13:31 +0000)]
Add deleted std::thread(const thread&&) constructor

PR libstdc++/78956
* include/std/thread (thread(const thread&&)): Add deleted
constructor.
* testsuite/30_threads/thread/cons/lwg2097.cc: New test.

From-SVN: r244022

7 years agoFix typos in libstdc++ docs and update copyright years
Jonathan Wakely [Tue, 3 Jan 2017 11:16:31 +0000 (11:16 +0000)]
Fix typos in libstdc++ docs and update copyright years

* doc/xml/manual/spine.xml: Update copyright years.
* doc/xml/manual/build_hacking.xml: Fix spelling of libbuilddir.
* doc/xml/manual/test.xml: Likewise.
* doc/html/*: Regenerate.

From-SVN: r244017

7 years agoDWARF: add DW_AT_encoding attributes for DW_TAG_enumeration_type DIEs
Pierre-Marie de Rodat [Tue, 3 Jan 2017 08:54:57 +0000 (08:54 +0000)]
DWARF: add DW_AT_encoding attributes for DW_TAG_enumeration_type DIEs

Currently, the DWARF description does not specify the signedness of the
representation of enumeration types.  This is a problem in some
contexts where DWARF consumers need to determine if value X is greater
than value Y.

For instance in Ada:

    type Enum_Type is ( A, B, C, D);
    for Enum_Type use (-1, 0, 1, 2);

    type Rec_Type (E : Enum_Type) is record
       when A .. B => null;
       when others => B : Booleann;
    end record;

The above can be described in DWARF the following way:

    DW_TAG_enumeration_type(Enum_Type)
    | DW_AT_byte_size: 1
      DW_TAG_enumerator(A)
      | DW_AT_const_value: -1
      DW_TAG_enumerator(B)
      | DW_AT_const_value: 0
      DW_TAG_enumerator(C)
      | DW_AT_const_value: 1
      DW_TAG_enumerator(D)
      | DW_AT_const_value: 2

    DW_TAG_structure_type(Rec_Type)
      DW_TAG_member(E)
      | DW_AT_type: <Enum_Type>
      DW_TAG_variant_part
      | DW_AT_discr: <E>
        DW_TAG_variant
        | DW_AT_discr_list: DW_DSC_range 0x7f 0
        DW_TAG_variant
        | DW_TAG_member(b)

DWARF consumers need to know that enumerators (A, B, C and D) are signed
in order to determine the set of E values for which Rec_Type has a B
field.  In practice, they need to know how to interpret the 0x7f LEB128
number above (-1, not 127).

When in non-strict DWARF mode, this patch adds a DW_AT_encoding
attribute to generated DW_TAG_enumeration_type DIEs to make this
signedness explicit.

gcc/

* dwarf2out.c (gen_enumeration_type_die): When
-gno-strict-dwarf, add a DW_AT_encoding attribute.

From-SVN: r244015

7 years agore PR tree-optimization/78965 (Invalid -fprintf-return-value optimization)
Jakub Jelinek [Tue, 3 Jan 2017 07:23:11 +0000 (08:23 +0100)]
re PR tree-optimization/78965 (Invalid -fprintf-return-value optimization)

PR tree-optimization/78965
* gimple-ssa-sprintf.c (pass_sprintf_length::compute_format_length):
Change first argument from const call_info & to call_info &.  For %n
set info.nowrite to false.

* gcc.dg/pr78965.c: New test.

From-SVN: r244014

7 years agore PR middle-end/78901 (ICE: verify_gimple failed (error: statement marked for throw...
Jakub Jelinek [Tue, 3 Jan 2017 07:20:04 +0000 (08:20 +0100)]
re PR middle-end/78901 (ICE: verify_gimple failed (error: statement marked for throw in middle of block))

PR middle-end/78901
* gimple-ssa-sprintf.c (try_substitute_return_value): Don't change
possibly throwing calls.

* g++.dg/opt/pr78901.C: New test.

From-SVN: r244013

7 years agogenmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME and exprs_len...
Jakub Jelinek [Tue, 3 Jan 2017 07:17:38 +0000 (08:17 +0100)]
genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME and exprs_len || fns_len...

* genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME
and exprs_len || fns_len, emit the code for SSA_NAME next to the exprs
and fns handling, rather than in a separate case SSA_NAME.

From-SVN: r244012

7 years agoPR 78534 Change character length from int to size_t
Janne Blomqvist [Tue, 3 Jan 2017 07:04:01 +0000 (09:04 +0200)]
PR 78534 Change character length from int to size_t

In order to handle large character lengths on (L)LP64 targets, switch
the GFortran character length from an int to a size_t.

This is an ABI change, as procedures with character arguments take
hidden arguments with the character length.

I also changed the _size member in vtables from int to size_t, as
there were some cases where character lengths and sizes were
apparently mixed up and caused regressions otherwise. Although I
haven't tested, this might enable very large derived types as well.

Also, as there are some places in the frontend were negative character
lengths are used as special flag values, in the frontend the character
length is handled as a signed variable of the same size as a size_t,
although in the runtime library it really is size_t.

I haven't changed the character length variables for the co-array
intrinsics, as this is something that may need to be synchronized with
OpenCoarrays.

This is v3 of the patch. All the issues pointed out by FX's review of
v2 have been fixed. In particular, there are now new functions
gfc_mpz_get_hwi and gfc_mpz_set_hwi, similar to the GMP functions
mpz_get_si and mpz_set_si, except that they get/set a HOST_WIDE_INT
instead of a long value. Similarly, gfc_get_int_expr now takes a
HOST_WIDE_INT instead of a long, gfc_extract_long is replaced by
gfc_extract_hwi. Also, the preliminary work to handle
gfc_charlen_type_node being unsigned has been removed.

Regtested on x86_64-pc-linux-gnu.

frontend:

2017-01-03  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/78534
PR fortran/66310
* class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
hardcoded kind.
(find_intrinsic_vtab): Likewise.
* expr.c (gfc_get_character_expr): Length parameter of type
gfc_charlen_t.
(gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
(gfc_extract_hwi): New function.
(simplify_const_ref): Make string_len of type gfc_charlen_t.
(gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
* gfortran.h (gfc_mpz_get_hwi): New prototype.
(gfc_mpz_set_hwi): Likewise.
(gfc_charlen_t): New typedef.
(gfc_expr): Use gfc_charlen_t for character lengths.
(gfc_size_kind): New extern variable.
(gfc_extract_hwi): New prototype.
(gfc_get_character_expr): Use gfc_charlen_t for character length.
(gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
* iresolve.c (gfc_resolve_repeat): Pass string length directly without
temporary, use gfc_charlen_int_kind.
* match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
* misc.c (gfc_mpz_get_hwi): New function.
(gfc_mpz_set_hwi): New function.
* module.c (atom_int): Change type from int to HOST_WIDE_INT.
(parse_integer): Don't complain about large integers.
(write_atom): Use HOST_WIDE_INT for integers.
(mio_integer): Handle integer type mismatch.
(mio_hwi): New function.
(mio_intrinsic_op): Use HOST_WIDE_INT.
(mio_array_ref): Likewise.
(mio_expr): Likewise.
* resolve.c (resolve_select_type): Use HOST_WIDE_INT for charlen,
use snprintf.
(resolve_charlen): Use mpz_sgn to determine sign.
* simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
instead of long.
* target-memory.c (size_character): Length argument of type
gfc_charlen_t.
(gfc_encode_character): Likewise.
(gfc_interpret_character): Use gfc_charlen_t.
* target-memory.h (gfc_encode_character): Modify prototype.
* trans-array.c (get_array_ctor_var_strlen): Use
gfc_conv_mpz_to_tree_type.
* trans-const.c (gfc_conv_mpz_to_tree_type): New function.
* trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
* trans-expr.c (gfc_class_len_or_zero_get): Build const of type
gfc_charlen_type_node.
(gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
4, fold_convert to correct type.
(gfc_conv_class_to_class): Build const of type size_type_node for
size.
(gfc_copy_class_to_class): Likewise.
(gfc_conv_string_length): Use same type in expression.
(gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
(gfc_conv_string_tmp): Make sure len is of the right type.
(gfc_conv_concat_op): Use same type in expression.
(gfc_conv_procedure_call): Likewise.
(alloc_scalar_allocatable_for_subcomponent_assignment):
fold_convert to right type.
(gfc_trans_subcomponent_assign): Likewise.
(trans_class_vptr_len_assignment): Build const of correct type.
(gfc_trans_pointer_assignment): Likewise.
(alloc_scalar_allocatable_for_assignment): fold_convert to right
type in expr.
(trans_class_assignment): Build const of correct type.
* trans-intrinsic.c (gfc_conv_associated): Likewise.
(gfc_conv_intrinsic_repeat): Do calculation in sizetype.
* trans-io.c (gfc_build_io_library_fndecls): Use
gfc_charlen_type_node for character lengths.
* trans-stmt.c (gfc_trans_label_assign): Build const of
gfc_charlen_type_node.
(gfc_trans_character_select): Likewise.
(gfc_trans_allocate): Likewise, don't typecast strlen result.
(gfc_trans_deallocate): Don't typecast strlen result.
* trans-types.c (gfc_size_kind): New variable.
(gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
from size_type_node.

testsuite:

2017-01-03  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/78534
PR fortran/66310
* gfortran.dg/dependency_49.f90: Change scan-tree-dump-times
          due to gfc_trans_string_copy change to avoid
          -Wstringop-overflow.
* gfortran.dg/repeat_4.f90: Use integers of kind C_SIZE_T.
* gfortran.dg/repeat_7.f90: New test for PR 66310.
* gfortran.dg/scan_2.f90: Handle potential cast in assignment.
* gfortran.dg/string_1.f90: Limit to ilp32 targets.
* gfortran.dg/string_1_lp64.f90: New test.
* gfortran.dg/string_3.f90: Limit to ilp32 targets.
* gfortran.dg/string_3_lp64.f90: New test.
* gfortran.dg/transfer_intrinsic_1.f90: Change
          scan-tree-dump-times due to gfc_trans_string_copy change to
          avoid -Wstringop-overflow.

libgfortran:

2017-01-03  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/78534
* intrinsics/args.c (getarg_i4): Use gfc_charlen_type.
(get_command_argument_i4): Likewise.
(get_command_i4): Likewise.
* intrinsics/chmod.c (chmod_internal): Likewise.
* intrinsics/env.c (get_environment_variable_i4): Likewise.
* intrinsics/extends_type_of.c (struct vtype): Use size_t for size
member.
* intrinsics/gerror.c (gerror): Use gfc_charlen_type.
* intrinsics/getlog.c (getlog): Likewise.
* intrinsics/hostnm.c (hostnm_0): Likewise.
* intrinsics/string_intrinsics_inc.c (string_len_trim): Rework to
work if gfc_charlen_type is unsigned.
(string_scan): Likewise.
* io/transfer.c (transfer_character): Modify prototype.
(transfer_character_write): Likewise.
(transfer_character_wide): Likewise.
(transfer_character_wide_write): Likewise.
(transfer_array): Typecast to avoid signed-unsigned comparison.
* io/unit.c (is_trim_ok): Use gfc_charlen_type.
* io/write.c (namelist_write): Likewise.
* libgfortran.h (gfc_charlen_type): Change typedef to size_t.

From-SVN: r244011

7 years agodarwin-driver.c (darwin_driver_init): Const-correctness fixes for first_period and...
Jeff Law [Tue, 3 Jan 2017 05:36:40 +0000 (22:36 -0700)]
darwin-driver.c (darwin_driver_init): Const-correctness fixes for first_period and second_period variables.

* config/darwin-driver.c (darwin_driver_init): Const-correctness
fixes for first_period and second_period variables.

From-SVN: r244010

7 years agoDaily bump.
GCC Administrator [Tue, 3 Jan 2017 00:16:13 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r244009

7 years agore PR target/78967 (inserts are not effective)
Uros Bizjak [Mon, 2 Jan 2017 22:08:18 +0000 (23:08 +0100)]
re PR target/78967 (inserts are not effective)

 target/78967
* config/i386/i386.md (UNSPEC_NOREX_MEM): New unspec.
(*insvqi_1): New insn pattern.
(*insvqi_1_mem_rex64): Ditto.
(*insvqi_2): Ditto.
(*insvqi_3): Rename from *insvqi.

(*extzvqi_mem_rex64): Add UNSPEC_NOREX_MEM tag.

testsuite/ChangeLog:

PR target/78967
* gcc.target/i386/pr78967-1.c: New test.
* gcc.target/i386/pr78967-2.c: Ditto.
* gcc.target/i386/pr78967-3.c: Ditto.

* gcc.target/i386/pr78904-2.c: Tighten scan-asm patterns.
* gcc.target/i386/pr78904-4.c: Ditto.
* gcc.target/i386/pr78904-6.c: Ditto.

From-SVN: r244006

7 years ago* es.po: Update.
Joseph Myers [Mon, 2 Jan 2017 20:20:34 +0000 (20:20 +0000)]
* es.po: Update.

From-SVN: r244004

7 years agoPR 78534 Modify string copy to avoid -Wstringop-overflow warning
Janne Blomqvist [Mon, 2 Jan 2017 20:00:18 +0000 (22:00 +0200)]
PR 78534 Modify string copy to avoid -Wstringop-overflow warning

When the character length is changed from int to size_t the existing
algorithm causes a -Wstringop-overflow warning with -O1 on the
gfortran.dg/allocate_deferred_char_scalar_1.f03 testcase. This change
is committed separately from the character length size change in order
to make bisecting potential performance issues easier.

2017-01-02  Janne Blomqvist  <jb@gcc.gnu.org>

        PR fortran/78534
* trans-expr.c (gfc_trans_string_copy): Rework string copy
algorithm to avoid -Wstringop-overflow warning.

From-SVN: r244003

7 years agocfg.texi (Edges): Remove reference to Java.
Gerald Pfeifer [Mon, 2 Jan 2017 14:23:06 +0000 (14:23 +0000)]
cfg.texi (Edges): Remove reference to Java.

* doc/cfg.texi (Edges): Remove reference to Java.
(Maintaining the CFG): Ditto.

From-SVN: r244002

7 years agofaq.xml: Update address of C++ ABI link.
Gerald Pfeifer [Mon, 2 Jan 2017 00:33:17 +0000 (00:33 +0000)]
faq.xml: Update address of C++ ABI link.

* doc/xml/faq.xml: Update address of C++ ABI link.
* doc/xml/manual/abi.xml: Ditto.

From-SVN: r244001

7 years agoDaily bump.
GCC Administrator [Mon, 2 Jan 2017 00:16:15 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r244000

7 years agore PR ipa/77674 (ICE in binds_to_current_def_p with -fkeep-inline-functions)
Jan Hubicka [Sun, 1 Jan 2017 23:31:53 +0000 (00:31 +0100)]
re PR ipa/77674 (ICE in binds_to_current_def_p with -fkeep-inline-functions)

PR middle-end/77674
* symtab.c (symtab_node::binds_to_current_def_p): Fix handling of
transparent aliases.

PR middle-end/77674
* g++.dg/torture/pr77674.C: New testcase.

From-SVN: r243997

7 years ago* gnatvsn.ads: Bump copyright year.
Eric Botcazou [Sun, 1 Jan 2017 18:08:36 +0000 (18:08 +0000)]
* gnatvsn.ads: Bump copyright year.

From-SVN: r243996

7 years agore PR middle-end/77484 (Static branch predictor causes ~6-8% regression of SPEC2000...
Jan Hubicka [Sun, 1 Jan 2017 15:40:29 +0000 (16:40 +0100)]
re PR middle-end/77484 (Static branch predictor causes ~6-8% regression of SPEC2000 GAP)

PR middle-end/77484
* predict.def (PRED_CALL): Update hitrate.
(PRED_INDIR_CALL, PRED_POLYMORPHIC_CALL): New predictors.
* predict.c (tree_estimate_probability_bb): Split CALL predictor
into direct/indirect/polymorphic variants.

From-SVN: r243995

7 years agoUpdate copyright years.
Jakub Jelinek [Sun, 1 Jan 2017 12:07:43 +0000 (13:07 +0100)]
Update copyright years.

From-SVN: r243994

7 years agoupdate-copyright.py (TestsuiteFilter): Skip params/README.
Jakub Jelinek [Sun, 1 Jan 2017 11:50:10 +0000 (12:50 +0100)]
update-copyright.py (TestsuiteFilter): Skip params/README.

* update-copyright.py (TestsuiteFilter): Skip params/README.
(GCCCmdLine): Remove libjava and libjava/testsuite add_dir.

From-SVN: r243993

7 years agogcc.c (process_command): Update copyright notice dates.
Jakub Jelinek [Sun, 1 Jan 2017 11:31:28 +0000 (12:31 +0100)]
gcc.c (process_command): Update copyright notice dates.

gcc/
* gcc.c (process_command): Update copyright notice dates.
* gcov-dump.c (print_version): Ditto.
* gcov.c (print_version): Ditto.
* gcov-tool.c (print_version): Ditto.
* gengtype.c (create_file): Ditto.
* doc/cpp.texi: Bump @copying's copyright year.
* doc/cppinternals.texi: Ditto.
* doc/gcc.texi: Ditto.
* doc/gccint.texi: Ditto.
* doc/gcov.texi: Ditto.
* doc/install.texi: Ditto.
* doc/invoke.texi: Ditto.
gcc/fortran/
* gfortranspec.c (lang_specific_driver): Update copyright notice
dates.
* gfc-internals.texi: Bump @copying's copyright year.
* gfortran.texi: Ditto.
* intrinsic.texi: Ditto.
* invoke.texi: Ditto.
gcc/ada/
* gnat_ugn.texi: Bump @copying's copyright year.
* gnat_rm.texi: Likewise.
gcc/go/
* gccgo.texi: Bump @copyrights-go year.
libitm/
* libitm.texi: Bump @copying's copyright year.
libgomp/
* libgomp.texi: Bump @copying's copyright year.
libquadmath/
* libquadmath.texi: Bump @copying's copyright year.

From-SVN: r243992

7 years agoRegenerate .pot files.
Joseph Myers [Sun, 1 Jan 2017 00:55:25 +0000 (00:55 +0000)]
Regenerate .pot files.

gcc/po:
* gcc.pot: Regenerate.

libcpp/po:
* cpplib.pot: Regenerate.

From-SVN: r243991

7 years agoDaily bump.
GCC Administrator [Sun, 1 Jan 2017 00:16:16 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r243990

7 years agoDaily bump.
GCC Administrator [Sat, 31 Dec 2016 00:16:22 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r243987

7 years agocppopts.texi: Reorder table entries to put the most commonly-used options first and...
Sandra Loosemore [Fri, 30 Dec 2016 21:22:33 +0000 (16:22 -0500)]
cppopts.texi: Reorder table entries to put the most commonly-used options first and debug...

2016-12-30  Sandra Loosemore  <sandra@codesourcery.com>

gcc/
* doc/cppopts.texi: Reorder table entries to put the most
commonly-used options first and debug options last.

From-SVN: r243984

7 years agore PR translation/78745 (Truncated messages in po file)
Jakub Jelinek [Fri, 30 Dec 2016 19:15:42 +0000 (20:15 +0100)]
re PR translation/78745 (Truncated messages in po file)

PR translation/78745
* exgettext: Handle multi-line help texts in *.opt files.
* gcc.pot: Regenerate.

From-SVN: r243981

7 years ago* es.po, fr.po: Update.
Joseph Myers [Fri, 30 Dec 2016 18:46:27 +0000 (18:46 +0000)]
* es.po, fr.po: Update.

From-SVN: r243979

7 years agocompile: add type conversion in Type::gc_symbol_pointer
Ian Lance Taylor [Fri, 30 Dec 2016 18:03:39 +0000 (18:03 +0000)]
compile: add type conversion in Type::gc_symbol_pointer

    Wrap the return from Type::gc_symbol_pointer with a type conversion to
    uintptr, since the values returned are stored into structure fields
    with that type.

    Reviewed-on: https://go-review.googlesource.com/34625

From-SVN: r243978

7 years agoi386.md (*testqi_ext_3): Merge insn pattern and corresponding splitter to define_insn...
Uros Bizjak [Fri, 30 Dec 2016 17:14:16 +0000 (18:14 +0100)]
i386.md (*testqi_ext_3): Merge insn pattern and corresponding splitter to define_insn_and_split.

* config/i386/i386.md (*testqi_ext_3): Merge insn pattern and
corresponding splitter to define_insn_and_split.  Use wi::shifted_mask
helper function to calculate mask.

From-SVN: r243977

7 years agopredicates.md (ext_register_operand): Do not reject registers without upper parts...
Uros Bizjak [Fri, 30 Dec 2016 15:10:45 +0000 (16:10 +0100)]
predicates.md (ext_register_operand): Do not reject registers without upper parts here.

* config/i386/predicates.md (ext_register_operand): Do not reject
registers without upper parts here.
* config/i386/i386.md (extv<mode>): Copy registers without
upper parts in operand 1 to a pseudo.
(extzv<mode>): Ditto.
(insv<mode>): Ditto.

From-SVN: r243976

7 years agostandards.texi (Standards): Remove broken reference to objc.toodarkpark.net and avoid...
Gerald Pfeifer [Fri, 30 Dec 2016 15:07:15 +0000 (15:07 +0000)]
standards.texi (Standards): Remove broken reference to objc.toodarkpark.net and avoid list with now just...

* doc/standards.texi (Standards): Remove broken reference to
objc.toodarkpark.net and avoid list with now just one item.

From-SVN: r243975

7 years agocompiler: use more accurate array type in Gogo::register_gc_vars
Ian Lance Taylor [Fri, 30 Dec 2016 07:08:00 +0000 (07:08 +0000)]
compiler: use more accurate array type in Gogo::register_gc_vars

    The length of the roots array in Gogo::register_gc_vars was being
    computed incorrectly, potentially leading to type clashes in the back
    end. Compute an accurate length for this array ahead of time.

    Reviewed-on: https://go-review.googlesource.com/34624

From-SVN: r243974

7 years agoc11-atomic-exec-5.c: Lower ITER_COUNT to 100 for AARCH64.
Andrew Pinski [Fri, 30 Dec 2016 04:24:40 +0000 (04:24 +0000)]
c11-atomic-exec-5.c: Lower ITER_COUNT to 100 for AARCH64.

2016-12-29  Andrew Pinski  <apinski@cavium.com>

        * gcc.dg/atomic/c11-atomic-exec-5.c: Lower ITER_COUNT to 100
        for AARCH64.

From-SVN: r243973

7 years agoDaily bump.
GCC Administrator [Fri, 30 Dec 2016 00:16:17 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r243972

7 years ago* config/i386/i386.md (divmodqi4): Use lowpart_subreg.
Uros Bizjak [Thu, 29 Dec 2016 23:19:32 +0000 (00:19 +0100)]
* config/i386/i386.md (divmodqi4): Use lowpart_subreg.

From-SVN: r243969

7 years agore PR target/78904 (zero-extracts are not effective)
Uros Bizjak [Thu, 29 Dec 2016 21:41:07 +0000 (22:41 +0100)]
re PR target/78904 (zero-extracts are not effective)

PR target/78904
* config/i386/i386.md (*extvqi): Remove insn pattern.
(divmodqi4): Update expander to generate QImode zero-extract from AH.

testsuite/ChangeLog:

PR target/78904
* gcc.target/i386/pr78904-6.c: New test.

From-SVN: r243968

7 years agoImplement LWG 2842, in_place_t check for optional::optional(U&&) should decay U.
Ville Voutilainen [Thu, 29 Dec 2016 19:19:59 +0000 (21:19 +0200)]
Implement LWG 2842, in_place_t check for optional::optional(U&&) should decay U.

Implement LWG 2842, in_place_t check for optional::optional(U&&)
should decay U.
* include/std/optional (_Optional_base(in_place_t, _Args&&...)):
Constrain.
(_Optional_base(in_place_t, initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
(_Optional_base<_Tp, false>::_Optional_base(in_place_t, _Args&&...)):
Constrain.
(_Optional_base<_Tp, false>::_Optional_base(in_place_t,
initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
(optional(_Up&&)): Constrain against in_place_t.
(optional(in_place_t, _Args&&...)): Constrain.
(constexpr optional(in_place_t, initializer_list<_Up>, _Args&&...)):
Turn the int-pack constraint hack into a saner bool.
* testsuite/20_util/optional/cons/value_neg.cc: Add a test for
a type that is constructible from in_place.

From-SVN: r243966

7 years agomemcpy-1.c: Include mpx-check.h.
Jakub Jelinek [Thu, 29 Dec 2016 18:51:29 +0000 (19:51 +0100)]
memcpy-1.c: Include mpx-check.h.

* gcc.target/i386/mpx/memcpy-1.c: Include mpx-check.h.
(main): Renamed to ...
(mpx_test): ... this.  Add argc and argv arguments.

From-SVN: r243965