stream.c revision c196095fa0b83d10b2c20fccfcb8198ee66451aa
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -analyzer-store region -verify %s 2 3typedef __typeof__(sizeof(int)) size_t; 4typedef struct _IO_FILE FILE; 5FILE *fopen(const char *path, const char *mode); 6size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream); 7 8void 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} 13