blob: 05adfabde3072db7a0163109ca0f17c9f80ee5c8 [file] [log] [blame]
SKIP: FAILED
uint foo() {
uint x = 0u;
x = (x + v0);
x = (x + v1);
x = (x + v2);
x = (x + v3);
x = (x + v4);
x = (x + v5);
x = (x + v6);
x = (x + v7);
x = (x + v8);
x = (x + v9);
x = (x + v10);
x = (x + v11);
x = (x + v12);
x = (x + v13);
x = (x + v14);
x = (x + v15);
x = (x + v16);
x = (x + v17);
x = (x + v18);
x = (x + v19);
x = (x + v20);
x = (x + v21);
x = (x + v22);
x = (x + v23);
x = (x + v24);
x = (x + v25);
x = (x + v26);
x = (x + v27);
x = (x + v28);
x = (x + v29);
x = (x + v30);
x = (x + v31);
x = (x + v32);
x = (x + v33);
x = (x + v34);
x = (x + v35);
x = (x + v36);
x = (x + v37);
x = (x + v38);
x = (x + v39);
x = (x + v40);
x = (x + v41);
x = (x + v42);
x = (x + v43);
x = (x + v44);
x = (x + v45);
x = (x + v46);
x = (x + v47);
x = (x + v48);
x = (x + v49);
x = (x + v50);
x = (x + v51);
x = (x + v52);
x = (x + v53);
x = (x + v54);
x = (x + v55);
x = (x + v56);
x = (x + v57);
x = (x + v58);
x = (x + v59);
x = (x + v60);
x = (x + v61);
x = (x + v62);
x = (x + v63);
x = (x + v64);
x = (x + v65);
x = (x + v66);
x = (x + v67);
x = (x + v68);
x = (x + v69);
x = (x + v70);
x = (x + v71);
x = (x + v72);
x = (x + v73);
x = (x + v74);
x = (x + v75);
x = (x + v76);
x = (x + v77);
x = (x + v78);
x = (x + v79);
x = (x + v80);
x = (x + v81);
x = (x + v82);
x = (x + v83);
x = (x + v84);
x = (x + v85);
x = (x + v86);
x = (x + v87);
x = (x + v88);
x = (x + v89);
x = (x + v90);
x = (x + v91);
x = (x + v92);
x = (x + v93);
x = (x + v94);
x = (x + v95);
x = (x + v96);
x = (x + v97);
x = (x + v98);
x = (x + v99);
x = (x + v100);
x = (x + v101);
x = (x + v102);
x = (x + v103);
x = (x + v104);
x = (x + v105);
x = (x + v106);
x = (x + v107);
x = (x + v108);
x = (x + v109);
x = (x + v110);
x = (x + v111);
x = (x + v112);
x = (x + v113);
x = (x + v114);
x = (x + v115);
x = (x + v116);
x = (x + v117);
x = (x + v118);
x = (x + v119);
x = (x + v120);
x = (x + v121);
x = (x + v122);
x = (x + v123);
x = (x + v124);
x = (x + v125);
x = (x + v126);
x = (x + v127);
x = (x + v128);
x = (x + v129);
x = (x + v130);
x = (x + v131);
x = (x + v132);
x = (x + v133);
x = (x + v134);
x = (x + v135);
x = (x + v136);
x = (x + v137);
x = (x + v138);
x = (x + v139);
x = (x + v140);
x = (x + v141);
x = (x + v142);
x = (x + v143);
x = (x + v144);
x = (x + v145);
x = (x + v146);
x = (x + v147);
x = (x + v148);
x = (x + v149);
x = (x + v150);
x = (x + v151);
x = (x + v152);
x = (x + v153);
x = (x + v154);
x = (x + v155);
x = (x + v156);
x = (x + v157);
x = (x + v158);
x = (x + v159);
x = (x + v160);
x = (x + v161);
x = (x + v162);
x = (x + v163);
x = (x + v164);
x = (x + v165);
x = (x + v166);
x = (x + v167);
x = (x + v168);
x = (x + v169);
x = (x + v170);
x = (x + v171);
x = (x + v172);
x = (x + v173);
x = (x + v174);
x = (x + v175);
x = (x + v176);
x = (x + v177);
x = (x + v178);
x = (x + v179);
x = (x + v180);
x = (x + v181);
x = (x + v182);
x = (x + v183);
x = (x + v184);
x = (x + v185);
x = (x + v186);
x = (x + v187);
x = (x + v188);
x = (x + v189);
x = (x + v190);
x = (x + v191);
x = (x + v192);
x = (x + v193);
x = (x + v194);
x = (x + v195);
x = (x + v196);
x = (x + v197);
x = (x + v198);
x = (x + v199);
x = (x + v200);
x = (x + v201);
x = (x + v202);
x = (x + v203);
x = (x + v204);
x = (x + v205);
x = (x + v206);
x = (x + v207);
x = (x + v208);
x = (x + v209);
x = (x + v210);
x = (x + v211);
x = (x + v212);
x = (x + v213);
x = (x + v214);
x = (x + v215);
x = (x + v216);
x = (x + v217);
x = (x + v218);
x = (x + v219);
x = (x + v220);
x = (x + v221);
x = (x + v222);
x = (x + v223);
x = (x + v224);
x = (x + v225);
x = (x + v226);
x = (x + v227);
x = (x + v228);
x = (x + v229);
x = (x + v230);
x = (x + v231);
x = (x + v232);
x = (x + v233);
x = (x + v234);
x = (x + v235);
x = (x + v236);
x = (x + v237);
x = (x + v238);
x = (x + v239);
x = (x + v240);
x = (x + v241);
x = (x + v242);
x = (x + v243);
x = (x + v244);
x = (x + v245);
x = (x + v246);
x = (x + v247);
x = (x + v248);
x = (x + v249);
x = (x + v250);
x = (x + v251);
x = (x + v252);
x = (x + v253);
x = (x + v254);
x = (x + v255);
x = (x + v256);
x = (x + v257);
x = (x + v258);
x = (x + v259);
x = (x + v260);
x = (x + v261);
x = (x + v262);
x = (x + v263);
x = (x + v264);
x = (x + v265);
x = (x + v266);
x = (x + v267);
x = (x + v268);
x = (x + v269);
x = (x + v270);
x = (x + v271);
x = (x + v272);
x = (x + v273);
x = (x + v274);
x = (x + v275);
x = (x + v276);
x = (x + v277);
x = (x + v278);
x = (x + v279);
x = (x + v280);
x = (x + v281);
x = (x + v282);
x = (x + v283);
x = (x + v284);
x = (x + v285);
x = (x + v286);
x = (x + v287);
x = (x + v288);
x = (x + v289);
x = (x + v290);
x = (x + v291);
x = (x + v292);
x = (x + v293);
x = (x + v294);
x = (x + v295);
x = (x + v296);
x = (x + v297);
x = (x + v298);
x = (x + v299);
x = (x + v300);
x = (x + v301);
x = (x + v302);
x = (x + v303);
x = (x + v304);
x = (x + v305);
x = (x + v306);
x = (x + v307);
x = (x + v308);
x = (x + v309);
x = (x + v310);
x = (x + v311);
x = (x + v312);
x = (x + v313);
x = (x + v314);
x = (x + v315);
x = (x + v316);
x = (x + v317);
x = (x + v318);
x = (x + v319);
x = (x + v320);
x = (x + v321);
x = (x + v322);
x = (x + v323);
x = (x + v324);
x = (x + v325);
x = (x + v326);
x = (x + v327);
x = (x + v328);
x = (x + v329);
x = (x + v330);
x = (x + v331);
x = (x + v332);
x = (x + v333);
x = (x + v334);
x = (x + v335);
x = (x + v336);
x = (x + v337);
x = (x + v338);
x = (x + v339);
x = (x + v340);
x = (x + v341);
x = (x + v342);
x = (x + v343);
x = (x + v344);
x = (x + v345);
x = (x + v346);
x = (x + v347);
x = (x + v348);
x = (x + v349);
x = (x + v350);
x = (x + v351);
x = (x + v352);
x = (x + v353);
x = (x + v354);
x = (x + v355);
x = (x + v356);
x = (x + v357);
x = (x + v358);
x = (x + v359);
x = (x + v360);
x = (x + v361);
x = (x + v362);
x = (x + v363);
x = (x + v364);
x = (x + v365);
x = (x + v366);
x = (x + v367);
x = (x + v368);
x = (x + v369);
x = (x + v370);
x = (x + v371);
x = (x + v372);
x = (x + v373);
x = (x + v374);
x = (x + v375);
x = (x + v376);
x = (x + v377);
x = (x + v378);
x = (x + v379);
x = (x + v380);
x = (x + v381);
x = (x + v382);
x = (x + v383);
x = (x + v384);
x = (x + v385);
x = (x + v386);
x = (x + v387);
x = (x + v388);
x = (x + v389);
x = (x + v390);
x = (x + v391);
x = (x + v392);
x = (x + v393);
x = (x + v394);
x = (x + v395);
x = (x + v396);
x = (x + v397);
x = (x + v398);
x = (x + v399);
x = (x + v400);
x = (x + v401);
x = (x + v402);
x = (x + v403);
x = (x + v404);
x = (x + v405);
x = (x + v406);
x = (x + v407);
x = (x + v408);
x = (x + v409);
x = (x + v410);
x = (x + v411);
x = (x + v412);
x = (x + v413);
x = (x + v414);
x = (x + v415);
x = (x + v416);
x = (x + v417);
x = (x + v418);
x = (x + v419);
x = (x + v420);
x = (x + v421);
x = (x + v422);
x = (x + v423);
x = (x + v424);
x = (x + v425);
x = (x + v426);
x = (x + v427);
x = (x + v428);
x = (x + v429);
x = (x + v430);
x = (x + v431);
x = (x + v432);
x = (x + v433);
x = (x + v434);
x = (x + v435);
x = (x + v436);
x = (x + v437);
x = (x + v438);
x = (x + v439);
x = (x + v440);
x = (x + v441);
x = (x + v442);
x = (x + v443);
x = (x + v444);
x = (x + v445);
x = (x + v446);
x = (x + v447);
x = (x + v448);
x = (x + v449);
x = (x + v450);
x = (x + v451);
x = (x + v452);
x = (x + v453);
x = (x + v454);
x = (x + v455);
x = (x + v456);
x = (x + v457);
x = (x + v458);
x = (x + v459);
x = (x + v460);
x = (x + v461);
x = (x + v462);
x = (x + v463);
x = (x + v464);
x = (x + v465);
x = (x + v466);
x = (x + v467);
x = (x + v468);
x = (x + v469);
x = (x + v470);
x = (x + v471);
x = (x + v472);
x = (x + v473);
x = (x + v474);
x = (x + v475);
x = (x + v476);
x = (x + v477);
x = (x + v478);
x = (x + v479);
x = (x + v480);
x = (x + v481);
x = (x + v482);
x = (x + v483);
x = (x + v484);
x = (x + v485);
x = (x + v486);
x = (x + v487);
x = (x + v488);
x = (x + v489);
x = (x + v490);
x = (x + v491);
x = (x + v492);
x = (x + v493);
x = (x + v494);
x = (x + v495);
x = (x + v496);
x = (x + v497);
x = (x + v498);
x = (x + v499);
x = (x + v500);
x = (x + v501);
x = (x + v502);
x = (x + v503);
x = (x + v504);
x = (x + v505);
x = (x + v506);
x = (x + v507);
x = (x + v508);
x = (x + v509);
x = (x + v510);
x = (x + v511);
x = (x + v512);
x = (x + v513);
x = (x + v514);
x = (x + v515);
x = (x + v516);
x = (x + v517);
x = (x + v518);
x = (x + v519);
x = (x + v520);
x = (x + v521);
x = (x + v522);
x = (x + v523);
x = (x + v524);
x = (x + v525);
x = (x + v526);
x = (x + v527);
x = (x + v528);
x = (x + v529);
x = (x + v530);
x = (x + v531);
x = (x + v532);
x = (x + v533);
x = (x + v534);
x = (x + v535);
x = (x + v536);
x = (x + v537);
x = (x + v538);
x = (x + v539);
x = (x + v540);
x = (x + v541);
x = (x + v542);
x = (x + v543);
x = (x + v544);
x = (x + v545);
x = (x + v546);
x = (x + v547);
x = (x + v548);
x = (x + v549);
x = (x + v550);
x = (x + v551);
x = (x + v552);
x = (x + v553);
x = (x + v554);
x = (x + v555);
x = (x + v556);
x = (x + v557);
x = (x + v558);
x = (x + v559);
x = (x + v560);
x = (x + v561);
x = (x + v562);
x = (x + v563);
x = (x + v564);
x = (x + v565);
x = (x + v566);
x = (x + v567);
x = (x + v568);
x = (x + v569);
x = (x + v570);
x = (x + v571);
x = (x + v572);
x = (x + v573);
x = (x + v574);
x = (x + v575);
x = (x + v576);
x = (x + v577);
x = (x + v578);
x = (x + v579);
x = (x + v580);
x = (x + v581);
x = (x + v582);
x = (x + v583);
x = (x + v584);
x = (x + v585);
x = (x + v586);
x = (x + v587);
x = (x + v588);
x = (x + v589);
x = (x + v590);
x = (x + v591);
x = (x + v592);
x = (x + v593);
x = (x + v594);
x = (x + v595);
x = (x + v596);
x = (x + v597);
x = (x + v598);
x = (x + v599);
x = (x + v600);
x = (x + v601);
x = (x + v602);
x = (x + v603);
x = (x + v604);
x = (x + v605);
x = (x + v606);
x = (x + v607);
x = (x + v608);
x = (x + v609);
x = (x + v610);
x = (x + v611);
x = (x + v612);
x = (x + v613);
x = (x + v614);
x = (x + v615);
x = (x + v616);
x = (x + v617);
x = (x + v618);
x = (x + v619);
x = (x + v620);
x = (x + v621);
x = (x + v622);
x = (x + v623);
x = (x + v624);
x = (x + v625);
x = (x + v626);
x = (x + v627);
x = (x + v628);
x = (x + v629);
x = (x + v630);
x = (x + v631);
x = (x + v632);
x = (x + v633);
x = (x + v634);
x = (x + v635);
x = (x + v636);
x = (x + v637);
x = (x + v638);
x = (x + v639);
x = (x + v640);
x = (x + v641);
x = (x + v642);
x = (x + v643);
x = (x + v644);
x = (x + v645);
x = (x + v646);
x = (x + v647);
x = (x + v648);
x = (x + v649);
x = (x + v650);
x = (x + v651);
x = (x + v652);
x = (x + v653);
x = (x + v654);
x = (x + v655);
x = (x + v656);
x = (x + v657);
x = (x + v658);
x = (x + v659);
x = (x + v660);
x = (x + v661);
x = (x + v662);
x = (x + v663);
x = (x + v664);
x = (x + v665);
x = (x + v666);
x = (x + v667);
x = (x + v668);
x = (x + v669);
x = (x + v670);
x = (x + v671);
x = (x + v672);
x = (x + v673);
x = (x + v674);
x = (x + v675);
x = (x + v676);
x = (x + v677);
x = (x + v678);
x = (x + v679);
x = (x + v680);
x = (x + v681);
x = (x + v682);
x = (x + v683);
x = (x + v684);
x = (x + v685);
x = (x + v686);
x = (x + v687);
x = (x + v688);
x = (x + v689);
x = (x + v690);
x = (x + v691);
x = (x + v692);
x = (x + v693);
x = (x + v694);
x = (x + v695);
x = (x + v696);
x = (x + v697);
x = (x + v698);
x = (x + v699);
x = (x + v700);
x = (x + v701);
x = (x + v702);
x = (x + v703);
x = (x + v704);
x = (x + v705);
x = (x + v706);
x = (x + v707);
x = (x + v708);
x = (x + v709);
x = (x + v710);
x = (x + v711);
x = (x + v712);
x = (x + v713);
x = (x + v714);
x = (x + v715);
x = (x + v716);
x = (x + v717);
x = (x + v718);
x = (x + v719);
x = (x + v720);
x = (x + v721);
x = (x + v722);
x = (x + v723);
x = (x + v724);
x = (x + v725);
x = (x + v726);
x = (x + v727);
x = (x + v728);
x = (x + v729);
x = (x + v730);
x = (x + v731);
x = (x + v732);
x = (x + v733);
x = (x + v734);
x = (x + v735);
x = (x + v736);
x = (x + v737);
x = (x + v738);
x = (x + v739);
x = (x + v740);
x = (x + v741);
x = (x + v742);
x = (x + v743);
x = (x + v744);
x = (x + v745);
x = (x + v746);
x = (x + v747);
x = (x + v748);
x = (x + v749);
x = (x + v750);
x = (x + v751);
x = (x + v752);
x = (x + v753);
x = (x + v754);
x = (x + v755);
x = (x + v756);
x = (x + v757);
x = (x + v758);
x = (x + v759);
x = (x + v760);
x = (x + v761);
x = (x + v762);
x = (x + v763);
x = (x + v764);
x = (x + v765);
x = (x + v766);
x = (x + v767);
x = (x + v768);
x = (x + v769);
x = (x + v770);
x = (x + v771);
x = (x + v772);
x = (x + v773);
x = (x + v774);
x = (x + v775);
x = (x + v776);
x = (x + v777);
x = (x + v778);
x = (x + v779);
x = (x + v780);
x = (x + v781);
x = (x + v782);
x = (x + v783);
x = (x + v784);
x = (x + v785);
x = (x + v786);
x = (x + v787);
x = (x + v788);
x = (x + v789);
x = (x + v790);
x = (x + v791);
x = (x + v792);
x = (x + v793);
x = (x + v794);
x = (x + v795);
x = (x + v796);
x = (x + v797);
x = (x + v798);
x = (x + v799);
x = (x + v800);
x = (x + v801);
x = (x + v802);
x = (x + v803);
x = (x + v804);
x = (x + v805);
x = (x + v806);
x = (x + v807);
x = (x + v808);
x = (x + v809);
x = (x + v810);
x = (x + v811);
x = (x + v812);
x = (x + v813);
x = (x + v814);
x = (x + v815);
x = (x + v816);
x = (x + v817);
x = (x + v818);
x = (x + v819);
x = (x + v820);
x = (x + v821);
x = (x + v822);
x = (x + v823);
x = (x + v824);
x = (x + v825);
x = (x + v826);
x = (x + v827);
x = (x + v828);
x = (x + v829);
x = (x + v830);
x = (x + v831);
x = (x + v832);
x = (x + v833);
x = (x + v834);
x = (x + v835);
x = (x + v836);
x = (x + v837);
x = (x + v838);
x = (x + v839);
x = (x + v840);
x = (x + v841);
x = (x + v842);
x = (x + v843);
x = (x + v844);
x = (x + v845);
x = (x + v846);
x = (x + v847);
x = (x + v848);
x = (x + v849);
x = (x + v850);
x = (x + v851);
x = (x + v852);
x = (x + v853);
x = (x + v854);
x = (x + v855);
x = (x + v856);
x = (x + v857);
x = (x + v858);
x = (x + v859);
x = (x + v860);
x = (x + v861);
x = (x + v862);
x = (x + v863);
x = (x + v864);
x = (x + v865);
x = (x + v866);
x = (x + v867);
x = (x + v868);
x = (x + v869);
x = (x + v870);
x = (x + v871);
x = (x + v872);
x = (x + v873);
x = (x + v874);
x = (x + v875);
x = (x + v876);
x = (x + v877);
x = (x + v878);
x = (x + v879);
x = (x + v880);
x = (x + v881);
x = (x + v882);
x = (x + v883);
x = (x + v884);
x = (x + v885);
x = (x + v886);
x = (x + v887);
x = (x + v888);
x = (x + v889);
x = (x + v890);
x = (x + v891);
x = (x + v892);
x = (x + v893);
x = (x + v894);
x = (x + v895);
x = (x + v896);
x = (x + v897);
x = (x + v898);
x = (x + v899);
x = (x + v900);
x = (x + v901);
x = (x + v902);
x = (x + v903);
x = (x + v904);
x = (x + v905);
x = (x + v906);
x = (x + v907);
x = (x + v908);
x = (x + v909);
x = (x + v910);
x = (x + v911);
x = (x + v912);
x = (x + v913);
x = (x + v914);
x = (x + v915);
x = (x + v916);
x = (x + v917);
x = (x + v918);
x = (x + v919);
x = (x + v920);
x = (x + v921);
x = (x + v922);
x = (x + v923);
x = (x + v924);
x = (x + v925);
x = (x + v926);
x = (x + v927);
x = (x + v928);
x = (x + v929);
x = (x + v930);
x = (x + v931);
x = (x + v932);
x = (x + v933);
x = (x + v934);
x = (x + v935);
x = (x + v936);
x = (x + v937);
x = (x + v938);
x = (x + v939);
x = (x + v940);
x = (x + v941);
x = (x + v942);
x = (x + v943);
x = (x + v944);
x = (x + v945);
x = (x + v946);
x = (x + v947);
x = (x + v948);
x = (x + v949);
x = (x + v950);
x = (x + v951);
x = (x + v952);
x = (x + v953);
x = (x + v954);
x = (x + v955);
x = (x + v956);
x = (x + v957);
x = (x + v958);
x = (x + v959);
x = (x + v960);
x = (x + v961);
x = (x + v962);
x = (x + v963);
x = (x + v964);
x = (x + v965);
x = (x + v966);
x = (x + v967);
x = (x + v968);
x = (x + v969);
x = (x + v970);
x = (x + v971);
x = (x + v972);
x = (x + v973);
x = (x + v974);
x = (x + v975);
x = (x + v976);
x = (x + v977);
x = (x + v978);
x = (x + v979);
x = (x + v980);
x = (x + v981);
x = (x + v982);
x = (x + v983);
x = (x + v984);
x = (x + v985);
x = (x + v986);
x = (x + v987);
x = (x + v988);
x = (x + v989);
x = (x + v990);
x = (x + v991);
x = (x + v992);
x = (x + v993);
x = (x + v994);
x = (x + v995);
x = (x + v996);
x = (x + v997);
x = (x + v998);
x = (x + v999);
return x;
}
uint main() {
return foo();
}