search for: ecd34b66

On Tue, Jan 8, 2013 at 7:29 PM, Renato Golin <renato.golin at linaro.org>wrote: > On 8 January 2013 16:53, David Blaikie <dblaikie at gmail.com> wrote: > >> I'm not sure what you mean by "fix user's stupidity" here - could you >> clarify? >> > > Buffer overrun on foo[20] and relying on it for bar[20]. > > It might not even be an

...have been caught with ubsan though (I > think there is an out-of-bounds checker). > Is the static analyser in clang-extra-tools? cheers, --renato -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130108/ecd34b66/attachment.html>

On 8 January 2013 16:53, David Blaikie <dblaikie at gmail.com> wrote: > I'm not sure what you mean by "fix user's stupidity" here - could you > clarify? > Buffer overrun on foo[20] and relying on it for bar[20]. It might not even be an error to access foo[50] even though foo only has 20 elements (via pointer indirection rules), but it's user error to do so,