Based on https://scan.coverity.com/models
| 44 | |
| 45 | // Based on https://scan.coverity.com/models |
| 46 | void *av_malloc(size_t size) { |
| 47 | int has_memory; |
| 48 | __coverity_negative_sink__(size); |
| 49 | if (has_memory) { |
| 50 | void *ptr = __coverity_alloc__(size); |
| 51 | __coverity_mark_as_uninitialized_buffer__(ptr); |
| 52 | __coverity_mark_as_afm_allocated__(ptr, "av_free"); |
| 53 | return ptr; |
| 54 | } else { |
| 55 | return 0; |
| 56 | } |
| 57 | } |
| 58 | |
| 59 | void *av_mallocz(size_t size) { |
| 60 | int has_memory; |
no outgoing calls