[LLVMdev] [cfe-dev] LTO "bug" and Clang warnings

Renato Golin renato.golin at linaro.org
Tue Jan 8 11:11:00 PST 2013

On 8 January 2013 18:40, Matthieu Monrocq <matthieu.monrocq at gmail.com>wrote:

> I do believe it's undefined.
> §5.2.1 Subscripting [expr.sub]
> ...
> §5.7 Additive operators [expr.add]
> ...

Still, doesn't explicitly say it's undefined. I agree this gives the
freedom of implementers to extend naturally, but it's at least arguable. I
have the 2011 draft and couldn't find anything, nor in the current open

Obviously, a warning, if possible, could be nice; but in general I am
> afraid this is more the domain of static analysis as it requires "guessing"
> the bounds of the loop. It might have been caught with ubsan though (I
> think there is an out-of-bounds checker).

Is the static analyser in clang-extra-tools?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130108/ecd34b66/attachment.html>

More information about the llvm-dev mailing list