aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2017-01-04re PR c++/64767 (Could GCC warn when a pointer is compared against '\0'?)Marek Polacek11-1/+158
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
2017-01-04re PR c++/78949 (incorrect "unused variable" warning with SSE2)Jakub Jelinek4-0/+24
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
2017-01-04re PR c++/78693 (Bogus 'inconsistent deduction for ‘auto’' error when ↵Jakub Jelinek4-2/+42
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
2017-01-04optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without RejectNegative.Jakub Jelinek2-0/+8
* optc-gen.awk: Emit #error for -W*/-f*/-m* Enum without RejectNegative. From-SVN: r244073
2017-01-04re PR driver/78957 (ICE: SIGSEGV with -fno-sso-struct=web)Jakub Jelinek4-1/+15
PR driver/78957 * c.opt (fsso-struct=): Add RejectNegative. * gcc.dg/pr78957.c: New test. From-SVN: r244072
2017-01-04parser.c (cp_parser_simple_declaration): Diagnose function declaration among ↵Jakub Jelinek4-0/+47
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
2017-01-04re PR c++/71182 (parser.c cp_lexer_previous_token sanitizer detects member ↵Jakub Jelinek4-1/+24
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
2017-01-04dwarf2out.c (output_loc_list): Don't throw away 64K+ location descriptions ↵Jakub Jelinek2-5/+14
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
2017-01-04re PR target/78056 (build failure on Power7)Kelvin Nilsen13-1/+298
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
2017-01-04re PR tree-optimization/67955 (tree-dse does not use pointer info)Jeff Law4-11/+47
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
2017-01-04re PR c++/77545 (ICE on valid C++11 code: in ↵Marek Polacek5-0/+44
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
2017-01-04C FE: implement fix-it hint for -Wmissing-bracesDavid Malcolm6-22/+297
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
2017-01-04update-copyright.py (GCCCmdLine): Add include, libcc1, libiberty, libssp, ↵Jakub Jelinek2-0/+11
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
2017-01-04Make MIPS soft-fp preserve NaN payloads for NAN2008.Joseph Myers2-1/+18
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
2017-01-04i386.md (HI/SImode test with imm to QImode splitters): Use gen_int_mode ↵Uros Bizjak3-7/+12
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
2017-01-04PR78968 add configure check for __cxa_thread_atexit in libcJonathan Wakely5-6/+24
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
2017-01-04re PR c++/66735 ([C++14] lambda init-capture fails for const references)Nathan Sidwell6-13/+75
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
2017-01-04[DWARF] New DWARF operation "DW_OP_AARCH64_operation" for AArch64Richard Earnshaw2-1/+14
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
2017-01-04Implement 2801, Default-constructibility of unique_ptr.Ville Voutilainen6-32/+107
* 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
2017-01-04Update copyright years.Jakub Jelinek188-211/+207
From-SVN: r244052
2017-01-04Support exception propagation without lock-free atomic intPauli Nieminen127-144/+273
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
2017-01-04re PR tree-optimization/71563 (Regression in GCC-7.0.0's optimizer.)Jakub Jelinek4-0/+49
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
2017-01-04Update configure deps, remove stray \xA0 in picflag.m4, regenerateAlan Modra20-26/+92
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
2017-01-04PR 78796 Modify testcases due to gfc_trans_string_copy changeJanne Blomqvist3-2/+12
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
2017-01-04re PR bootstrap/77569 (self tests fail when not using C locale)Jakub Jelinek2-1/+13
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
2017-01-04Fix ChangeLog dateMichael Meissner1-1/+1
From-SVN: r244046
2017-01-03re PR tree-optimization/78856 (wrong code at -O3 on x86_64-linux-gnu (in ↵Jeff Law4-21/+49
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
2017-01-04re PR target/78900 (ICE in gcc.target/powerpc/signbit-3.c)Michael Meissner6-18/+77
[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
2017-01-04documentation_hacking.xml: sourceforge.net now defaults to https; adjust ↵Gerald Pfeifer2-1/+6
reference. * doc/xml/manual/documentation_hacking.xml: sourceforge.net now defaults to https; adjust reference. From-SVN: r244043
2017-01-04* fi.po: Update.Joseph Myers2-7/+10
From-SVN: r244042
2017-01-04godump.c (go_format_type): Treat ENUMERAL_TYPE like INTEGER_TYPE.Ian Lance Taylor4-8/+15
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
2017-01-04Daily bump.GCC Administrator1-1/+1
From-SVN: r244040
2017-01-03PR tree-optimization/78696 - [7 Regression] -fprintf-return-value ↵Martin Sebor7-124/+617
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
2017-01-03runtime: remove __go_alloc and __go_freeIan Lance Taylor18-443/+352
Move allocg and handling of allgs slice from C to Go. Reviewed-on: https://go-review.googlesource.com/34797 From-SVN: r244036
2017-01-03* doc/invoke.texi (RS6000 options): LRA is enabled by default.David Edelsohn2-2/+5
From-SVN: r244035
2017-01-03invoke.texi (SPARC options): Document -mlra as the default.Eric Botcazou3-2/+12
* 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
2017-01-03Update .po files from TP.Joseph Myers42-251230/+288670
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
2017-01-03re PR go/78789 (Error: no such instruction: `aesenc %xmm0,%xmm2' when ↵Ian Lance Taylor10-5/+66
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
2017-01-03re PR rtl-optimization/65618 (gnat bootstrap comparison failure on ↵James Cowgill2-2/+10
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
2017-01-03PR 78534 Revert r244011Janne Blomqvist46-517/+194
r244011 caused regressions on 32-bit hosts. From-SVN: r244027
2017-01-03s-linux-mips.ads: Use correct signal and errno constants.James Cowgill2-28/+41
* 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
2017-01-03s-linux-mips.ads: Rename from s-linux-mipsel.ads.James Cowgill3-27/+14
* s-linux-mips.ads: Rename from s-linux-mipsel.ads. * gcc-interface/Makefile.in (MIPS/Linux): Merge mips and mipsel sections. From-SVN: r244025
2017-01-03gcc-dg.exp: support more than one digit in relative line number notationDavid Malcolm3-1/+32
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
2017-01-03* doc/md.texi (Standard Names): Remove reference to Java frontend.Gerald Pfeifer2-2/+5
From-SVN: r244023
2017-01-03Add deleted std::thread(const thread&&) constructorJonathan Wakely3-0/+35
PR libstdc++/78956 * include/std/thread (thread(const thread&&)): Add deleted constructor. * testsuite/30_threads/thread/cons/lwg2097.cc: New test. From-SVN: r244022
2017-01-03Fix typos in libstdc++ docs and update copyright yearsJonathan Wakely11-13/+26
* 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
2017-01-03DWARF: add DW_AT_encoding attributes for DW_TAG_enumeration_type DIEsPierre-Marie de Rodat2-0/+10
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
2017-01-03re PR tree-optimization/78965 (Invalid -fprintf-return-value optimization)Jakub Jelinek4-3/+29
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
2017-01-03re PR middle-end/78901 (ICE: verify_gimple failed (error: statement marked ↵Jakub Jelinek4-17/+49
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
2017-01-03genmatch.c (dt_node::gen_kids_1): If generic_exprs include SSA_NAME and ↵Jakub Jelinek2-0/+23
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