parent
9cffdf1331
commit
52c28fe61a
|
@ -0,0 +1,18 @@
|
|||
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s
|
||||
struct A {
|
||||
int x;
|
||||
A(int a) { x = a; }
|
||||
int getx() { return x; }
|
||||
};
|
||||
|
||||
void f1() {
|
||||
A x(3);
|
||||
if (x.getx() == 3) {
|
||||
int *p = 0;
|
||||
*p = 3; // expected-warning{{Dereference of null pointer}}
|
||||
} else {
|
||||
int *p = 0;
|
||||
*p = 3; // no-warning
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,12 @@
|
|||
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s
|
||||
|
||||
void f1() {
|
||||
int *n1 = new int;
|
||||
if (*n1) { // expected-warning {{Branch condition evaluates to a garbage value}}
|
||||
}
|
||||
|
||||
int *n2 = new int(3);
|
||||
if (*n2) { // no-warning
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue