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

[Renato Golin]

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
issues.


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?

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