Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-08-03 Thread Jeff Law
On 07/31/2018 12:50 PM, Martin Sebor wrote: > Attached is a much scaled-down patch that only adds a note > to the -Warray-bounds warnings mentioning the declaration > to which the out-of-bounds index or offset applies. > > Printing the inlining context needs a bit more work but > this small 

Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-31 Thread Martin Sebor
Attached is a much scaled-down patch that only adds a note to the -Warray-bounds warnings mentioning the declaration to which the out-of-bounds index or offset applies. Printing the inlining context needs a bit more work but this small improvement can be made independently of it. On 07/23/2018

Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-24 Thread Martin Sebor
On 07/24/2018 11:05 AM, David Malcolm wrote: On Mon, 2018-07-23 at 20:56 -0600, Martin Sebor wrote: On 07/23/2018 07:20 PM, David Malcolm wrote: On Mon, 2018-07-23 at 17:49 -0600, Martin Sebor wrote: (David, I'm hoping your your help here. Please see the end.) While looking into a recent

Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-24 Thread David Malcolm
On Mon, 2018-07-23 at 20:56 -0600, Martin Sebor wrote: > On 07/23/2018 07:20 PM, David Malcolm wrote: > > On Mon, 2018-07-23 at 17:49 -0600, Martin Sebor wrote: > > > (David, I'm hoping your your help here. Please see the end.) > > > > > > While looking into a recent -Warray-bounds instance in

Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-23 Thread Martin Sebor
On 07/23/2018 07:20 PM, David Malcolm wrote: On Mon, 2018-07-23 at 17:49 -0600, Martin Sebor wrote: (David, I'm hoping your your help here. Please see the end.) While looking into a recent -Warray-bounds instance in Glibc involving inlining of large functions it became apparent that GCC could

Re: [PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-23 Thread David Malcolm
On Mon, 2018-07-23 at 17:49 -0600, Martin Sebor wrote: > (David, I'm hoping your your help here. Please see the end.) > > While looking into a recent -Warray-bounds instance in Glibc > involving inlining of large functions it became apparent that > GCC could do a better job of pinpointing the

[PATCH] include more detail in -Warray-bounds (PR 86650)

2018-07-23 Thread Martin Sebor
(David, I'm hoping your your help here. Please see the end.) While looking into a recent -Warray-bounds instance in Glibc involving inlining of large functions it became apparent that GCC could do a better job of pinpointing the source of the problem. The attached patch makes a few adjustments