Synopsis

(Mandatory) A block of memory shall only be freed if it was allocated by means of a Standard Library function

Enabled by default

Yes

Severity/Certainty

Medium/Medium

Full description

Freeing a memory location more than once on some paths but not others. This check is identical to MEM-double-free-some.

Coding standards

Code examples

The following code example fails the check and will give a warning:

#include <stdlib.h>
void example(void) {
    int *ptr = (int*)malloc(sizeof(int));
    free(ptr);
    if(rand() % 2 == 0)
    {
      free(ptr);
    }
}

The following code example passes the check and will not give a warning about this issue:

#include <stdlib.h>
void example(void) {
    int *ptr = (int*)malloc(sizeof(int));
    if(rand() % 2 == 0)
    {
      free(ptr);
    }
    else
    {
      free(ptr);
    }
}