| Zhongxing Xu | c196095 | 2010-06-16 05:38:05 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -analyzer-store region -verify %s |
| 2 | |
| 3 | typedef __typeof__(sizeof(int)) size_t; |
| 4 | typedef struct _IO_FILE FILE; |
| 5 | FILE *fopen(const char *path, const char *mode); |
| 6 | size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream); |
| 7 | |
| 8 | void f1(void) { |
| 9 | FILE *p = fopen("foo", "r"); |
| 10 | char buf[1024]; |
| 11 | fread(buf, 1, 1, p); // expected-warning {{Stream pointer might be NULL.}} |
| 12 | } |