// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-output=text -std=c++11 -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-output=text -std=c++17 -verify %s
#include "Inputs/system-header-simulator-cxx.h"
namespace copyMoveTrackCtor {
struct S {
int *p1, *p2;
S(int *a, int *b) : p1(a), p2(b) {} // expected-note{{Null pointer value stored to 's.p1'}}
};
void CtorDirect() {
int *x = nullptr, *y = nullptr;
// expected-note@-1{{'x' initialized to a null pointer value}}
S s(x, y);
// expected-note@-1{{Passing null pointer value via 1st parameter 'a'}}
// expected-note@-2{{Calling constructor for 'S'}}
// expected-note@-3{{Returning from constructor for 'S'}}
// expected-note@-4{{'s' initialized here}}
S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}
// expected-note@-1{{'s2' initialized here}}
S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}
// expected-note@-1{{'s3' initialized here}}
S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}
// expected-note@-1{{'s4' initialized here}}
S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}
int i = *s5.p1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}
(void) i;
}
} // namespace copyMoveTrackCtor
namespace copyMoveTrackInitList {
struct S {
int *p1, *p2;
};
void InitListDirect() {
int *x = nullptr, *y = nullptr; //expected-note{{'x' initialized to a null pointer value}}
S s{x, y}; //expected-note{{'s.p1' initialized to a null pointer value}}
//expected-note@-1{{'s' initialized here}}
S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}
// expected-note@-1{{'s2' initialized here}}
S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}
// expected-note@-1{{'s3' initialized here}}
S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}
// expected-note@-1{{'s4' initialized here}}
S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}
int i = *s5.p1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}
(void) i;
}
void InitListAssign() {
int *x = nullptr, *y = nullptr; //expected-note{{'x' initialized to a null pointer value}}
S s = {x, y}; //expected-note{{'s.p1' initialized to a null pointer value}}
//expected-note@-1{{'s' initialized here}}
S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}
// expected-note@-1{{'s2' initialized here}}
S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}
// expected-note@-1{{'s3' initialized here}}
S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}
// expected-note@-1{{'s4' initialized here}}
S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}
int i = *s5.p1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}
(void) i;
}
} // namespace copyMoveTrackInitList
namespace copyMoveTrackCtorMemberInitList {
struct S {
int *p1, *p2;
S(int *a, int *b) : p1{a}, p2{b} {} // expected-note{{Null pointer value stored to 's.p1'}}
};
void CtorDirect() {
int *x = nullptr, *y = nullptr;
// expected-note@-1{{'x' initialized to a null pointer value}}
S s{x, y};
// expected-note@-1{{Passing null pointer value via 1st parameter 'a'}}
// expected-note@-2{{Calling constructor for 'S'}}
// expected-note@-3{{Returning from constructor for 'S'}}
// expected-note@-4{{'s' initialized here}}
S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}
// expected-note@-1{{'s2' initialized here}}
S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}
// expected-note@-1{{'s3' initialized here}}
S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}
// expected-note@-1{{'s4' initialized here}}
S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}
int i = *s5.p1; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}
(void) i;
}
} // namespace copyMoveTrackCtorMemberInitList
namespace directInitList {
struct S {
int *p1, *p2;
};
void InitListDirect() {
int *x = nullptr, *y = nullptr; //expected-note{{'y' initialized to a null pointer value}}
S s{x, y}; //expected-note{{'s.p2' initialized to a null pointer value}}
int i = *s.p2; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer}}
(void) i;
}
} // namespace directInitList
namespace directNestedInitList {
struct S2 {
int *p1, *p2;
};
struct S {
S2 s;
};
void InitListNestedDirect() {
int *x = nullptr, *y = nullptr; //expected-note{{'y' initialized to a null pointer value}}
//FIXME: Put more information to the notes.
S s{x, y}; //expected-note{{'s.s.p2' initialized to a null pointer value}}
int i = *s.s.p2; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer}}
(void) i;
}
} // namespace directNestedInitList
#if __cplusplus >= 201703L
namespace structuredBinding {
struct S {
int *p1, *p2;
};
void StructuredBinding() {
int *x = nullptr, *y = nullptr;
//expected-note@-1{{'y' initialized to a null pointer value}}
S s{x, y};
//expected-note@-1{{'s.p2' initialized to a null pointer value}}
//expected-note@-2{{'s' initialized here}}
auto [a, b] = s; //expected-note{{Null pointer value stored to '.p2'}}
int i = *b; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer}}
(void) i;
}
} // namespace structuredBinding
#endif
namespace nestedCtorInitializer {
struct S5{
int *x, *y;
};
struct S4 {
S5 s5;
};
struct S3 {
S4 s4;
};
struct S2 {
S3 s3;
};
struct S {
S2 s2;
//FIXME: Put more information to the notes.
S(int *x, int *y) : s2{x, y} {};
// expected-note@-1{{Null pointer value stored to 's.s2.s3.s4.s5.y'}}
};
void nestedCtorInit(){
int *x = nullptr, *y = nullptr; // expected-note{{'y' initialized to a null pointer value}}
S s{x,y};
// expected-note@-1{{Passing null pointer value via 2nd parameter}}
// expected-note@-2{{Calling constructor for 'S'}}
// expected-note@-3{{Returning from constructor for 'S'}}
int i = *s.s2.s3.s4.s5.y; // expected-warning{{Dereference of null pointer}}
// expected-note@-1{{Dereference of null pointer}}
(void) i;
}
} // namespace nestedCtorInitializer
namespace NestedRegionTrack {
struct N {
int *e;
};
struct S {
N y;
};
void NestedRegionTrack() {
int *x = nullptr, *y = nullptr;
// expected-note@-1{{'y' initialized to a null pointer value}}
// Test for nested single element initializer list here.
S a{{{{{{{{y}}}}}}}};
// expected-note@-1{{'a.y.e' initialized to a null pointer value}}
// expected-note@-2{{'a' initialized here}}
// expected-warning@-3{{too many braces around scalar initializer}}
// expected-warning@-4{{too many braces around scalar initializer}}
// expected-warning@-5{{too many braces around scalar initializer}}
// expected-warning@-6{{too many braces around scalar initializer}}
// expected-warning@-7{{too many braces around scalar initializer}}
S b = a; // expected-note{{Null pointer value stored to 'b.y.e'}}
int i = *b.y.e;
// expected-warning@-1{{Dereference of null pointer}}
// expected-note@-2{{Dereference of null pointer}}
(void) i;
(void) x;
}
} // namespace NestedRegionTrack
namespace NestedElementRegionTrack {
struct N {
int *arr[2];
};
struct S {
N n;
};
void NestedElementRegionTrack() {
int *x = nullptr, *y = nullptr;
// expected-note@-1{{'y' initialized to a null pointer value}}
S a{{x, y}};
// expected-note@-1{{Initializing to a null pointer value}}
// expected-note@-2{{'a' initialized here}}
S b = a; // expected-note{{Storing null pointer value}}
int i = *b.n.arr[1];
// expected-warning@-1{{Dereference of null pointer}}
// expected-note@-2{{Dereference of null pointer}}
(void) i;
}
} // namespace NestedElementRegionTrack
Codebase Browser
llvm