1 // RUN: %clang_analyze_cc1 -x c -analyzer-checker=core -analyzer-output=text -verify %s
2 
3 #define NULL 0
4 
5 int test_noparammacro() {
6   int *x = NULL; // expected-note{{'x' initialized to a null pointer value}}
7   return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
8              // expected-note@-1{{Dereference of null pointer (loaded from variable 'x')}}
9 }
10 
11 #define DYN_CAST(X) (X ? (char*)X : 0)
12 #define GENERATE_NUMBER(X) (0)
13 
14 char test_assignment(int *param) {
15   char *param2;
16   param2 = DYN_CAST(param);
17   return *param2;
18 }
19 
20 char test_declaration(int *param) {
21   char *param2 = DYN_CAST(param);
22   return *param2;
23 }
24 
25 int coin();
26 
27 int test_multi_decl(int *paramA, int *paramB) {
28   char *param1 = DYN_CAST(paramA), *param2 = DYN_CAST(paramB);
29   if (coin())
30     return *param1;
31   return *param2;
32 }
33 
34 int testDivision(int a) {
35   int divider = GENERATE_NUMBER(2); // expected-note{{'divider' initialized to 0}}
36   return 1/divider; // expected-warning{{Division by zero}}
37                     // expected-note@-1{{Division by zero}}
38 }
39 
40 // Warning should not be suppressed if it happens in the same macro.
41 #define DEREF_IN_MACRO(X) int fn() {int *p = 0; return *p; }
42 
43 DEREF_IN_MACRO(0) // expected-warning{{Dereference of null pointer}}
44                   // expected-note@-1{{'p' initialized to a null}}
45                   // expected-note@-2{{Dereference of null pointer}}
46