[FFmpeg-devel] Clang static analyser

Benjamin Larsson banan
Tue Apr 21 14:13:02 CEST 2009


Benjamin Larsson wrote:
> Hi, I gave the clang static analyzer a test run. Here is the output 
> from todays svn:
>
> http://tranquillity.ath.cx/clang/scan-build-2009-04-17-1/
>
> Most of the logic errors should be real issues that can affect 
> stability. All the dead store things seem to be mostly noise.
>
> MvH
> Benjamin Larsson

New run today, 246 "defects":

http://tranquillity.ath.cx/clang/2009-04-21-1/

This compiled with this patch:

Index: ffmpeg.c
===================================================================
--- ffmpeg.c    (revision 18639)
+++ ffmpeg.c    (working copy)
@@ -385,7 +385,7 @@
     return q_pressed || (q_pressed = read_key() == 'q');
 }

-static int av_exit(int ret)
+static int __attribute__ ((noreturn)) av_exit(int ret)
 {
     int i;


MvH
Benjamin Larsson





More information about the ffmpeg-devel mailing list