| // RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin -verify -DCHECK_FOR_CRASH %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| |
| #ifdef CHECK_FOR_CRASH |
| // expected-no-diagnostics |
| #endif |
| |
| namespace PerformTrivialCopyForUndefs { |
| struct A { |
| int x; |
| }; |
| |
| struct B { |
| A a; |
| }; |
| |
| struct C { |
| B b; |
| }; |
| |
| void foo() { |
| C c1; |
| C *c2; |
| #ifdef CHECK_FOR_CRASH |
| // If the value of variable is not defined and checkers that check undefined |
| // values are not enabled, performTrivialCopy should be able to handle the |
| // case with undefined values, too. |
| c1.b.a = c2->b.a; |
| #else |
| c1.b.a = c2->b.a; // expected-warning{{1st function call argument is an uninitialized value}} |
| #endif |
| } |
| } |
| |
