malloc.c revision 8382cf57b722f130f1a6b45380639871c07271c1 
1// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-experimental-checks -analyzer-store=region -verify %s
2#include <stdlib.h>
3
4void f1() {
5  int *p = malloc(10);
6  return; // expected-warning{{Allocated memory never released. Potential memory leak.}}
7}
8
9void f2() {
10  int *p = malloc(10);
11  free(p);
12  free(p); // expected-warning{{Try to free a memory block that has been released}}
13}
14