// 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 | |
} |