questionable checks for flexible array members in c-ubsan.c and tree-vrp.c (was: Re: array bounds, sanitizer, safe programming, and cilk array notation)

2015-02-23 Thread Martin Uecker
Martin Uecker : > Marek Polacek : > > > > void foo(int (*x)[4]) > > > { > > > (*x)[4] = 5;// warning > > > } > > > > This is detected by -fsanitize=object-size, turned on by default in > > -fsanitize=undefined. Since it makes use of __builtin_object_size, > > it is necessary to compile w

Re: Listing a maintainer for libcilkrts, and GCC's Cilk Plus implementation generally?

2015-02-23 Thread H.J. Lu
On Mon, Sep 29, 2014 at 4:00 AM, Jakub Jelinek wrote: > On Mon, Sep 29, 2014 at 12:56:06PM +0200, Thomas Schwinge wrote: >> Hi! >> >> On Tue, 23 Sep 2014 11:02:30 +, "Zamyatin, Igor" >> wrote: >> > Jeff Law wrote: >> > > The original plan was for Balaji to take on this role; however, his >>

Re: target macro removal (fwd)

2015-02-23 Thread Joseph Myers
I sent this discussion of how one might go about large-scale target macro removal in response to an off-list enquiry last month, but it may be of more general interest. -- Joseph S. Myers jos...@codesourcery.com -- Forwarded message -- Date: Tue, 20 Jan 2015 18:04:27 + (UTC

Re: unfused fma question

2015-02-23 Thread Marc Glisse
On Mon, 23 Feb 2015, Jeff Law wrote: On 02/23/15 11:38, Joseph Myers wrote: (I wonder if convert_mult_to_fma is something that should move to match-and-simplify infrastructure.) Yea, it probably should. Currently, it happens in a pass that is quite late. If it moves to match-and-simplify,

Re: unfused fma question

2015-02-23 Thread Jeff Law
On 02/23/15 11:38, Joseph Myers wrote: (I wonder if convert_mult_to_fma is something that should move to match-and-simplify infrastructure.) Yea, it probably should. Jeff

Re: unfused fma question

2015-02-23 Thread Joseph Myers
On Fri, 20 Feb 2015, Steve Ellcey wrote: > Or one could change convert_mult_to_fma to add a check if fma is fused > vs. non-fused in addition to the check for the flag_fp_contract_mode in > order to decide whether to convert expressions into an fma and then > define fma instructions in the md fil

Re: unfused fma question

2015-02-23 Thread Jeff Law
On 02/23/15 10:42, Steve Ellcey wrote: No, I am thinking about the case where there are only non-fused multiply add instructions available. To make sure I am using the right terminology, I am using a non-fused multiply-add to mean a single fma instruction that does '(a + (b * c))' but which roun

Re: array bounds, sanitizer, safe programming, and cilk array notation

2015-02-23 Thread Joseph Myers
On Sat, 21 Feb 2015, Marek Polacek wrote: > option that detects a particular UB. Or say that a particular UB is a > compile-time error (e.g. "declaring a function at block scope with an explicit > storage-class specifier other than extern"). That one is already a hard error for cases such as sta

RE: unfused fma question

2015-02-23 Thread Steve Ellcey
On Sun, 2015-02-22 at 10:30 -0800, Matthew Fortune wrote: > Steve Ellcey writes: > > Or one could change convert_mult_to_fma to add a check if fma is fused > > vs. non-fused in addition to the check for the flag_fp_contract_mode > > in order to decide whether to convert expressions into an fma and