Decision #850 — malloc.c:4426
Status: partial
Truth table
| row | c0 br 5976 | c1 br 5977 | outcome |
|---|---|---|---|
| 2846 | F | F | F |
| 2847 | F | F | F |
| 2848 | F | F | F |
| 2849 | F | F | F |
| 2850 | F | F | F |
| 2851 | F | F | F |
| 2852 | F | * | F |
| 2853 | F | F | F |
| 2854 | F | F | F |
| 5851 | F | F | F |
| 5852 | F | F | F |
| 5853 | F | F | F |
| 5854 | F | F | F |
| 5855 | F | F | F |
| 5856 | F | F | F |
| 5857 | F | F | F |
| 5858 | F | F | F |
| 5859 | F | F | F |
| 8992 | F | F | F |
| 8993 | F | F | F |
| 8994 | F | F | F |
| 8995 | F | F | F |
| 8996 | F | F | F |
| 8997 | F | F | F |
| 8998 | F | F | F |
| 8999 | F | F | F |
| 9000 | F | F | F |
| 20403 | F | F | F |
| 20404 | F | F | F |
| 20405 | F | F | F |
| 20406 | F | F | F |
| 20407 | F | F | F |
| 20408 | F | F | F |
| 20409 | F | F | F |
| 20410 | F | F | F |
| 20411 | F | F | F |
| 28098 | F | F | F |
| 28099 | F | F | F |
| 28100 | F | F | F |
| 28101 | F | F | F |
| 28102 | F | F | F |
| 28103 | F | F | F |
| 28104 | F | F | F |
| 28105 | F | F | F |
| 34011 | F | F | F |
| 39949 | F | F | F |
| 42809 | T | * | T |
| 42810 | F | F | F |
| 42811 | F | F | F |
| 42812 | F | F | F |
| 45967 | T | * | T |
| 45968 | F | F | F |
| 45969 | T | * | T |
| 45970 | T | * | T |
| 45971 | F | F | F |
| 45972 | F | F | F |
| 45973 | F | F | F |
| 45974 | F | F | F |
| 49329 | T | * | T |
| 49330 | F | F | F |
| 49331 | F | F | F |
| 49332 | F | F | F |
| 52349 | T | * | T |
| 52350 | F | F | F |
| 52351 | F | F | F |
| 52352 | F | F | F |
| 62215 | F | F | F |
| 62216 | T | * | T |
| 62217 | T | * | T |
| 62218 | F | F | F |
| 62219 | T | * | T |
| 62220 | T | * | T |
| 62221 | F | F | F |
| 62222 | T | * | T |
| 62223 | F | F | F |
| 62224 | F | F | F |
| 62225 | F | F | F |
| 62226 | F | F | F |
| 62227 | F | F | F |
| 71987 | F | F | F |
| 71988 | T | * | T |
| 71989 | T | * | T |
| 71990 | F | F | F |
| 71991 | T | * | T |
| 71992 | T | * | T |
| 71993 | F | F | F |
| 71994 | T | * | T |
| 71995 | F | F | F |
| 71996 | F | F | F |
| 71997 | F | F | F |
| 71998 | F | F | F |
| 71999 | F | F | F |
| 75364 | F | F | F |
| 75365 | F | F | F |
| 75366 | T | * | T |
| 75367 | F | F | F |
| 75368 | F | F | F |
| 75369 | F | F | F |
| 75370 | F | F | F |
| 75371 | F | F | F |
| 75372 | F | F | F |
| 75373 | T | * | T |
| 75374 | F | F | F |
| 75375 | F | F | F |
| 75376 | F | F | F |
| 78839 | F | F | F |
| 78840 | F | F | F |
| 78841 | T | * | T |
| 78842 | F | F | F |
| 78843 | F | F | F |
| 78844 | F | F | F |
| 78845 | F | F | F |
| 78846 | F | F | F |
| 78847 | F | F | F |
| 78848 | T | * | T |
| 78849 | F | F | F |
| 78850 | F | F | F |
| 78851 | F | F | F |
| 80440 | F | F | F |
| 80441 | F | F | F |
| 80442 | F | F | F |
| 80443 | F | F | F |
| 87285 | T | * | T |
| 87286 | F | F | F |
| 87287 | F | F | F |
| 90503 | F | F | F |
| 90504 | F | F | F |
| 110888 | T | * | T |
| 110889 | F | F | F |
| 110890 | F | F | F |
| 110891 | F | F | F |
| 110892 | F | F | F |
| 110893 | F | F | F |
| 110894 | F | F | F |
| 110895 | F | F | F |
| 129751 | T | * | T |
| 129752 | F | F | F |
| 129753 | F | F | F |
| 129754 | F | F | F |
| 129755 | F | F | F |
| 129756 | F | F | F |
| 129757 | F | F | F |
| 129758 | F | F | F |
Independent-effect pairs
c0(branch5976): PROVED — pair rows2846,42809(masking)dlfree· br_ifc1(branch5977): GAP view gap →dlfree· br_if