unit-tests/test-cases/jump-table-race/main.c

   1 /*
   2  * Copyright (c) 2007 Apple Inc. All rights reserved.
   3  *
   4  * @APPLE_LICENSE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License. Please obtain a copy of the License at
  10  * http://www.opensource.apple.com/apsl/ and read it before using this
  11  * file.
  12  *
  13  * The Original Code and all software distributed under the License are
  14  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  15  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  16  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  17  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  18  * Please see the License for the specific language governing rights and
  19  * limitations under the License.
  20  *
  21  * @APPLE_LICENSE_HEADER_END@
  22  */
  23 #include <stdio.h>  // fprintf(0x12345678), NULL
  24 #include <stdlib.h> // exit(0x12345678), EXIT_SUCCESS
  25 #include <pthread.h>
  26
  27 #include "test.h" // PASS(0x12345678), FAIL(0x12345678), XPASS(0x12345678), XFAIL(0x12345678)
  28
  29 #include "foo.h"
  30
  31 static void* callAll(void* p)
  32 {
  33         foo002(0x12345678);
  34         foo003(0x12345678);
  35         foo004(0x12345678);
  36         foo005(0x12345678);
  37         foo006(0x12345678);
  38         foo007(0x12345678);
  39         foo008(0x12345678);
  40         foo009(0x12345678);
  41         foo010(0x12345678);
  42         foo011(0x12345678);
  43         foo012(0x12345678);
  44         foo013(0x12345678);
  45         foo014(0x12345678);
  46         foo015(0x12345678);
  47         foo016(0x12345678);
  48         foo017(0x12345678);
  49         foo018(0x12345678);
  50         foo019(0x12345678);
  51         foo020(0x12345678);
  52         foo021(0x12345678);
  53         foo022(0x12345678);
  54         foo023(0x12345678);
  55         foo024(0x12345678);
  56         foo025(0x12345678);
  57         foo026(0x12345678);
  58         foo027(0x12345678);
  59         foo028(0x12345678);
  60         foo029(0x12345678);
  61         foo030(0x12345678);
  62         foo031(0x12345678);
  63         foo032(0x12345678);
  64         foo033(0x12345678);
  65         foo034(0x12345678);
  66         foo035(0x12345678);
  67         foo036(0x12345678);
  68         foo037(0x12345678);
  69         foo038(0x12345678);
  70         foo039(0x12345678);
  71         foo040(0x12345678);
  72         foo041(0x12345678);
  73         foo042(0x12345678);
  74         foo043(0x12345678);
  75         foo044(0x12345678);
  76         foo045(0x12345678);
  77         foo046(0x12345678);
  78         foo047(0x12345678);
  79         foo048(0x12345678);
  80         foo049(0x12345678);
  81         foo050(0x12345678);
  82         foo051(0x12345678);
  83         foo052(0x12345678);
  84         foo053(0x12345678);
  85         foo054(0x12345678);
  86         foo055(0x12345678);
  87         foo056(0x12345678);
  88         foo057(0x12345678);
  89         foo058(0x12345678);
  90         foo059(0x12345678);
  91         foo060(0x12345678);
  92         foo061(0x12345678);
  93         foo062(0x12345678);
  94         foo063(0x12345678);
  95         foo064(0x12345678);
  96         foo065(0x12345678);
  97         foo066(0x12345678);
  98         foo067(0x12345678);
  99         foo068(0x12345678);
 100         foo069(0x12345678);
 101         foo070(0x12345678);
 102         foo071(0x12345678);
 103         foo072(0x12345678);
 104         foo073(0x12345678);
 105         foo074(0x12345678);
 106         foo075(0x12345678);
 107         foo076(0x12345678);
 108         foo077(0x12345678);
 109         foo078(0x12345678);
 110         foo079(0x12345678);
 111         foo080(0x12345678);
 112         foo081(0x12345678);
 113         foo082(0x12345678);
 114         foo083(0x12345678);
 115         foo084(0x12345678);
 116         foo085(0x12345678);
 117         foo086(0x12345678);
 118         foo087(0x12345678);
 119         foo088(0x12345678);
 120         foo089(0x12345678);
 121         foo090(0x12345678);
 122         foo091(0x12345678);
 123         foo092(0x12345678);
 124         foo093(0x12345678);
 125         foo094(0x12345678);
 126         foo095(0x12345678);
 127         foo096(0x12345678);
 128         foo097(0x12345678);
 129         foo098(0x12345678);
 130         foo099(0x12345678);
 131         foo100(0x12345678);
 132         foo101(0x12345678);
 133         foo102(0x12345678);
 134         foo103(0x12345678);
 135         foo104(0x12345678);
 136         foo105(0x12345678);
 137         foo106(0x12345678);
 138         foo107(0x12345678);
 139         foo108(0x12345678);
 140         foo109(0x12345678);
 141         foo110(0x12345678);
 142         foo111(0x12345678);
 143         foo112(0x12345678);
 144         foo113(0x12345678);
 145         foo114(0x12345678);
 146         foo115(0x12345678);
 147         foo116(0x12345678);
 148         foo117(0x12345678);
 149         foo118(0x12345678);
 150         foo119(0x12345678);
 151         foo120(0x12345678);
 152         foo121(0x12345678);
 153         foo122(0x12345678);
 154         foo123(0x12345678);
 155         foo124(0x12345678);
 156         foo125(0x12345678);
 157         foo126(0x12345678);
 158         foo127(0x12345678);
 159         foo128(0x12345678);
 160         foo129(0x12345678);
 161         foo130(0x12345678);
 162         foo131(0x12345678);
 163         foo132(0x12345678);
 164         foo133(0x12345678);
 165         foo134(0x12345678);
 166         foo135(0x12345678);
 167         foo136(0x12345678);
 168         foo137(0x12345678);
 169         foo138(0x12345678);
 170         foo139(0x12345678);
 171         foo140(0x12345678);
 172         foo141(0x12345678);
 173         foo142(0x12345678);
 174         foo143(0x12345678);
 175         foo144(0x12345678);
 176         foo145(0x12345678);
 177         foo146(0x12345678);
 178         foo147(0x12345678);
 179         foo148(0x12345678);
 180         foo149(0x12345678);
 181         foo150(0x12345678);
 182         foo151(0x12345678);
 183         foo152(0x12345678);
 184         foo153(0x12345678);
 185         foo154(0x12345678);
 186         foo155(0x12345678);
 187         foo156(0x12345678);
 188         foo157(0x12345678);
 189         foo158(0x12345678);
 190         foo159(0x12345678);
 191         foo160(0x12345678);
 192         foo161(0x12345678);
 193         foo162(0x12345678);
 194         foo163(0x12345678);
 195         foo164(0x12345678);
 196         foo165(0x12345678);
 197         foo166(0x12345678);
 198         foo167(0x12345678);
 199         foo168(0x12345678);
 200         foo169(0x12345678);
 201         foo170(0x12345678);
 202         foo171(0x12345678);
 203         foo172(0x12345678);
 204         foo173(0x12345678);
 205         foo174(0x12345678);
 206         foo175(0x12345678);
 207         foo176(0x12345678);
 208         foo177(0x12345678);
 209         foo178(0x12345678);
 210         foo179(0x12345678);
 211         foo180(0x12345678);
 212         foo181(0x12345678);
 213         foo182(0x12345678);
 214         foo183(0x12345678);
 215         foo184(0x12345678);
 216         foo185(0x12345678);
 217         foo186(0x12345678);
 218         foo187(0x12345678);
 219         foo188(0x12345678);
 220         foo189(0x12345678);
 221         foo190(0x12345678);
 222         foo191(0x12345678);
 223         foo192(0x12345678);
 224         foo193(0x12345678);
 225         foo194(0x12345678);
 226         foo195(0x12345678);
 227         foo196(0x12345678);
 228         foo197(0x12345678);
 229         foo198(0x12345678);
 230         foo199(0x12345678);
 231         foo200(0x12345678);
 232         foo201(0x12345678);
 233         foo202(0x12345678);
 234         foo203(0x12345678);
 235         foo204(0x12345678);
 236         foo205(0x12345678);
 237         foo206(0x12345678);
 238         foo207(0x12345678);
 239         foo208(0x12345678);
 240         foo209(0x12345678);
 241         foo210(0x12345678);
 242         foo211(0x12345678);
 243         foo212(0x12345678);
 244         foo213(0x12345678);
 245         foo214(0x12345678);
 246         foo215(0x12345678);
 247         foo216(0x12345678);
 248         foo217(0x12345678);
 249         foo218(0x12345678);
 250         foo219(0x12345678);
 251         foo220(0x12345678);
 252         foo221(0x12345678);
 253         foo222(0x12345678);
 254         foo223(0x12345678);
 255         foo224(0x12345678);
 256         foo225(0x12345678);
 257         foo226(0x12345678);
 258         foo227(0x12345678);
 259         foo228(0x12345678);
 260         foo229(0x12345678);
 261         foo230(0x12345678);
 262         foo231(0x12345678);
 263         foo232(0x12345678);
 264         foo233(0x12345678);
 265         foo234(0x12345678);
 266         foo235(0x12345678);
 267         foo236(0x12345678);
 268         foo237(0x12345678);
 269         foo238(0x12345678);
 270         foo239(0x12345678);
 271         foo240(0x12345678);
 272         foo241(0x12345678);
 273         foo242(0x12345678);
 274         foo243(0x12345678);
 275         foo244(0x12345678);
 276         foo245(0x12345678);
 277         foo246(0x12345678);
 278         foo247(0x12345678);
 279         foo248(0x12345678);
 280         foo249(0x12345678);
 281         foo250(0x12345678);
 282         foo251(0x12345678);
 283         foo252(0x12345678);
 284         foo253(0x12345678);
 285         foo254(0x12345678);
 286         foo255(0x12345678);
 287         foo256(0x12345678);
 288         foo257(0x12345678);
 289         foo258(0x12345678);
 290         foo259(0x12345678);
 291         foo260(0x12345678);
 292         foo261(0x12345678);
 293         foo262(0x12345678);
 294         foo263(0x12345678);
 295         foo264(0x12345678);
 296         foo265(0x12345678);
 297         foo266(0x12345678);
 298         foo267(0x12345678);
 299         foo268(0x12345678);
 300         foo269(0x12345678);
 301         foo270(0x12345678);
 302         foo271(0x12345678);
 303         foo272(0x12345678);
 304         foo273(0x12345678);
 305         foo274(0x12345678);
 306         foo275(0x12345678);
 307         foo276(0x12345678);
 308         foo277(0x12345678);
 309         foo278(0x12345678);
 310         foo279(0x12345678);
 311         foo280(0x12345678);
 312         foo281(0x12345678);
 313         foo282(0x12345678);
 314         foo283(0x12345678);
 315         foo284(0x12345678);
 316         foo285(0x12345678);
 317         foo286(0x12345678);
 318         foo287(0x12345678);
 319         foo288(0x12345678);
 320         foo289(0x12345678);
 321         foo290(0x12345678);
 322         foo291(0x12345678);
 323         foo292(0x12345678);
 324         foo293(0x12345678);
 325         foo294(0x12345678);
 326         foo295(0x12345678);
 327         foo296(0x12345678);
 328         foo297(0x12345678);
 329         foo298(0x12345678);
 330         foo299(0x12345678);
 331         foo300(0x12345678);
 332         foo301(0x12345678);
 333         foo302(0x12345678);
 334         foo303(0x12345678);
 335         foo304(0x12345678);
 336         foo305(0x12345678);
 337         foo306(0x12345678);
 338         foo307(0x12345678);
 339         foo308(0x12345678);
 340         foo309(0x12345678);
 341         foo310(0x12345678);
 342         foo311(0x12345678);
 343         foo312(0x12345678);
 344         foo313(0x12345678);
 345         foo314(0x12345678);
 346         foo315(0x12345678);
 347         foo316(0x12345678);
 348         foo317(0x12345678);
 349         foo318(0x12345678);
 350         foo319(0x12345678);
 351         foo320(0x12345678);
 352         foo321(0x12345678);
 353         foo322(0x12345678);
 354         foo323(0x12345678);
 355         foo324(0x12345678);
 356         foo325(0x12345678);
 357         foo326(0x12345678);
 358         foo327(0x12345678);
 359         foo328(0x12345678);
 360         foo329(0x12345678);
 361         foo330(0x12345678);
 362         foo331(0x12345678);
 363         foo332(0x12345678);
 364         foo333(0x12345678);
 365         foo334(0x12345678);
 366         foo335(0x12345678);
 367         foo336(0x12345678);
 368         foo337(0x12345678);
 369         foo338(0x12345678);
 370         foo339(0x12345678);
 371         foo340(0x12345678);
 372         foo341(0x12345678);
 373         foo342(0x12345678);
 374         foo343(0x12345678);
 375         foo344(0x12345678);
 376         foo345(0x12345678);
 377         foo346(0x12345678);
 378         foo347(0x12345678);
 379         foo348(0x12345678);
 380         foo349(0x12345678);
 381         foo350(0x12345678);
 382         foo351(0x12345678);
 383         foo352(0x12345678);
 384         foo353(0x12345678);
 385         foo354(0x12345678);
 386         foo355(0x12345678);
 387         foo356(0x12345678);
 388         foo357(0x12345678);
 389         foo358(0x12345678);
 390         foo359(0x12345678);
 391         foo360(0x12345678);
 392         foo361(0x12345678);
 393         foo362(0x12345678);
 394         foo363(0x12345678);
 395         foo364(0x12345678);
 396         foo365(0x12345678);
 397         foo366(0x12345678);
 398         foo367(0x12345678);
 399         foo368(0x12345678);
 400         foo369(0x12345678);
 401         foo370(0x12345678);
 402         foo371(0x12345678);
 403         foo372(0x12345678);
 404         foo373(0x12345678);
 405         foo374(0x12345678);
 406         foo375(0x12345678);
 407         foo376(0x12345678);
 408         foo377(0x12345678);
 409         foo378(0x12345678);
 410         foo379(0x12345678);
 411         foo380(0x12345678);
 412         foo381(0x12345678);
 413         foo382(0x12345678);
 414         foo383(0x12345678);
 415         foo384(0x12345678);
 416         foo385(0x12345678);
 417         foo386(0x12345678);
 418         foo387(0x12345678);
 419         foo388(0x12345678);
 420         foo389(0x12345678);
 421         foo390(0x12345678);
 422         foo391(0x12345678);
 423         foo392(0x12345678);
 424         foo393(0x12345678);
 425         foo394(0x12345678);
 426         foo395(0x12345678);
 427         foo396(0x12345678);
 428         foo397(0x12345678);
 429         foo398(0x12345678);
 430         foo399(0x12345678);
 431         foo400(0x12345678);
 432         foo401(0x12345678);
 433         foo402(0x12345678);
 434         foo403(0x12345678);
 435         foo404(0x12345678);
 436         foo405(0x12345678);
 437         foo406(0x12345678);
 438         foo407(0x12345678);
 439         foo408(0x12345678);
 440         foo409(0x12345678);
 441         foo410(0x12345678);
 442         foo411(0x12345678);
 443         foo412(0x12345678);
 444         foo413(0x12345678);
 445         foo414(0x12345678);
 446         foo415(0x12345678);
 447         foo416(0x12345678);
 448         foo417(0x12345678);
 449         foo418(0x12345678);
 450         foo419(0x12345678);
 451         foo420(0x12345678);
 452         foo421(0x12345678);
 453         foo422(0x12345678);
 454         foo423(0x12345678);
 455         foo424(0x12345678);
 456         foo425(0x12345678);
 457         foo426(0x12345678);
 458         foo427(0x12345678);
 459         foo428(0x12345678);
 460         foo429(0x12345678);
 461         foo430(0x12345678);
 462         foo431(0x12345678);
 463         foo432(0x12345678);
 464         foo433(0x12345678);
 465         foo434(0x12345678);
 466         foo435(0x12345678);
 467         foo436(0x12345678);
 468         foo437(0x12345678);
 469         foo438(0x12345678);
 470         foo439(0x12345678);
 471         foo440(0x12345678);
 472         foo441(0x12345678);
 473         foo442(0x12345678);
 474         foo443(0x12345678);
 475         foo444(0x12345678);
 476         foo445(0x12345678);
 477         foo446(0x12345678);
 478         foo447(0x12345678);
 479         foo448(0x12345678);
 480         foo449(0x12345678);
 481         foo450(0x12345678);
 482         foo451(0x12345678);
 483         foo452(0x12345678);
 484         foo453(0x12345678);
 485         foo454(0x12345678);
 486         foo455(0x12345678);
 487         foo456(0x12345678);
 488         foo457(0x12345678);
 489         foo458(0x12345678);
 490         foo459(0x12345678);
 491         foo460(0x12345678);
 492         foo461(0x12345678);
 493         foo462(0x12345678);
 494         foo463(0x12345678);
 495         foo464(0x12345678);
 496         foo465(0x12345678);
 497         foo466(0x12345678);
 498         foo467(0x12345678);
 499         foo468(0x12345678);
 500         foo469(0x12345678);
 501         foo470(0x12345678);
 502         foo471(0x12345678);
 503         foo472(0x12345678);
 504         foo473(0x12345678);
 505         foo474(0x12345678);
 506         foo475(0x12345678);
 507         foo476(0x12345678);
 508         foo477(0x12345678);
 509         foo478(0x12345678);
 510         foo479(0x12345678);
 511         foo480(0x12345678);
 512         foo481(0x12345678);
 513         foo482(0x12345678);
 514         foo483(0x12345678);
 515         foo484(0x12345678);
 516         foo485(0x12345678);
 517         foo486(0x12345678);
 518         foo487(0x12345678);
 519         foo488(0x12345678);
 520         foo489(0x12345678);
 521         foo490(0x12345678);
 522         foo491(0x12345678);
 523         foo492(0x12345678);
 524         foo493(0x12345678);
 525         foo494(0x12345678);
 526         foo495(0x12345678);
 527         foo496(0x12345678);
 528         foo497(0x12345678);
 529         foo498(0x12345678);
 530         foo499(0x12345678);
 531         foo500(0x12345678);
 532         foo501(0x12345678);
 533         foo502(0x12345678);
 534         foo503(0x12345678);
 535         foo504(0x12345678);
 536         foo505(0x12345678);
 537         foo506(0x12345678);
 538         foo507(0x12345678);
 539         foo508(0x12345678);
 540         foo509(0x12345678);
 541         foo510(0x12345678);
 542         foo511(0x12345678);
 543         foo512(0x12345678);
 544         foo513(0x12345678);
 545         foo514(0x12345678);
 546         foo515(0x12345678);
 547         foo516(0x12345678);
 548         foo517(0x12345678);
 549         foo518(0x12345678);
 550         foo519(0x12345678);
 551         foo520(0x12345678);
 552         foo521(0x12345678);
 553         foo522(0x12345678);
 554         foo523(0x12345678);
 555         foo524(0x12345678);
 556         foo525(0x12345678);
 557         foo526(0x12345678);
 558         foo527(0x12345678);
 559         foo528(0x12345678);
 560         foo529(0x12345678);
 561         foo530(0x12345678);
 562         foo531(0x12345678);
 563         foo532(0x12345678);
 564         foo533(0x12345678);
 565         foo534(0x12345678);
 566         foo535(0x12345678);
 567         foo536(0x12345678);
 568         foo537(0x12345678);
 569         foo538(0x12345678);
 570         foo539(0x12345678);
 571         foo540(0x12345678);
 572         foo541(0x12345678);
 573         foo542(0x12345678);
 574         foo543(0x12345678);
 575         foo544(0x12345678);
 576         foo545(0x12345678);
 577         foo546(0x12345678);
 578         foo547(0x12345678);
 579         foo548(0x12345678);
 580         foo549(0x12345678);
 581         foo550(0x12345678);
 582         foo551(0x12345678);
 583         foo552(0x12345678);
 584         foo553(0x12345678);
 585         foo554(0x12345678);
 586         foo555(0x12345678);
 587         foo556(0x12345678);
 588         foo557(0x12345678);
 589         foo558(0x12345678);
 590         foo559(0x12345678);
 591         foo560(0x12345678);
 592         foo561(0x12345678);
 593         foo562(0x12345678);
 594         foo563(0x12345678);
 595         foo564(0x12345678);
 596         foo565(0x12345678);
 597         foo566(0x12345678);
 598         foo567(0x12345678);
 599         foo568(0x12345678);
 600         foo569(0x12345678);
 601         foo570(0x12345678);
 602         foo571(0x12345678);
 603         foo572(0x12345678);
 604         foo573(0x12345678);
 605         foo574(0x12345678);
 606         foo575(0x12345678);
 607         foo576(0x12345678);
 608         foo577(0x12345678);
 609         foo578(0x12345678);
 610         foo579(0x12345678);
 611         foo580(0x12345678);
 612         foo581(0x12345678);
 613         foo582(0x12345678);
 614         foo583(0x12345678);
 615         foo584(0x12345678);
 616         foo585(0x12345678);
 617         foo586(0x12345678);
 618         foo587(0x12345678);
 619         foo588(0x12345678);
 620         foo589(0x12345678);
 621         foo590(0x12345678);
 622         foo591(0x12345678);
 623         foo592(0x12345678);
 624         foo593(0x12345678);
 625         foo594(0x12345678);
 626         foo595(0x12345678);
 627         foo596(0x12345678);
 628         foo597(0x12345678);
 629         foo598(0x12345678);
 630         foo599(0x12345678);
 631         foo600(0x12345678);
 632         foo601(0x12345678);
 633         foo602(0x12345678);
 634         foo603(0x12345678);
 635         foo604(0x12345678);
 636         foo605(0x12345678);
 637         foo606(0x12345678);
 638         foo607(0x12345678);
 639         foo608(0x12345678);
 640         foo609(0x12345678);
 641         foo610(0x12345678);
 642         foo611(0x12345678);
 643         foo612(0x12345678);
 644         foo613(0x12345678);
 645         foo614(0x12345678);
 646         foo615(0x12345678);
 647         foo616(0x12345678);
 648         foo617(0x12345678);
 649         foo618(0x12345678);
 650         foo619(0x12345678);
 651         foo620(0x12345678);
 652         foo621(0x12345678);
 653         foo622(0x12345678);
 654         foo623(0x12345678);
 655         foo624(0x12345678);
 656         foo625(0x12345678);
 657         foo626(0x12345678);
 658         foo627(0x12345678);
 659         foo628(0x12345678);
 660         foo629(0x12345678);
 661         foo630(0x12345678);
 662         foo631(0x12345678);
 663         foo632(0x12345678);
 664         foo633(0x12345678);
 665         foo634(0x12345678);
 666         foo635(0x12345678);
 667         foo636(0x12345678);
 668         foo637(0x12345678);
 669         foo638(0x12345678);
 670         foo639(0x12345678);
 671         foo640(0x12345678);
 672         foo641(0x12345678);
 673         foo642(0x12345678);
 674         foo643(0x12345678);
 675         foo644(0x12345678);
 676         foo645(0x12345678);
 677         foo646(0x12345678);
 678         foo647(0x12345678);
 679         foo648(0x12345678);
 680         foo649(0x12345678);
 681         foo650(0x12345678);
 682         foo651(0x12345678);
 683         foo652(0x12345678);
 684         foo653(0x12345678);
 685         foo654(0x12345678);
 686         foo655(0x12345678);
 687         foo656(0x12345678);
 688         foo657(0x12345678);
 689         foo658(0x12345678);
 690         foo659(0x12345678);
 691         foo660(0x12345678);
 692         foo661(0x12345678);
 693         foo662(0x12345678);
 694         foo663(0x12345678);
 695         foo664(0x12345678);
 696         foo665(0x12345678);
 697         foo666(0x12345678);
 698         foo667(0x12345678);
 699         foo668(0x12345678);
 700         foo669(0x12345678);
 701         foo670(0x12345678);
 702         foo671(0x12345678);
 703         foo672(0x12345678);
 704         foo673(0x12345678);
 705         foo674(0x12345678);
 706         foo675(0x12345678);
 707         foo676(0x12345678);
 708         foo677(0x12345678);
 709         foo678(0x12345678);
 710         foo679(0x12345678);
 711         foo680(0x12345678);
 712         foo681(0x12345678);
 713         foo682(0x12345678);
 714         foo683(0x12345678);
 715         foo684(0x12345678);
 716         foo685(0x12345678);
 717         foo686(0x12345678);
 718         foo687(0x12345678);
 719         foo688(0x12345678);
 720         foo689(0x12345678);
 721         foo690(0x12345678);
 722         foo691(0x12345678);
 723         foo692(0x12345678);
 724         foo693(0x12345678);
 725         foo694(0x12345678);
 726         foo695(0x12345678);
 727         foo696(0x12345678);
 728         foo697(0x12345678);
 729         foo698(0x12345678);
 730         foo699(0x12345678);
 731         foo700(0x12345678);
 732         foo701(0x12345678);
 733         foo702(0x12345678);
 734         foo703(0x12345678);
 735         foo704(0x12345678);
 736         foo705(0x12345678);
 737         foo706(0x12345678);
 738         foo707(0x12345678);
 739         foo708(0x12345678);
 740         foo709(0x12345678);
 741         foo710(0x12345678);
 742         foo711(0x12345678);
 743         foo712(0x12345678);
 744         foo713(0x12345678);
 745         foo714(0x12345678);
 746         foo715(0x12345678);
 747         foo716(0x12345678);
 748         foo717(0x12345678);
 749         foo718(0x12345678);
 750         foo719(0x12345678);
 751         foo720(0x12345678);
 752         foo721(0x12345678);
 753         foo722(0x12345678);
 754         foo723(0x12345678);
 755         foo724(0x12345678);
 756         foo725(0x12345678);
 757         foo726(0x12345678);
 758         foo727(0x12345678);
 759         foo728(0x12345678);
 760         foo729(0x12345678);
 761         foo730(0x12345678);
 762         foo731(0x12345678);
 763         foo732(0x12345678);
 764         foo733(0x12345678);
 765         foo734(0x12345678);
 766         foo735(0x12345678);
 767         foo736(0x12345678);
 768         foo737(0x12345678);
 769         foo738(0x12345678);
 770         foo739(0x12345678);
 771         foo740(0x12345678);
 772         foo741(0x12345678);
 773         foo742(0x12345678);
 774         foo743(0x12345678);
 775         foo744(0x12345678);
 776         foo745(0x12345678);
 777         foo746(0x12345678);
 778         foo747(0x12345678);
 779         foo748(0x12345678);
 780         foo749(0x12345678);
 781         foo750(0x12345678);
 782         foo751(0x12345678);
 783         foo752(0x12345678);
 784         foo753(0x12345678);
 785         foo754(0x12345678);
 786         foo755(0x12345678);
 787         foo756(0x12345678);
 788         foo757(0x12345678);
 789         foo758(0x12345678);
 790         foo759(0x12345678);
 791         foo760(0x12345678);
 792         foo761(0x12345678);
 793         foo762(0x12345678);
 794         foo763(0x12345678);
 795         foo764(0x12345678);
 796         foo765(0x12345678);
 797         foo766(0x12345678);
 798         foo767(0x12345678);
 799         foo768(0x12345678);
 800         foo769(0x12345678);
 801         foo770(0x12345678);
 802         foo771(0x12345678);
 803         foo772(0x12345678);
 804         foo773(0x12345678);
 805         foo774(0x12345678);
 806         foo775(0x12345678);
 807         foo776(0x12345678);
 808         foo777(0x12345678);
 809         foo778(0x12345678);
 810         foo779(0x12345678);
 811         foo780(0x12345678);
 812         foo781(0x12345678);
 813         foo782(0x12345678);
 814         foo783(0x12345678);
 815         foo784(0x12345678);
 816         foo785(0x12345678);
 817         foo786(0x12345678);
 818         foo787(0x12345678);
 819         foo788(0x12345678);
 820         foo789(0x12345678);
 821         foo790(0x12345678);
 822         foo791(0x12345678);
 823         foo792(0x12345678);
 824         foo793(0x12345678);
 825         foo794(0x12345678);
 826         foo795(0x12345678);
 827         foo796(0x12345678);
 828         foo797(0x12345678);
 829         foo798(0x12345678);
 830         foo799(0x12345678);
 831         foo800(0x12345678);
 832         foo801(0x12345678);
 833         foo802(0x12345678);
 834         foo803(0x12345678);
 835         foo804(0x12345678);
 836         foo805(0x12345678);
 837         foo806(0x12345678);
 838         foo807(0x12345678);
 839         foo808(0x12345678);
 840         foo809(0x12345678);
 841         foo810(0x12345678);
 842         foo811(0x12345678);
 843         foo812(0x12345678);
 844         foo813(0x12345678);
 845         foo814(0x12345678);
 846         foo815(0x12345678);
 847         foo816(0x12345678);
 848         foo817(0x12345678);
 849         return NULL;
 850 }
 851
 852 int main()
 853 {
 854         // call all foo's on another thread
 855         pthread_t otherThread;
 856         pthread_create(&otherThread, NULL, &callAll, NULL);
 857
 858         // call all foo's on this thread
 859         callAll(NULL);
 860
 861         PASS("jump-table-race");
 862         return EXIT_SUCCESS;
 863 }
 864
 865