<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
Peter,<div>Chandler,</div><div> hopefully I can add something without "throwing gas on the fire".!.</div><div><br></div><div>if you believe that most array bounds violations are dynamic (can't be caught</div><div>at compile time, would require run-time bounds checking code), then it would</div><div>seem that being pedantic about static - size - '1' arrays that are the last field</div><div>of a struct (a "standard" coding practice for a long long time) is mis-placed</div><div>effort, and detecting them with a static analyzer is giving people a false sense</div><div>of security where none is warranted.</div><div><br></div><div>-Peter Lawrence.</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br><div><div>On Jul 29, 2011, at 3:56 AM, <a href="mailto:cfe-dev-request@cs.uiuc.edu">cfe-dev-request@cs.uiuc.edu</a> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Monaco" size="3" style="font: 12.0px Monaco">Anyway, I'm disappointing that no headway has been made on this issue</font></p> <p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Monaco" size="3" style="font: 12.0px Monaco">after a week. Chandler, could you please let me know if it is still</font></p> <p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Monaco" size="3" style="font: 12.0px Monaco">your intent to fix this problem, and if so whether or not you favour</font></p> <p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Monaco" size="3" style="font: 12.0px Monaco">suppressing it in C99 too?</font></p> </blockquote></div><br></div></body></html>