[cfe-dev] Possible clang bug with -O2, wrong if branch entered, in clang version 2.1 (tags/Apple/clang-163.7.1)

[Matthieu Monrocq]

Le 21 février 2012 18:32, Salvatore Sanfilippo <antirez at gmail.com> a écrit :

> Everything fine after this commit:
>
> https://github.com/antirez/redis/commit/7c96b467c1f882874f80403101ec96ddaf624f1a
>
> Sorry clang!
>
> Thanks for the help,
> Salvatore
>
> p.s. clang static checker was able to find a few real bugs in the
> Redis source code, and the output is awesome.
>

Hello Salvatore,

would you mind showing on this list the bugs that the static analyzer found
in Redis ?

A few pointers to the patches where those bugs were fixed would be amply
sufficient.

-- Matthieu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120221/5c0ed710/attachment.html>