Re: [PING] [PATCH] c/71392 - SEGV calling integer overflow built-ins with a null pointer

2016-06-11 Thread Eric Botcazou
> Attached is an updated version of the original patch described > below to annotate with the nonnull attribute the Built-In Functions > to Perform Arithmetic with Overflow Checking. 3 out of 5 ChangeLog entries are incorrect: gcc/ada/ChangeLog: PR c/71392 * gcc/ada/gcc-interface

Re: [PATCH, i386]: Implement PR 71246, Missing built-in functions for float128 NaNs

2016-06-11 Thread Uros Bizjak
On Fri, Jun 10, 2016 at 11:55 PM, Joseph Myers wrote: > On Fri, 10 Jun 2016, Uros Bizjak wrote: > >> Joseph, does it look OK to you? Richi, I hope I got tree stuff >> implemented correctly. > > It's plausible, but really needs testcases (which could examine the > bit-patterns of __float128 objects

[regex, libstdc++/71500, patch] Fix icase on bracket expression

2016-06-11 Thread Tim Shen
Bootstrapped and tested on x86_64-pc-linux-gnu with debug macro. Thanks! -- Regards, Tim Shen commit b8e06b00162b9396e639f517d5cbde0cbd5932fc Author: Tim Shen Date: Sat Jun 11 00:41:09 2016 -0700 2016-06-11 Tim Shen PR libstdc++/71500 * include/bits/regex_compile

[Ada] Fix small oversight for unconstrained array types

2016-06-11 Thread Eric Botcazou
This fixes a small oversight introduced in gigi some time ago, whereby the UNCONSTRAINED_ARRAY_TYPE object created for unconstrained array types gets the XUT suffix like the associate RECORD_TYPE. Tested on x86_64-suse-linux, applied on the mainline and 6 branch. 2016-06-11 Pierre-Marie de Ro

[Ada] Fix wrong code for case statement on character

2016-06-11 Thread Eric Botcazou
This fixes a regression present on the mainline and 6 branch, whereby the compiler generates wrong code for a case statement whose expression is of the standard Character type and which contains a large range of values among other things. Tested on x86_64-suse-linux, applied on the mainline and

Re: [regex, libstdc++/71500, patch] Fix icase on bracket expression

2016-06-11 Thread Jonathan Wakely
On 11/06/16 00:53 -0700, Tim Shen wrote: diff --git a/libstdc++-v3/include/bits/regex_compiler.h b/libstdc++-v3/include/bits/regex_compiler.h index 410d61b..d545c04 100644 --- a/libstdc++-v3/include/bits/regex_compiler.h +++ b/libstdc++-v3/include/bits/regex_compiler.h @@ -235,8 +235,9 @@ _GLIBC

[Ada] Use new middle-end support for overflow checking

2016-06-11 Thread Eric Botcazou
This replaces the manual implementation of overflow checking in gigi by the use of new middle-end support, at least in the generic case of two values not known at compile time. This will generate better code than the current implementation, provided that the back-end implements the associated s

[PATCH] Fix ICE with invalid use of flags output operand

2016-06-11 Thread Bernd Edlinger
Hi, this fixes an ICE that happens when an asm statement tries to print the flags output operand. Boot-strapped and reg-tested on x86_64-linux-gnu. OK for trunk? Thanks Bernd.gcc: 2016-06-11 Bernd Edlinger * config/i386/i386.c (print_reg): Emit an error message on attempt to

[C++ Patch] PR 70202: avoid creating incomplete types (was: "[C++ RFC / Patch] Again about PR 70202")

2016-06-11 Thread Paolo Carlini
Hi again, hi Jason, I can't help further investigating this issue and I have a completely different proposal which pursues a different hint of Jason: why the TREE_TYPE of such DECL is error_mark_node in the first place? As we understand now that is just something that start_decl_1 does when it

Re: [PATCH gfortran] PR 60751 - Extra comma in WRITE statement not diagnosed

2016-06-11 Thread Paul Richard Thomas
Dear Dominique, That looks OK to me for 5 through 7-branches. Thanks Paul On 10 June 2016 at 19:05, Dominique d'Humières wrote: > The attached patch fixes pr60751 by allowing extra comma in WRITE statement > for std=legacy only, tested on x86_64-apple-darwin15. Is it OK for trunk, and > the

Re: RFC (gimplify, openmp): PATCH to is_gimple_reg to check DECL_HAS_VALUE_EXPR_P

2016-06-11 Thread Richard Biener
On June 10, 2016 9:48:45 PM GMT+02:00, Jason Merrill wrote: >While working on another issue I noticed that is_gimple_reg was happily > >accepting VAR_DECLs with DECL_VALUE_EXPR even when later gimplification > >would replace them with something that is_gimple_reg doesn't like, >leading to trouble

Re: [regex, libstdc++/71500, patch] Fix icase on bracket expression

2016-06-11 Thread Tim Shen
On Sat, Jun 11, 2016 at 5:01 AM, Jonathan Wakely wrote: > N.B. The "typename" and "::type" are redundant here, because it names > the same type as the integral_constant itself, and you could > use __bool_constant<__collate> instead: > > return _M_transform_impl(_M_translate(__ch), >

[Patch, fotran] PR70673 - [5/6/7 Regression] ICE with module containing functions with allocatable character scalars

2016-06-11 Thread Paul Richard Thomas
Dear All, The fix to eliminate this ICE is trivial. Bootstrapped and regtested on FC21/x86_64 - OK for 5 to 7 branches? Cheers Paul 2016-06-11 Paul Thomas PR fortran/70673 * frontend-passes.c (realloc_string_callback): Add a call to gfc_dep_compare_expr. 2016-06-11 Paul Thoma

Re: RFC (gimplify, openmp): PATCH to is_gimple_reg to check DECL_HAS_VALUE_EXPR_P

2016-06-11 Thread Jakub Jelinek
On Sat, Jun 11, 2016 at 08:43:06PM +0200, Richard Biener wrote: > On June 10, 2016 9:48:45 PM GMT+02:00, Jason Merrill wrote: > >While working on another issue I noticed that is_gimple_reg was happily > > > >accepting VAR_DECLs with DECL_VALUE_EXPR even when later gimplification > > > >would repla

Re: [PATCH][PR sanitizer/71480] Make ASan align string constants to shadow granularity.

2016-06-11 Thread Hans-Peter Nilsson
On Fri, 10 Jun 2016, Jakub Jelinek wrote: > On Fri, Jun 10, 2016 at 03:13:32PM +0300, Maxim Ostapenko wrote: > > gcc/ChangeLog: > > > > 2016-06-10 Maxim Ostapenko > > > > PR sanitizer/71480 > > * varasm.c (place_block_symbol): Adjust alignment for asan protected > > STRING_CSTs even