Decision #1219 — malloc.c:4921
Status: full_mcdc
Truth table
| row | c0 br 8347 | c1 br 8348 | c2 br 8349 | outcome |
|---|---|---|---|---|
| 3667 | T | * | * | T |
| 3668 | T | * | * | T |
| 3669 | T | * | * | T |
| 3670 | T | * | * | T |
| 3671 | T | * | * | T |
| 3672 | T | * | * | T |
| 3673 | T | * | * | T |
| 3674 | T | * | * | T |
| 3675 | T | * | * | T |
| 3676 | T | * | * | T |
| 3677 | T | * | * | T |
| 3678 | T | * | * | T |
| 3679 | T | * | * | T |
| 3680 | T | * | * | T |
| 3681 | F | F | F | F |
| 3682 | F | F | F | F |
| 3683 | F | F | F | F |
| 7420 | T | * | * | T |
| 7421 | T | * | * | T |
| 7422 | T | * | * | T |
| 7423 | T | * | * | T |
| 7424 | T | * | * | T |
| 7425 | T | * | * | T |
| 7426 | T | * | * | T |
| 7427 | T | * | * | T |
| 7428 | T | * | * | T |
| 7429 | T | * | * | T |
| 7430 | T | * | * | T |
| 7431 | T | * | * | T |
| 7432 | T | * | * | T |
| 7433 | T | * | * | T |
| 7434 | T | * | * | T |
| 7435 | T | * | * | T |
| 7436 | T | * | * | T |
| 11402 | T | * | * | T |
| 11403 | T | * | * | T |
| 11404 | T | * | * | T |
| 11405 | T | * | * | T |
| 11406 | T | * | * | T |
| 11407 | T | * | * | T |
| 11408 | T | * | * | T |
| 11409 | T | * | * | T |
| 11410 | T | * | * | T |
| 11411 | T | * | * | T |
| 11412 | T | * | * | T |
| 11413 | T | * | * | T |
| 11414 | T | * | * | T |
| 11415 | T | * | * | T |
| 11416 | T | * | * | T |
| 11417 | T | * | * | T |
| 11418 | T | * | * | T |
| 11419 | T | * | * | T |
| 12990 | T | * | * | T |
| 12991 | F | F | T | T |
| 12992 | T | * | * | T |
| 14337 | T | * | * | T |
| 14338 | F | F | T | T |
| 14339 | T | * | * | T |
| 15691 | T | * | * | T |
| 15692 | F | F | T | T |
| 15693 | T | * | * | T |
| 25171 | T | * | * | T |
| 25172 | F | T | * | T |
| 25173 | F | T | * | T |
| 25174 | F | F | F | F |
| 25175 | T | * | * | T |
| 34630 | T | * | * | T |
| 34631 | F | T | * | T |
| 34632 | F | T | * | T |
| 34633 | F | F | F | F |
| 34634 | T | * | * | T |
| 40824 | T | * | * | T |
| 40825 | T | * | * | T |
| 47037 | T | * | * | T |
| 47038 | T | * | * | T |
| 51087 | F | F | F | F |
| 51088 | F | T | * | T |
| 51089 | F | F | F | F |
| 51090 | T | * | * | T |
| 51091 | T | * | * | T |
| 51092 | T | * | * | T |
| 51093 | T | * | * | T |
| 51094 | T | * | * | T |
| 55441 | F | F | F | F |
| 55442 | F | T | * | T |
| 55443 | F | F | F | F |
| 55444 | T | * | * | T |
| 55445 | T | * | * | T |
| 55446 | T | * | * | T |
| 55447 | T | * | * | T |
| 55448 | T | * | * | T |
| 55449 | T | * | * | T |
| 55450 | T | * | * | T |
| 59845 | F | F | F | F |
| 59846 | F | T | * | T |
| 59847 | F | F | F | F |
| 59848 | T | * | * | T |
| 59849 | T | * | * | T |
| 59850 | T | * | * | T |
| 59851 | T | * | * | T |
| 59852 | T | * | * | T |
| 64011 | F | F | F | F |
| 64012 | F | T | * | T |
| 64013 | F | F | F | F |
| 64014 | T | * | * | T |
| 64015 | T | * | * | T |
| 64016 | T | * | * | T |
| 64017 | T | * | * | T |
| 64018 | T | * | * | T |
| 75603 | T | * | * | T |
| 75604 | T | * | * | T |
| 75605 | F | F | T | T |
| 75606 | T | * | * | T |
| 87116 | T | * | * | T |
| 87117 | T | * | * | T |
| 87118 | F | F | T | T |
| 87119 | T | * | * | T |
| 91288 | T | * | * | T |
| 91289 | T | * | * | T |
| 91290 | T | * | * | T |
| 91291 | T | * | * | T |
| 91292 | F | F | T | T |
| 91293 | T | * | * | T |
| 91294 | T | * | * | T |
| 91295 | T | * | * | T |
| 91296 | T | * | * | T |
| 91297 | T | * | * | T |
| 91298 | T | * | * | T |
| 91299 | T | * | * | T |
| 91300 | T | * | * | T |
| 91301 | T | * | * | T |
| 91302 | T | * | * | T |
| 91303 | T | * | * | T |
| 91304 | T | * | * | T |
| 91305 | T | * | * | T |
| 91306 | T | * | * | T |
| 91307 | T | * | * | T |
| 91308 | T | * | * | T |
| 91309 | T | * | * | T |
| 95556 | T | * | * | T |
| 95557 | T | * | * | T |
| 95558 | T | * | * | T |
| 95559 | T | * | * | T |
| 95560 | F | F | T | T |
| 95561 | T | * | * | T |
| 95562 | T | * | * | T |
| 95563 | T | * | * | T |
| 95564 | T | * | * | T |
| 95565 | T | * | * | T |
| 95566 | T | * | * | T |
| 95567 | T | * | * | T |
| 95568 | T | * | * | T |
| 95569 | T | * | * | T |
| 95570 | T | * | * | T |
| 95571 | T | * | * | T |
| 95572 | T | * | * | T |
| 95573 | T | * | * | T |
| 95574 | T | * | * | T |
| 95575 | T | * | * | T |
| 95576 | T | * | * | T |
| 95577 | T | * | * | T |
| 97583 | T | * | * | T |
| 97584 | T | * | * | T |
| 99144 | T | * | * | T |
| 99145 | T | * | * | T |
| 100627 | T | * | * | T |
| 100628 | T | * | * | T |
| 102077 | T | * | * | T |
| 102078 | T | * | * | T |
| 104614 | T | * | * | T |
| 104615 | T | * | * | T |
| 104616 | T | * | * | T |
| 108566 | F | T | * | T |
| 108567 | T | * | * | T |
| 108568 | F | F | F | F |
| 108569 | T | * | * | T |
| 108570 | T | * | * | T |
| 108571 | T | * | * | T |
| 108572 | T | * | * | T |
| 108573 | T | * | * | T |
| 108574 | T | * | * | T |
| 108575 | T | * | * | T |
| 108576 | T | * | * | T |
| 108577 | T | * | * | T |
| 110595 | T | * | * | T |
| 110596 | T | * | * | T |
| 113797 | T | * | * | T |
| 113798 | T | * | * | T |
| 113799 | F | F | T | T |
| 113800 | T | * | * | T |
| 113801 | T | * | * | T |
| 113802 | F | F | F | F |
| 113803 | T | * | * | T |
| 113804 | T | * | * | T |
| 113805 | T | * | * | T |
| 117013 | T | * | * | T |
| 117014 | F | T | * | T |
| 117015 | T | * | * | T |
| 117016 | T | * | * | T |
| 117017 | T | * | * | T |
| 117018 | T | * | * | T |
| 140009 | T | * | * | T |
| 140010 | F | T | * | T |
| 140011 | F | F | F | F |
| 140012 | T | * | * | T |
| 140013 | T | * | * | T |
| 162945 | T | * | * | T |
| 162946 | F | T | * | T |
| 162947 | F | F | F | F |
| 162948 | T | * | * | T |
| 162949 | T | * | * | T |
| 164504 | T | * | * | T |
| 166171 | T | * | * | T |
| 167855 | T | * | * | T |
Independent-effect pairs
All 3 conditions live in realloc — 3 br_if
c0(branch8347): PROVED — pair rows3667,3681(masking)c1(branch8348): PROVED — pair rows3681,25172(masking)c2(branch8349): PROVED — pair rows3681,12991(unique-cause)