-Warray-bounds false negative

Hello, I recently came across a false negative in GCC's detection of array bounds violation. At first, I thought the other tool (PC-Lint) was having false positive, but it turns out to be correct. The false negative occurs in GCC 4.3, 4.4.1, and latest trunk (4.5). I'm curious to understand

Re: -Warray-bounds false negative

On Fri, Nov 13, 2009 at 1:09 PM, Matt m...@use.net wrote: Hello, I recently came across a false negative in GCC's detection of array bounds violation. At first, I thought the other tool (PC-Lint) was having false positive, but it turns out to be correct. The false negative occurs in GCC 4.3,

Re: -Warray-bounds false negative

On Fri, 13 Nov 2009, Andrew Pinski wrote: On Fri, Nov 13, 2009 at 1:09 PM, Matt m...@use.net wrote: Hello, I recently came across a false negative in GCC's detection of array bounds violation. At first, I thought the other tool (PC-Lint) was having false positive, but it turns out to be