Decision #1184 — malloc.c:4073
Status: unreached
Truth table
| row | c0 br 8129 | c1 br 8130 | outcome |
|---|
Independent-effect pairs
c0(branch8129): DEAD view gap →strncmp· br_ifc1(branch8130): DEAD view gap →strncmp· br_if
malloc.c:4073Status: unreached
| row | c0 br 8129 | c1 br 8130 | outcome |
|---|
c0 (branch 8129): DEAD view gap →strncmp · br_ifc1 (branch 8130): DEAD view gap →strncmp · br_if