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 danix800 on Oct 6 2020, 7:33 AM. Authored by
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 |