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

Matthieu Monrocq matthieu.monrocq at gmail.com
Tue Feb 21 10:34:40 PST 2012

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

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

More information about the cfe-dev mailing list