1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Stream,unix.StdCLibraryFunctions,debug.ExprI…
2 // RUN:   -analyzer-config unix.Stream:Pedantic=true \
3 // RUN:   -analyzer-config unix.StdCLibraryFunctions:ModelPOSIX=true -verify=stream,any %s
5 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Stream,debug.ExprInspection \
6 // RUN:   -analyzer-config unix.Stream:Pedantic=true \
7 // RUN:   -analyzer-config unix.StdCLibraryFunctions:ModelPOSIX=true -verify=stream,any %s
10 // RUN:   -analyzer-config unix.Stream:Pedantic=true \
25   // stream-warning{{Stream pointer might be NULL}} \  in test_fopen()
33   // stream-warning{{Stream pointer might be NULL}} \  in test_fdopen()
41   // stream-warning{{Stream pointer might be NULL}} \  in test_tmpfile()
48   // stream-warning{{Stream pointer might be NULL}} \  in test_fclose()
56   // stream-warning{{Stream pointer might be NULL}} \  in test_freopen()
59   // stream-warning{{Stream pointer might be NULL}} \  in test_freopen()
67   // stream-warning{{Stream pointer might be NULL}} \  in test_fread()
79   // stream-warning{{Stream pointer might be NULL}} \  in test_fwrite()
91   // stream-warning{{Stream pointer might be NULL}} \  in test_fseek()
100   // stream-warning{{Stream pointer might be NULL}} \  in test_ftell()
109   // stream-warning{{Stream pointer might be NULL}} \  in test_rewind()
119   // stream-warning{{Stream pointer might be NULL}} \  in test_fgetpos()
129   // stream-warning{{Stream pointer might be NULL}} \  in test_fsetpos()
138   // stream-warning{{Stream pointer might be NULL}} \  in test_clearerr()
147   // stream-warning{{Stream pointer might be NULL}} \  in test_feof()
156   // stream-warning{{Stream pointer might be NULL}} \  in test_ferror()
165   // stream-warning{{Stream pointer might be NULL}} \  in test_fileno()