Re: [FFmpeg-devel] [PATCH] Add coverity model file

2015-02-21 Thread Michael Niedermayer
On Sat, Feb 21, 2015 at 11:52:21PM +0100, Michael Niedermayer wrote: > On Thu, Feb 19, 2015 at 03:41:35PM +, Timothy Gu wrote: > > On Thu Feb 19 2015 at 4:43:30 AM Michael Niedermayer > > wrote: > > > > > > tools/model.c | 42 ++ > > > 1 file changed,

Re: [FFmpeg-devel] [PATCH] Add coverity model file

2015-02-21 Thread Michael Niedermayer
On Thu, Feb 19, 2015 at 03:41:35PM +, Timothy Gu wrote: > On Thu Feb 19 2015 at 4:43:30 AM Michael Niedermayer > wrote: > > > > tools/model.c | 42 ++ > > 1 file changed, 42 insertions(+) > > create mode 100644 tools/model.c > > > > tools/coverity.c

Re: [FFmpeg-devel] [PATCH] Add coverity model file

2015-02-19 Thread Timothy Gu
On Thu Feb 19 2015 at 4:43:30 AM Michael Niedermayer wrote: > > tools/model.c | 42 ++ > 1 file changed, 42 insertions(+) > create mode 100644 tools/model.c > tools/coverity.c sounds better to me. Timothy ___

[FFmpeg-devel] [PATCH] Add coverity model file

2015-02-19 Thread Michael Niedermayer
The comments/header of the file are taken from qemu, they provide some basic documentation The code from the examples Ive no means to test this except uploading to coverity for FFmpeg, so each commit should stay simple, making it easy to revert. Also please help making this a useful and effective