Testcase: (main.cpp)
int foo(int i);
int main() {
int i = 1;
while (i-- >= 0) {
return 3 / foo(i);
}
}run with
clang -cc1 -analyze -analyzer-checker=debug.DumpDominators main.cpp
triggers nullptr dereference.
Differential D88900
check before accessing possibly null node Authored by danix800 on Oct 6 2020, 7:33 AM.
Details
Testcase: (main.cpp) int foo(int i);
int main() {
int i = 1;
while (i-- >= 0) {
return 3 / foo(i);
}
}run with clang -cc1 -analyze -analyzer-checker=debug.DumpDominators main.cpp triggers nullptr dereference.
Diff Detail |