[FFmpeg-cvslog] tools/coverity: Add model for av_realloc

[Philip Langdale]

ffmpeg | branch: master | Philip Langdale <philipl at overt.org> | Wed Nov 30 14:50:36 2016 -0800| [fdb124001e9adb12e5c27cc0a9e2982f46445bf7] | committer: Philip Langdale

tools/coverity: Add model for av_realloc

Really should have done this last time. It should provide consistency
across our allocations and frees.

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=fdb124001e9adb12e5c27cc0a9e2982f46445bf7
---

 tools/coverity.c | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/tools/coverity.c b/tools/coverity.c
index 3cc248c..19a132a 100644
--- a/tools/coverity.c
+++ b/tools/coverity.c
@@ -58,7 +58,22 @@ void *av_mallocz(size_t size) {
     }
 }
 
+void *av_realloc(void *ptr, size_t size) {
+    int has_memory;
+    __coverity_negative_sink__(size);
+    if (has_memory) {
+        __coverity_escape__(ptr);
+        ptr = __coverity_alloc__(size);
+        __coverity_writeall__(ptr);
+        __coverity_mark_as_afm_allocated__(ptr, "av_free");
+        return ptr;
+    } else {
+        return 0;
+    }
+}
+
 void *av_free(void *ptr) {
     __coverity_free__(ptr);
     __coverity_mark_as_afm_freed__(ptr, "av_free");
 }
+