Home | History | Annotate | Download | only in tests
      1 
      2 -----------------------------------------------------------
      3 STORE CASE 0
      4 PASS: 0 errors
      5 PASS: correct result
      6 
      7 -----------------------------------------------------------
      8 STORE CASE 1
      9 PASS: 0 errors
     10 PASS: correct result
     11 
     12 -----------------------------------------------------------
     13 STORE CASE 2
     14 PASS: 0 errors
     15 PASS: correct result
     16 
     17 -----------------------------------------------------------
     18 STORE CASE 3
     19 PASS: 0 errors
     20 PASS: correct result
     21 
     22 -----------------------------------------------------------
     23 STORE CASE 4
     24 Invalid write of size 4
     25    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
     26    by 0x........: do_test_case (cond_ld_st.c:321)
     27    by 0x........: do_test_case_steer (cond_ld_st.c:365)
     28    by 0x........: main (cond_ld_st.c:644)
     29  Address 0x........ is 0 bytes inside a block of size 4 free'd
     30    at 0x........: free (vg_replace_malloc.c:...)
     31    by 0x........: setup_test_data (cond_ld_st.c:257)
     32    by 0x........: do_test_case (cond_ld_st.c:284)
     33    by 0x........: do_test_case_steer (cond_ld_st.c:365)
     34    by 0x........: main (cond_ld_st.c:644)
     35 
     36 PASS: 1 errors
     37 PASS: correct result
     38 
     39 -----------------------------------------------------------
     40 STORE CASE 5
     41 Invalid write of size 4
     42    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
     43    by 0x........: do_test_case (cond_ld_st.c:321)
     44    by 0x........: do_test_case_steer (cond_ld_st.c:367)
     45    by 0x........: main (cond_ld_st.c:644)
     46  Address 0x........ is 0 bytes inside a block of size 4 free'd
     47    at 0x........: free (vg_replace_malloc.c:...)
     48    by 0x........: setup_test_data (cond_ld_st.c:257)
     49    by 0x........: do_test_case (cond_ld_st.c:284)
     50    by 0x........: do_test_case_steer (cond_ld_st.c:367)
     51    by 0x........: main (cond_ld_st.c:644)
     52 
     53 PASS: 1 errors
     54 PASS: correct result
     55 
     56 -----------------------------------------------------------
     57 STORE CASE 6
     58 Invalid write of size 4
     59    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
     60    by 0x........: do_test_case (cond_ld_st.c:321)
     61    by 0x........: do_test_case_steer (cond_ld_st.c:369)
     62    by 0x........: main (cond_ld_st.c:644)
     63  Address 0x........ is 0 bytes inside a block of size 4 free'd
     64    at 0x........: free (vg_replace_malloc.c:...)
     65    by 0x........: setup_test_data (cond_ld_st.c:257)
     66    by 0x........: do_test_case (cond_ld_st.c:284)
     67    by 0x........: do_test_case_steer (cond_ld_st.c:369)
     68    by 0x........: main (cond_ld_st.c:644)
     69 
     70 PASS: 1 errors
     71 PASS: correct result
     72 
     73 -----------------------------------------------------------
     74 STORE CASE 7
     75 Invalid write of size 4
     76    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
     77    by 0x........: do_test_case (cond_ld_st.c:321)
     78    by 0x........: do_test_case_steer (cond_ld_st.c:371)
     79    by 0x........: main (cond_ld_st.c:644)
     80  Address 0x........ is 0 bytes inside a block of size 4 free'd
     81    at 0x........: free (vg_replace_malloc.c:...)
     82    by 0x........: setup_test_data (cond_ld_st.c:257)
     83    by 0x........: do_test_case (cond_ld_st.c:284)
     84    by 0x........: do_test_case_steer (cond_ld_st.c:371)
     85    by 0x........: main (cond_ld_st.c:644)
     86 
     87 PASS: 1 errors
     88 PASS: correct result
     89 
     90 -----------------------------------------------------------
     91 STORE CASE 8
     92 Use of uninitialised value of size 4
     93    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
     94    by 0x........: do_test_case (cond_ld_st.c:321)
     95    by 0x........: do_test_case_steer (cond_ld_st.c:373)
     96    by 0x........: main (cond_ld_st.c:644)
     97 
     98 PASS: 1 errors
     99 PASS: correct result
    100 
    101 -----------------------------------------------------------
    102 STORE CASE 9
    103 Use of uninitialised value of size 4
    104    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    105    by 0x........: do_test_case (cond_ld_st.c:321)
    106    by 0x........: do_test_case_steer (cond_ld_st.c:375)
    107    by 0x........: main (cond_ld_st.c:644)
    108 
    109 PASS: 1 errors
    110 PASS: correct result
    111 
    112 -----------------------------------------------------------
    113 STORE CASE 10
    114 Use of uninitialised value of size 4
    115    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    116    by 0x........: do_test_case (cond_ld_st.c:321)
    117    by 0x........: do_test_case_steer (cond_ld_st.c:377)
    118    by 0x........: main (cond_ld_st.c:644)
    119 
    120 PASS: 1 errors
    121 PASS: correct result
    122 
    123 -----------------------------------------------------------
    124 STORE CASE 11
    125 Use of uninitialised value of size 4
    126    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    127    by 0x........: do_test_case (cond_ld_st.c:321)
    128    by 0x........: do_test_case_steer (cond_ld_st.c:379)
    129    by 0x........: main (cond_ld_st.c:644)
    130 
    131 PASS: 1 errors
    132 PASS: correct result
    133 
    134 -----------------------------------------------------------
    135 STORE CASE 12
    136 Use of uninitialised value of size 4
    137    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    138    by 0x........: do_test_case (cond_ld_st.c:321)
    139    by 0x........: do_test_case_steer (cond_ld_st.c:381)
    140    by 0x........: main (cond_ld_st.c:644)
    141 
    142 Invalid write of size 4
    143    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    144    by 0x........: do_test_case (cond_ld_st.c:321)
    145    by 0x........: do_test_case_steer (cond_ld_st.c:381)
    146    by 0x........: main (cond_ld_st.c:644)
    147  Address 0x........ is 0 bytes inside a block of size 4 free'd
    148    at 0x........: free (vg_replace_malloc.c:...)
    149    by 0x........: setup_test_data (cond_ld_st.c:257)
    150    by 0x........: do_test_case (cond_ld_st.c:284)
    151    by 0x........: do_test_case_steer (cond_ld_st.c:381)
    152    by 0x........: main (cond_ld_st.c:644)
    153 
    154 PASS: 2 errors
    155 PASS: correct result
    156 
    157 -----------------------------------------------------------
    158 STORE CASE 13
    159 Use of uninitialised value of size 4
    160    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    161    by 0x........: do_test_case (cond_ld_st.c:321)
    162    by 0x........: do_test_case_steer (cond_ld_st.c:383)
    163    by 0x........: main (cond_ld_st.c:644)
    164 
    165 Invalid write of size 4
    166    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    167    by 0x........: do_test_case (cond_ld_st.c:321)
    168    by 0x........: do_test_case_steer (cond_ld_st.c:383)
    169    by 0x........: main (cond_ld_st.c:644)
    170  Address 0x........ is 0 bytes inside a block of size 4 free'd
    171    at 0x........: free (vg_replace_malloc.c:...)
    172    by 0x........: setup_test_data (cond_ld_st.c:257)
    173    by 0x........: do_test_case (cond_ld_st.c:284)
    174    by 0x........: do_test_case_steer (cond_ld_st.c:383)
    175    by 0x........: main (cond_ld_st.c:644)
    176 
    177 PASS: 2 errors
    178 PASS: correct result
    179 
    180 -----------------------------------------------------------
    181 STORE CASE 14
    182 Use of uninitialised value of size 4
    183    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    184    by 0x........: do_test_case (cond_ld_st.c:321)
    185    by 0x........: do_test_case_steer (cond_ld_st.c:385)
    186    by 0x........: main (cond_ld_st.c:644)
    187 
    188 Invalid write of size 4
    189    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    190    by 0x........: do_test_case (cond_ld_st.c:321)
    191    by 0x........: do_test_case_steer (cond_ld_st.c:385)
    192    by 0x........: main (cond_ld_st.c:644)
    193  Address 0x........ is 0 bytes inside a block of size 4 free'd
    194    at 0x........: free (vg_replace_malloc.c:...)
    195    by 0x........: setup_test_data (cond_ld_st.c:257)
    196    by 0x........: do_test_case (cond_ld_st.c:284)
    197    by 0x........: do_test_case_steer (cond_ld_st.c:385)
    198    by 0x........: main (cond_ld_st.c:644)
    199 
    200 PASS: 2 errors
    201 PASS: correct result
    202 
    203 -----------------------------------------------------------
    204 STORE CASE 15
    205 Use of uninitialised value of size 4
    206    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    207    by 0x........: do_test_case (cond_ld_st.c:321)
    208    by 0x........: do_test_case_steer (cond_ld_st.c:387)
    209    by 0x........: main (cond_ld_st.c:644)
    210 
    211 Invalid write of size 4
    212    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    213    by 0x........: do_test_case (cond_ld_st.c:321)
    214    by 0x........: do_test_case_steer (cond_ld_st.c:387)
    215    by 0x........: main (cond_ld_st.c:644)
    216  Address 0x........ is 0 bytes inside a block of size 4 free'd
    217    at 0x........: free (vg_replace_malloc.c:...)
    218    by 0x........: setup_test_data (cond_ld_st.c:257)
    219    by 0x........: do_test_case (cond_ld_st.c:284)
    220    by 0x........: do_test_case_steer (cond_ld_st.c:387)
    221    by 0x........: main (cond_ld_st.c:644)
    222 
    223 PASS: 2 errors
    224 PASS: correct result
    225 
    226 -----------------------------------------------------------
    227 STORE CASE 16
    228 PASS: 0 errors
    229 PASS: correct result
    230 
    231 -----------------------------------------------------------
    232 STORE CASE 17
    233 PASS: 0 errors
    234 PASS: correct result
    235 
    236 -----------------------------------------------------------
    237 STORE CASE 18
    238 PASS: 0 errors
    239 PASS: correct result
    240 
    241 -----------------------------------------------------------
    242 STORE CASE 19
    243 PASS: 0 errors
    244 PASS: correct result
    245 
    246 -----------------------------------------------------------
    247 STORE CASE 20
    248 PASS: 0 errors
    249 PASS: correct result
    250 
    251 -----------------------------------------------------------
    252 STORE CASE 21
    253 PASS: 0 errors
    254 PASS: correct result
    255 
    256 -----------------------------------------------------------
    257 STORE CASE 22
    258 PASS: 0 errors
    259 PASS: correct result
    260 
    261 -----------------------------------------------------------
    262 STORE CASE 23
    263 PASS: 0 errors
    264 PASS: correct result
    265 
    266 -----------------------------------------------------------
    267 STORE CASE 24
    268 PASS: 0 errors
    269 PASS: correct result
    270 
    271 -----------------------------------------------------------
    272 STORE CASE 25
    273 PASS: 0 errors
    274 PASS: correct result
    275 
    276 -----------------------------------------------------------
    277 STORE CASE 26
    278 PASS: 0 errors
    279 PASS: correct result
    280 
    281 -----------------------------------------------------------
    282 STORE CASE 27
    283 PASS: 0 errors
    284 PASS: correct result
    285 
    286 -----------------------------------------------------------
    287 STORE CASE 28
    288 PASS: 0 errors
    289 PASS: correct result
    290 
    291 -----------------------------------------------------------
    292 STORE CASE 29
    293 PASS: 0 errors
    294 PASS: correct result
    295 
    296 -----------------------------------------------------------
    297 STORE CASE 30
    298 PASS: 0 errors
    299 PASS: correct result
    300 
    301 -----------------------------------------------------------
    302 STORE CASE 31
    303 PASS: 0 errors
    304 PASS: correct result
    305 
    306 -----------------------------------------------------------
    307 STORE CASE 32
    308 Conditional jump or move depends on uninitialised value(s)
    309    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    310    by 0x........: do_test_case (cond_ld_st.c:321)
    311    by 0x........: do_test_case_steer (cond_ld_st.c:421)
    312    by 0x........: main (cond_ld_st.c:644)
    313 
    314 PASS: 1 errors
    315 PASS: correct result
    316 
    317 -----------------------------------------------------------
    318 STORE CASE 33
    319 Conditional jump or move depends on uninitialised value(s)
    320    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    321    by 0x........: do_test_case (cond_ld_st.c:321)
    322    by 0x........: do_test_case_steer (cond_ld_st.c:423)
    323    by 0x........: main (cond_ld_st.c:644)
    324 
    325 PASS: 1 errors
    326 PASS: correct result
    327 
    328 -----------------------------------------------------------
    329 STORE CASE 34
    330 Conditional jump or move depends on uninitialised value(s)
    331    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    332    by 0x........: do_test_case (cond_ld_st.c:321)
    333    by 0x........: do_test_case_steer (cond_ld_st.c:425)
    334    by 0x........: main (cond_ld_st.c:644)
    335 
    336 PASS: 1 errors
    337 PASS: correct result
    338 
    339 -----------------------------------------------------------
    340 STORE CASE 35
    341 Conditional jump or move depends on uninitialised value(s)
    342    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    343    by 0x........: do_test_case (cond_ld_st.c:321)
    344    by 0x........: do_test_case_steer (cond_ld_st.c:427)
    345    by 0x........: main (cond_ld_st.c:644)
    346 
    347 PASS: 1 errors
    348 PASS: correct result
    349 
    350 -----------------------------------------------------------
    351 STORE CASE 36
    352 Conditional jump or move depends on uninitialised value(s)
    353    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    354    by 0x........: do_test_case (cond_ld_st.c:321)
    355    by 0x........: do_test_case_steer (cond_ld_st.c:429)
    356    by 0x........: main (cond_ld_st.c:644)
    357 
    358 Invalid write of size 4
    359    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    360    by 0x........: do_test_case (cond_ld_st.c:321)
    361    by 0x........: do_test_case_steer (cond_ld_st.c:429)
    362    by 0x........: main (cond_ld_st.c:644)
    363  Address 0x........ is 0 bytes inside a block of size 4 free'd
    364    at 0x........: free (vg_replace_malloc.c:...)
    365    by 0x........: setup_test_data (cond_ld_st.c:257)
    366    by 0x........: do_test_case (cond_ld_st.c:284)
    367    by 0x........: do_test_case_steer (cond_ld_st.c:429)
    368    by 0x........: main (cond_ld_st.c:644)
    369 
    370 PASS: 2 errors
    371 PASS: correct result
    372 
    373 -----------------------------------------------------------
    374 STORE CASE 37
    375 Conditional jump or move depends on uninitialised value(s)
    376    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    377    by 0x........: do_test_case (cond_ld_st.c:321)
    378    by 0x........: do_test_case_steer (cond_ld_st.c:431)
    379    by 0x........: main (cond_ld_st.c:644)
    380 
    381 Invalid write of size 4
    382    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    383    by 0x........: do_test_case (cond_ld_st.c:321)
    384    by 0x........: do_test_case_steer (cond_ld_st.c:431)
    385    by 0x........: main (cond_ld_st.c:644)
    386  Address 0x........ is 0 bytes inside a block of size 4 free'd
    387    at 0x........: free (vg_replace_malloc.c:...)
    388    by 0x........: setup_test_data (cond_ld_st.c:257)
    389    by 0x........: do_test_case (cond_ld_st.c:284)
    390    by 0x........: do_test_case_steer (cond_ld_st.c:431)
    391    by 0x........: main (cond_ld_st.c:644)
    392 
    393 PASS: 2 errors
    394 PASS: correct result
    395 
    396 -----------------------------------------------------------
    397 STORE CASE 38
    398 Conditional jump or move depends on uninitialised value(s)
    399    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    400    by 0x........: do_test_case (cond_ld_st.c:321)
    401    by 0x........: do_test_case_steer (cond_ld_st.c:433)
    402    by 0x........: main (cond_ld_st.c:644)
    403 
    404 Invalid write of size 4
    405    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    406    by 0x........: do_test_case (cond_ld_st.c:321)
    407    by 0x........: do_test_case_steer (cond_ld_st.c:433)
    408    by 0x........: main (cond_ld_st.c:644)
    409  Address 0x........ is 0 bytes inside a block of size 4 free'd
    410    at 0x........: free (vg_replace_malloc.c:...)
    411    by 0x........: setup_test_data (cond_ld_st.c:257)
    412    by 0x........: do_test_case (cond_ld_st.c:284)
    413    by 0x........: do_test_case_steer (cond_ld_st.c:433)
    414    by 0x........: main (cond_ld_st.c:644)
    415 
    416 PASS: 2 errors
    417 PASS: correct result
    418 
    419 -----------------------------------------------------------
    420 STORE CASE 39
    421 Conditional jump or move depends on uninitialised value(s)
    422    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    423    by 0x........: do_test_case (cond_ld_st.c:321)
    424    by 0x........: do_test_case_steer (cond_ld_st.c:435)
    425    by 0x........: main (cond_ld_st.c:644)
    426 
    427 Invalid write of size 4
    428    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    429    by 0x........: do_test_case (cond_ld_st.c:321)
    430    by 0x........: do_test_case_steer (cond_ld_st.c:435)
    431    by 0x........: main (cond_ld_st.c:644)
    432  Address 0x........ is 0 bytes inside a block of size 4 free'd
    433    at 0x........: free (vg_replace_malloc.c:...)
    434    by 0x........: setup_test_data (cond_ld_st.c:257)
    435    by 0x........: do_test_case (cond_ld_st.c:284)
    436    by 0x........: do_test_case_steer (cond_ld_st.c:435)
    437    by 0x........: main (cond_ld_st.c:644)
    438 
    439 PASS: 2 errors
    440 PASS: correct result
    441 
    442 -----------------------------------------------------------
    443 STORE CASE 40
    444 Conditional jump or move depends on uninitialised value(s)
    445    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    446    by 0x........: do_test_case (cond_ld_st.c:321)
    447    by 0x........: do_test_case_steer (cond_ld_st.c:437)
    448    by 0x........: main (cond_ld_st.c:644)
    449 
    450 Use of uninitialised value of size 4
    451    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    452    by 0x........: do_test_case (cond_ld_st.c:321)
    453    by 0x........: do_test_case_steer (cond_ld_st.c:437)
    454    by 0x........: main (cond_ld_st.c:644)
    455 
    456 PASS: 2 errors
    457 PASS: correct result
    458 
    459 -----------------------------------------------------------
    460 STORE CASE 41
    461 Conditional jump or move depends on uninitialised value(s)
    462    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    463    by 0x........: do_test_case (cond_ld_st.c:321)
    464    by 0x........: do_test_case_steer (cond_ld_st.c:439)
    465    by 0x........: main (cond_ld_st.c:644)
    466 
    467 Use of uninitialised value of size 4
    468    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    469    by 0x........: do_test_case (cond_ld_st.c:321)
    470    by 0x........: do_test_case_steer (cond_ld_st.c:439)
    471    by 0x........: main (cond_ld_st.c:644)
    472 
    473 PASS: 2 errors
    474 PASS: correct result
    475 
    476 -----------------------------------------------------------
    477 STORE CASE 42
    478 Conditional jump or move depends on uninitialised value(s)
    479    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    480    by 0x........: do_test_case (cond_ld_st.c:321)
    481    by 0x........: do_test_case_steer (cond_ld_st.c:441)
    482    by 0x........: main (cond_ld_st.c:644)
    483 
    484 Use of uninitialised value of size 4
    485    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    486    by 0x........: do_test_case (cond_ld_st.c:321)
    487    by 0x........: do_test_case_steer (cond_ld_st.c:441)
    488    by 0x........: main (cond_ld_st.c:644)
    489 
    490 PASS: 2 errors
    491 PASS: correct result
    492 
    493 -----------------------------------------------------------
    494 STORE CASE 43
    495 Conditional jump or move depends on uninitialised value(s)
    496    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    497    by 0x........: do_test_case (cond_ld_st.c:321)
    498    by 0x........: do_test_case_steer (cond_ld_st.c:443)
    499    by 0x........: main (cond_ld_st.c:644)
    500 
    501 Use of uninitialised value of size 4
    502    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    503    by 0x........: do_test_case (cond_ld_st.c:321)
    504    by 0x........: do_test_case_steer (cond_ld_st.c:443)
    505    by 0x........: main (cond_ld_st.c:644)
    506 
    507 PASS: 2 errors
    508 PASS: correct result
    509 
    510 -----------------------------------------------------------
    511 STORE CASE 44
    512 Conditional jump or move depends on uninitialised value(s)
    513    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    514    by 0x........: do_test_case (cond_ld_st.c:321)
    515    by 0x........: do_test_case_steer (cond_ld_st.c:445)
    516    by 0x........: main (cond_ld_st.c:644)
    517 
    518 Use of uninitialised value of size 4
    519    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    520    by 0x........: do_test_case (cond_ld_st.c:321)
    521    by 0x........: do_test_case_steer (cond_ld_st.c:445)
    522    by 0x........: main (cond_ld_st.c:644)
    523 
    524 Invalid write of size 4
    525    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    526    by 0x........: do_test_case (cond_ld_st.c:321)
    527    by 0x........: do_test_case_steer (cond_ld_st.c:445)
    528    by 0x........: main (cond_ld_st.c:644)
    529  Address 0x........ is 0 bytes inside a block of size 4 free'd
    530    at 0x........: free (vg_replace_malloc.c:...)
    531    by 0x........: setup_test_data (cond_ld_st.c:257)
    532    by 0x........: do_test_case (cond_ld_st.c:284)
    533    by 0x........: do_test_case_steer (cond_ld_st.c:445)
    534    by 0x........: main (cond_ld_st.c:644)
    535 
    536 PASS: 3 errors
    537 PASS: correct result
    538 
    539 -----------------------------------------------------------
    540 STORE CASE 45
    541 Conditional jump or move depends on uninitialised value(s)
    542    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    543    by 0x........: do_test_case (cond_ld_st.c:321)
    544    by 0x........: do_test_case_steer (cond_ld_st.c:447)
    545    by 0x........: main (cond_ld_st.c:644)
    546 
    547 Use of uninitialised value of size 4
    548    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    549    by 0x........: do_test_case (cond_ld_st.c:321)
    550    by 0x........: do_test_case_steer (cond_ld_st.c:447)
    551    by 0x........: main (cond_ld_st.c:644)
    552 
    553 Invalid write of size 4
    554    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    555    by 0x........: do_test_case (cond_ld_st.c:321)
    556    by 0x........: do_test_case_steer (cond_ld_st.c:447)
    557    by 0x........: main (cond_ld_st.c:644)
    558  Address 0x........ is 0 bytes inside a block of size 4 free'd
    559    at 0x........: free (vg_replace_malloc.c:...)
    560    by 0x........: setup_test_data (cond_ld_st.c:257)
    561    by 0x........: do_test_case (cond_ld_st.c:284)
    562    by 0x........: do_test_case_steer (cond_ld_st.c:447)
    563    by 0x........: main (cond_ld_st.c:644)
    564 
    565 PASS: 3 errors
    566 PASS: correct result
    567 
    568 -----------------------------------------------------------
    569 STORE CASE 46
    570 Conditional jump or move depends on uninitialised value(s)
    571    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    572    by 0x........: do_test_case (cond_ld_st.c:321)
    573    by 0x........: do_test_case_steer (cond_ld_st.c:449)
    574    by 0x........: main (cond_ld_st.c:644)
    575 
    576 Use of uninitialised value of size 4
    577    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    578    by 0x........: do_test_case (cond_ld_st.c:321)
    579    by 0x........: do_test_case_steer (cond_ld_st.c:449)
    580    by 0x........: main (cond_ld_st.c:644)
    581 
    582 Invalid write of size 4
    583    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    584    by 0x........: do_test_case (cond_ld_st.c:321)
    585    by 0x........: do_test_case_steer (cond_ld_st.c:449)
    586    by 0x........: main (cond_ld_st.c:644)
    587  Address 0x........ is 0 bytes inside a block of size 4 free'd
    588    at 0x........: free (vg_replace_malloc.c:...)
    589    by 0x........: setup_test_data (cond_ld_st.c:257)
    590    by 0x........: do_test_case (cond_ld_st.c:284)
    591    by 0x........: do_test_case_steer (cond_ld_st.c:449)
    592    by 0x........: main (cond_ld_st.c:644)
    593 
    594 PASS: 3 errors
    595 PASS: correct result
    596 
    597 -----------------------------------------------------------
    598 STORE CASE 47
    599 Conditional jump or move depends on uninitialised value(s)
    600    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    601    by 0x........: do_test_case (cond_ld_st.c:321)
    602    by 0x........: do_test_case_steer (cond_ld_st.c:451)
    603    by 0x........: main (cond_ld_st.c:644)
    604 
    605 Use of uninitialised value of size 4
    606    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    607    by 0x........: do_test_case (cond_ld_st.c:321)
    608    by 0x........: do_test_case_steer (cond_ld_st.c:451)
    609    by 0x........: main (cond_ld_st.c:644)
    610 
    611 Invalid write of size 4
    612    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    613    by 0x........: do_test_case (cond_ld_st.c:321)
    614    by 0x........: do_test_case_steer (cond_ld_st.c:451)
    615    by 0x........: main (cond_ld_st.c:644)
    616  Address 0x........ is 0 bytes inside a block of size 4 free'd
    617    at 0x........: free (vg_replace_malloc.c:...)
    618    by 0x........: setup_test_data (cond_ld_st.c:257)
    619    by 0x........: do_test_case (cond_ld_st.c:284)
    620    by 0x........: do_test_case_steer (cond_ld_st.c:451)
    621    by 0x........: main (cond_ld_st.c:644)
    622 
    623 PASS: 3 errors
    624 PASS: correct result
    625 
    626 -----------------------------------------------------------
    627 STORE CASE 48
    628 Conditional jump or move depends on uninitialised value(s)
    629    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    630    by 0x........: do_test_case (cond_ld_st.c:321)
    631    by 0x........: do_test_case_steer (cond_ld_st.c:453)
    632    by 0x........: main (cond_ld_st.c:644)
    633 
    634 PASS: 1 errors
    635 PASS: correct result
    636 
    637 -----------------------------------------------------------
    638 STORE CASE 49
    639 Conditional jump or move depends on uninitialised value(s)
    640    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    641    by 0x........: do_test_case (cond_ld_st.c:321)
    642    by 0x........: do_test_case_steer (cond_ld_st.c:455)
    643    by 0x........: main (cond_ld_st.c:644)
    644 
    645 PASS: 1 errors
    646 PASS: correct result
    647 
    648 -----------------------------------------------------------
    649 STORE CASE 50
    650 Conditional jump or move depends on uninitialised value(s)
    651    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    652    by 0x........: do_test_case (cond_ld_st.c:321)
    653    by 0x........: do_test_case_steer (cond_ld_st.c:457)
    654    by 0x........: main (cond_ld_st.c:644)
    655 
    656 PASS: 1 errors
    657 PASS: correct result
    658 
    659 -----------------------------------------------------------
    660 STORE CASE 51
    661 Conditional jump or move depends on uninitialised value(s)
    662    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    663    by 0x........: do_test_case (cond_ld_st.c:321)
    664    by 0x........: do_test_case_steer (cond_ld_st.c:459)
    665    by 0x........: main (cond_ld_st.c:644)
    666 
    667 PASS: 1 errors
    668 PASS: correct result
    669 
    670 -----------------------------------------------------------
    671 STORE CASE 52
    672 Conditional jump or move depends on uninitialised value(s)
    673    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    674    by 0x........: do_test_case (cond_ld_st.c:321)
    675    by 0x........: do_test_case_steer (cond_ld_st.c:461)
    676    by 0x........: main (cond_ld_st.c:644)
    677 
    678 PASS: 1 errors
    679 PASS: correct result
    680 
    681 -----------------------------------------------------------
    682 STORE CASE 53
    683 Conditional jump or move depends on uninitialised value(s)
    684    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    685    by 0x........: do_test_case (cond_ld_st.c:321)
    686    by 0x........: do_test_case_steer (cond_ld_st.c:463)
    687    by 0x........: main (cond_ld_st.c:644)
    688 
    689 PASS: 1 errors
    690 PASS: correct result
    691 
    692 -----------------------------------------------------------
    693 STORE CASE 54
    694 Conditional jump or move depends on uninitialised value(s)
    695    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    696    by 0x........: do_test_case (cond_ld_st.c:321)
    697    by 0x........: do_test_case_steer (cond_ld_st.c:465)
    698    by 0x........: main (cond_ld_st.c:644)
    699 
    700 PASS: 1 errors
    701 PASS: correct result
    702 
    703 -----------------------------------------------------------
    704 STORE CASE 55
    705 Conditional jump or move depends on uninitialised value(s)
    706    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    707    by 0x........: do_test_case (cond_ld_st.c:321)
    708    by 0x........: do_test_case_steer (cond_ld_st.c:467)
    709    by 0x........: main (cond_ld_st.c:644)
    710 
    711 PASS: 1 errors
    712 PASS: correct result
    713 
    714 -----------------------------------------------------------
    715 STORE CASE 56
    716 Conditional jump or move depends on uninitialised value(s)
    717    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    718    by 0x........: do_test_case (cond_ld_st.c:321)
    719    by 0x........: do_test_case_steer (cond_ld_st.c:469)
    720    by 0x........: main (cond_ld_st.c:644)
    721 
    722 PASS: 1 errors
    723 PASS: correct result
    724 
    725 -----------------------------------------------------------
    726 STORE CASE 57
    727 Conditional jump or move depends on uninitialised value(s)
    728    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    729    by 0x........: do_test_case (cond_ld_st.c:321)
    730    by 0x........: do_test_case_steer (cond_ld_st.c:471)
    731    by 0x........: main (cond_ld_st.c:644)
    732 
    733 PASS: 1 errors
    734 PASS: correct result
    735 
    736 -----------------------------------------------------------
    737 STORE CASE 58
    738 Conditional jump or move depends on uninitialised value(s)
    739    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    740    by 0x........: do_test_case (cond_ld_st.c:321)
    741    by 0x........: do_test_case_steer (cond_ld_st.c:473)
    742    by 0x........: main (cond_ld_st.c:644)
    743 
    744 PASS: 1 errors
    745 PASS: correct result
    746 
    747 -----------------------------------------------------------
    748 STORE CASE 59
    749 Conditional jump or move depends on uninitialised value(s)
    750    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    751    by 0x........: do_test_case (cond_ld_st.c:321)
    752    by 0x........: do_test_case_steer (cond_ld_st.c:475)
    753    by 0x........: main (cond_ld_st.c:644)
    754 
    755 PASS: 1 errors
    756 PASS: correct result
    757 
    758 -----------------------------------------------------------
    759 STORE CASE 60
    760 Conditional jump or move depends on uninitialised value(s)
    761    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    762    by 0x........: do_test_case (cond_ld_st.c:321)
    763    by 0x........: do_test_case_steer (cond_ld_st.c:477)
    764    by 0x........: main (cond_ld_st.c:644)
    765 
    766 PASS: 1 errors
    767 PASS: correct result
    768 
    769 -----------------------------------------------------------
    770 STORE CASE 61
    771 Conditional jump or move depends on uninitialised value(s)
    772    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    773    by 0x........: do_test_case (cond_ld_st.c:321)
    774    by 0x........: do_test_case_steer (cond_ld_st.c:479)
    775    by 0x........: main (cond_ld_st.c:644)
    776 
    777 PASS: 1 errors
    778 PASS: correct result
    779 
    780 -----------------------------------------------------------
    781 STORE CASE 62
    782 Conditional jump or move depends on uninitialised value(s)
    783    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    784    by 0x........: do_test_case (cond_ld_st.c:321)
    785    by 0x........: do_test_case_steer (cond_ld_st.c:481)
    786    by 0x........: main (cond_ld_st.c:644)
    787 
    788 PASS: 1 errors
    789 PASS: correct result
    790 
    791 -----------------------------------------------------------
    792 STORE CASE 63
    793 Conditional jump or move depends on uninitialised value(s)
    794    at 0x........: do_conditional_store32 (cond_ld_st.c:75)
    795    by 0x........: do_test_case (cond_ld_st.c:321)
    796    by 0x........: do_test_case_steer (cond_ld_st.c:483)
    797    by 0x........: main (cond_ld_st.c:644)
    798 
    799 PASS: 1 errors
    800 PASS: correct result
    801