Re: -Warray-bounds issue

2007-07-23 Thread Diego Novillo
On 7/23/07 3:45 PM, Matt Hargett wrote: > Okay, thanks for the clarification! Is this something that will be addressed > before GCC 4.3 is released? Interestingly, PC-Lint can only track the size of > the dynamic array if the const qualifier is used on the size parameter. Not that I know of.

Re: -Warray-bounds issue

2007-07-23 Thread Matt Hargett
Diego, Thanks so much for the quick reponse! Some more questions below :) On Monday 23 July 07 11:54:58 Diego Novillo wrote: > On 7/23/07 2:44 PM, Matt Hargett wrote: > > #include > > > > int main(int argc, char **argv) > > { > > size_t size = 16; > > char p[size]; > > p[

Re: -Warray-bounds issue

2007-07-23 Thread Diego Novillo
On 7/23/07 2:44 PM, Matt Hargett wrote: > #include > > int main(int argc, char **argv) > { > size_t size = 16; > char p[size]; > p[16] = 0; > } > > > -- > > #include > > int main(int argc, char **argv) > { > char p[16]; > p[16] = 0; > } > > -- In th

-Warray-bounds issue

2007-07-23 Thread Matt Hargett
Hi, I'll be teaching a class this week on code analysis and I wanted to demonstrate GCC 4.3's new array bounds analysis capabilities. Unfortunately, I can't seem to get the new array bounds warnings to appear in gcc-4.3-20070720 using the commandline of '-O2 -Warray-bounds' with either of the f