d65379c8d4
This patch adds CFGElementRef to ProgramPoints and helps the analyzer to differentiate between two otherwise identically looking ProgramPoints. Fixes #60412 Differential Revision: https://reviews.llvm.org/D143328
19 lines
295 B
C++
19 lines
295 B
C++
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.deadcode.UnreachableCode -verify %s
|
|
// expected-no-diagnostics
|
|
|
|
struct Test {
|
|
Test() {}
|
|
~Test();
|
|
};
|
|
|
|
int foo() {
|
|
struct a {
|
|
Test b, c;
|
|
} d;
|
|
return 1;
|
|
}
|
|
|
|
int main() {
|
|
if (foo()) return 1; // <- this used to warn as unreachable
|
|
}
|