[hatari-devel] LLVM static analyzer output

Nicolas Pomarède npomarede at corp.free.fr
Sun May 22 16:52:33 CEST 2011


Le 22/05/2011 16:23, Eero Tamminen a écrit :
> Hi,
>
> One can use LLVM static analyzer by setting "--analyze" option to CMake
> C-flags in addition to using "clang" as CC.  Linking of some stuff will then
> fail, but one can just copy the binaries from the GCC build (from another
> CMake build dir) and continue as the analyzer doesn't build binaries, just
> analyzes the code.
>
>
> The output from that seems more interesting than plain Clang output
> as it actually found couple of corner-case bugs among non-interesting
> things.  The whole output from Debian Stable v2.7 "clang -analyze":

Hello,

that's interesting output ; in fact, this overlaps some warnings I also 
saw recently since I now use gcc 4.6 (but gcc analysis is not as full as 
clang).

I see you're doing some fixes using clang output ; I will compile hatari 
later after applying your patches and will report any remaining warning.

Nicolas



More information about the hatari-devel mailing list