Lines Matching defs:NULL
1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core,debug.ExprInspection,unix.Malloc,unix.cstring,alpha.unix.cstring,unix.API,osx.API,osx.cocoa.RetainCount -Wno-null-dereference -Wno-tautological-compare -analyzer-store=region -fblocks -verify %s
2 #define NULL 0
9 clang_analyzer_eval(myFunc == NULL); // expected-warning{{FALSE}}
10 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}}
11 if (myWeakFunc == NULL) {
12 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}}
14 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}}
20 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}}
22 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}}
24 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}}
30 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{UNKNOWN}}
32 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{FALSE}}
34 clang_analyzer_eval(myWeakFunc == NULL); // expected-warning{{TRUE}}
84 return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}}
