Bug Summary

File:invalidwarning.c
Location:line 11, column 2
Description:Use of memory after it is freed

Annotated Source Code

1#include <stdlib.h>
2#include <stdio.h>
3
4int main(void) {
5 int *p;
6 p = malloc(sizeof(int));
1
Memory is allocated
7 *p = 1;
8
9 printf("%d %p\n", *p, (void *)p);
10 free(p);
2
Memory is released
11 printf("%p\n", (void *)p);
3
Use of memory after it is freed
12 return 0;
13}
14