Decision #1218 — malloc.c:5352
Status: partial
Truth table
| row | c0 br 8345 | c1 br 8346 | outcome |
|---|---|---|---|
| 3650 | T | * | T |
| 3651 | T | * | T |
| 3652 | T | * | T |
| 3653 | T | * | T |
| 3654 | T | * | T |
| 3655 | T | * | T |
| 3656 | T | * | T |
| 3657 | T | * | T |
| 3658 | T | * | T |
| 3659 | T | * | T |
| 3660 | T | * | T |
| 3661 | T | * | T |
| 3662 | T | * | T |
| 3663 | T | * | T |
| 3664 | T | * | T |
| 3665 | T | * | T |
| 3666 | T | * | T |
| 7403 | T | * | T |
| 7404 | T | * | T |
| 7405 | T | * | T |
| 7406 | T | * | T |
| 7407 | T | * | T |
| 7408 | T | * | T |
| 7409 | T | * | T |
| 7410 | T | * | T |
| 7411 | T | * | T |
| 7412 | T | * | T |
| 7413 | T | * | T |
| 7414 | T | * | T |
| 7415 | T | * | T |
| 7416 | T | * | T |
| 7417 | T | * | T |
| 7418 | T | * | T |
| 7419 | T | * | T |
| 11384 | T | * | T |
| 11385 | T | * | T |
| 11386 | T | * | T |
| 11387 | T | * | T |
| 11388 | T | * | T |
| 11389 | T | * | T |
| 11390 | T | * | T |
| 11391 | T | * | T |
| 11392 | T | * | T |
| 11393 | T | * | T |
| 11394 | T | * | T |
| 11395 | T | * | T |
| 11396 | T | * | T |
| 11397 | T | * | T |
| 11398 | T | * | T |
| 11399 | T | * | T |
| 11400 | T | * | T |
| 11401 | T | * | T |
| 12986 | F | F | F |
| 12987 | T | * | T |
| 12988 | T | * | T |
| 12989 | T | * | T |
| 14333 | F | F | F |
| 14334 | T | * | T |
| 14335 | T | * | T |
| 14336 | T | * | T |
| 15687 | F | F | F |
| 15688 | T | * | T |
| 15689 | T | * | T |
| 15690 | T | * | T |
| 25163 | T | * | T |
| 25164 | F | F | F |
| 25165 | F | F | F |
| 25166 | T | * | T |
| 25167 | T | * | T |
| 25168 | T | * | T |
| 25169 | T | * | T |
| 25170 | F | F | F |
| 34622 | T | * | T |
| 34623 | F | F | F |
| 34624 | F | F | F |
| 34625 | T | * | T |
| 34626 | T | * | T |
| 34627 | T | * | T |
| 34628 | T | * | T |
| 34629 | F | F | F |
| 40819 | F | F | F |
| 40820 | F | F | F |
| 40821 | T | * | T |
| 40822 | F | F | F |
| 40823 | T | * | T |
| 47032 | F | F | F |
| 47033 | F | F | F |
| 47034 | T | * | T |
| 47035 | F | F | F |
| 47036 | T | * | T |
| 51075 | F | F | F |
| 51076 | F | F | F |
| 51077 | F | F | F |
| 51078 | F | F | F |
| 51079 | T | * | T |
| 51080 | T | * | T |
| 51081 | T | * | T |
| 51082 | T | * | T |
| 51083 | T | * | T |
| 51084 | T | * | T |
| 51085 | T | * | T |
| 51086 | T | * | T |
| 55427 | F | F | F |
| 55428 | F | F | F |
| 55429 | F | F | F |
| 55430 | F | F | F |
| 55431 | T | * | T |
| 55432 | T | * | T |
| 55433 | T | * | T |
| 55434 | T | * | T |
| 55435 | T | * | T |
| 55436 | T | * | T |
| 55437 | T | * | T |
| 55438 | T | * | T |
| 55439 | T | * | T |
| 55440 | T | * | T |
| 59833 | F | F | F |
| 59834 | F | F | F |
| 59835 | F | F | F |
| 59836 | F | F | F |
| 59837 | T | * | T |
| 59838 | T | * | T |
| 59839 | T | * | T |
| 59840 | T | * | T |
| 59841 | T | * | T |
| 59842 | T | * | T |
| 59843 | T | * | T |
| 59844 | T | * | T |
| 63999 | F | F | F |
| 64000 | F | F | F |
| 64001 | F | F | F |
| 64002 | F | F | F |
| 64003 | T | * | T |
| 64004 | T | * | T |
| 64005 | T | * | T |
| 64006 | T | * | T |
| 64007 | T | * | T |
| 64008 | T | * | T |
| 64009 | T | * | T |
| 64010 | T | * | T |
| 75595 | F | F | F |
| 75596 | F | F | F |
| 75597 | F | F | F |
| 75598 | T | * | T |
| 75599 | T | * | T |
| 75600 | T | * | T |
| 75601 | T | * | T |
| 75602 | F | F | F |
| 87108 | F | F | F |
| 87109 | F | F | F |
| 87110 | F | F | F |
| 87111 | T | * | T |
| 87112 | T | * | T |
| 87113 | T | * | T |
| 87114 | T | * | T |
| 87115 | F | F | F |
| 91264 | F | F | F |
| 91265 | T | * | T |
| 91266 | T | * | T |
| 91267 | T | * | T |
| 91268 | T | * | T |
| 91269 | T | * | T |
| 91270 | T | * | T |
| 91271 | T | * | T |
| 91272 | T | * | T |
| 91273 | T | * | T |
| 91274 | T | * | T |
| 91275 | T | * | T |
| 91276 | T | * | T |
| 91277 | T | * | T |
| 91278 | T | * | T |
| 91279 | T | * | T |
| 91280 | F | F | F |
| 91281 | T | * | T |
| 91282 | T | * | T |
| 91283 | T | * | T |
| 91284 | T | * | T |
| 91285 | T | * | T |
| 91286 | T | * | T |
| 91287 | T | * | T |
| 95532 | F | F | F |
| 95533 | T | * | T |
| 95534 | T | * | T |
| 95535 | T | * | T |
| 95536 | T | * | T |
| 95537 | T | * | T |
| 95538 | T | * | T |
| 95539 | T | * | T |
| 95540 | T | * | T |
| 95541 | T | * | T |
| 95542 | T | * | T |
| 95543 | T | * | T |
| 95544 | T | * | T |
| 95545 | T | * | T |
| 95546 | T | * | T |
| 95547 | T | * | T |
| 95548 | F | F | F |
| 95549 | T | * | T |
| 95550 | T | * | T |
| 95551 | T | * | T |
| 95552 | T | * | T |
| 95553 | T | * | T |
| 95554 | T | * | T |
| 95555 | T | * | T |
| 97581 | T | * | T |
| 97582 | T | * | T |
| 99140 | F | F | F |
| 99141 | T | * | T |
| 99142 | F | F | F |
| 99143 | T | * | T |
| 100623 | F | F | F |
| 100624 | T | * | T |
| 100625 | F | F | F |
| 100626 | T | * | T |
| 102073 | F | F | F |
| 102074 | T | * | T |
| 102075 | F | F | F |
| 102076 | T | * | T |
| 104608 | F | F | F |
| 104609 | F | F | F |
| 104610 | T | * | T |
| 104611 | F | F | F |
| 104612 | T | * | T |
| 104613 | T | * | T |
| 108544 | F | F | F |
| 108545 | F | F | F |
| 108546 | F | F | F |
| 108547 | F | F | F |
| 108548 | F | F | F |
| 108549 | F | F | F |
| 108550 | F | F | F |
| 108551 | F | F | F |
| 108552 | F | F | F |
| 108553 | T | * | T |
| 108554 | T | * | T |
| 108555 | F | F | F |
| 108556 | T | * | T |
| 108557 | T | * | T |
| 108558 | T | * | T |
| 108559 | T | * | T |
| 108560 | T | * | T |
| 108561 | T | * | T |
| 108562 | T | * | T |
| 108563 | T | * | T |
| 108564 | T | * | T |
| 108565 | T | * | T |
| 110591 | F | F | F |
| 110592 | T | * | T |
| 110593 | F | F | F |
| 110594 | T | * | T |
| 113781 | F | F | F |
| 113782 | F | F | F |
| 113783 | F | F | F |
| 113784 | F | F | F |
| 113785 | F | F | F |
| 113786 | F | F | F |
| 113787 | T | * | T |
| 113788 | T | * | T |
| 113789 | T | * | T |
| 113790 | T | * | T |
| 113791 | T | * | T |
| 113792 | T | * | T |
| 113793 | T | * | T |
| 113794 | F | F | F |
| 113795 | T | * | T |
| 113796 | T | * | T |
| 117003 | T | * | T |
| 117004 | F | F | F |
| 117005 | F | F | F |
| 117006 | T | * | T |
| 117007 | F | F | F |
| 117008 | T | * | T |
| 117009 | F | F | F |
| 117010 | T | * | T |
| 117011 | T | * | T |
| 117012 | T | * | T |
| 140002 | T | * | T |
| 140003 | F | F | F |
| 140004 | F | F | F |
| 140005 | T | * | T |
| 140006 | T | * | T |
| 140007 | T | * | T |
| 140008 | T | * | T |
| 162938 | T | * | T |
| 162939 | F | F | F |
| 162940 | F | F | F |
| 162941 | T | * | T |
| 162942 | T | * | T |
| 162943 | T | * | T |
| 162944 | T | * | T |
| 164502 | T | * | T |
| 164503 | F | F | F |
| 166169 | T | * | T |
| 166170 | F | F | F |
| 167853 | T | * | T |
| 167854 | F | F | F |
Independent-effect pairs
c0(branch8345): PROVED — pair rows3650,12986(masking)realloc· br_ifc1(branch8346): GAP view gap →realloc· br_if