| // This code used to crash but unpredictably and rarely. |
| // Even with the current set of run-lines, if a buildbot tells you |
| // that you broke this test there's a chance that someone else broke it |
| // a few commits ago. |
| |
| struct S { |
| S(); |
| ~S(); |
| }; |
| |
| bool bar(S); |
| |
| // no-crash during diagnostic construction. |
| void foo() { |
| int x; |
| if (true && bar(S())) |
| ++x; // expected-warning{{The expression is an uninitialized value. The computed value will also be garbage}} |
| } |
| |
| // 256 copies of the same run-line to make it crash more often when it breaks. |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s |