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