278 lines · cpp
1// This code used to crash but unpredictably and rarely.2// Even with the current set of run-lines, if a buildbot tells you3// that you broke this test there's a chance that someone else broke it4// a few commits ago.5 6struct S {7 S();8 ~S();9};10 11bool bar(S);12 13// no-crash during diagnostic construction.14void foo() {15 int x;16 if (true && bar(S()))17 ++x; // expected-warning{{The expression uses uninitialized memory}}18}19 20// 256 copies of the same run-line to make it crash more often when it breaks.21 22// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s23// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s24// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s25// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s26// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s27// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s28// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s29// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s30// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s31// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s32// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s33// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s34// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s35// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s36// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s37// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s38// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s39// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s40// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s41// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s42// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s43// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s44// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s45// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s46// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s47// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s48// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s49// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s50// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s51// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s52// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s53// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s54// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s55// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s56// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s57// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s58// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s59// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s60// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s61// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s62// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s63// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s64// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s65// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s66// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s67// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s68// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s69// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s70// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s71// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s72// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s73// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s74// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s75// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s76// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s77// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s78// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s79// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s80// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s81// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s82// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s83// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s84// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s85// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s86// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s87// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s88// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s89// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s90// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s91// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s92// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s93// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s94// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s95// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s96// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s97// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s98// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s99// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s100// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s101// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s102// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s103// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s104// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s105// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s106// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s107// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s108// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s109// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s110// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s111// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s112// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s113// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s114// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s115// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s116// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s117// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s118// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s119// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s120// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s121// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s122// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s123// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s124// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s125// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s126// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s127// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s128// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s129// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s130// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s131// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s132// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s133// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s134// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s135// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s136// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s137// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s138// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s139// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s140// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s141// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s142// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s143// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s144// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s145// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s146// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s147// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s148// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s149// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s150// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s151// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s152// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s153// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s154// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s155// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s156// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s157// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s158// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s159// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s160// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s161// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s162// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s163// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s164// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s165// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s166// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s167// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s168// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s169// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s170// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s171// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s172// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s173// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s174// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s175// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s176// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s177// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s178// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s179// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s180// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s181// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s182// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s183// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s184// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s185// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s186// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s187// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s188// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s189// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s190// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s191// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s192// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s193// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s194// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s195// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s196// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s197// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s198// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s199// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s200// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s201// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s202// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s203// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s204// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s205// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s206// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s207// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s208// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s209// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s210// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s211// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s212// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s213// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s214// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s215// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s216// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s217// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s218// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s219// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s220// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s221// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s222// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s223// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s224// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s225// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s226// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s227// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s228// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s229// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s230// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s231// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s232// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s233// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s234// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s235// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s236// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s237// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s238// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s239// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s240// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s241// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s242// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s243// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s244// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s245// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s246// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s247// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s248// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s249// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s250// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s251// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s252// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s253// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s254// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s255// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s256// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s257// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s258// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s259// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s260// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s261// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s262// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s263// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s264// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s265// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s266// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s267// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s268// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s269// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s270// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s271// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s272// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s273// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s274// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s275// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s276// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s277// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s278