1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2
3 #include "test-include.h"
4 #define DIVYX(X,Y) Y/X
5
test_01(int * data)6 void test_01(int *data) {
7 data = 0;
8 *data = 1; // expected-warning{{Dereference of null pointer}}
9 }
10
test_02()11 int test_02() {
12 int res = DIVXY(1,0); // expected-warning{{Division by zero}}
13 // expected-warning@-1{{division by zero is undefined}}
14 return res;
15 }
16
test_03()17 int test_03() {
18 int res = DIVYX(0,1); // expected-warning{{Division by zero}}
19 // expected-warning@-1{{division by zero is undefined}}
20 return res;
21 }