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

High/Medium

Full description

A memory location is freed more than once. This check is identical to MEM-double-free.

Coding standards

Code examples

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

#include <stdlib.h>
void f(int *p) {
  free(p); 
  if(p) free(p); 
}

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

#include <stdlib.h>

void example(void) 
{
  int *p=malloc(4);
  free(p);
}