Decision #1175 — malloc.c:4473
Status: unreached
Truth table
| row | c0 br 8099 | c1 br 8100 | outcome |
|---|
Independent-effect pairs
c0(branch8099): DEAD view gap →__strchrnul· br_ifc1(branch8100): DEAD view gap →__strchrnul· br_if
malloc.c:4473Status: unreached
| row | c0 br 8099 | c1 br 8100 | outcome |
|---|
c0 (branch 8099): DEAD view gap →__strchrnul · br_ifc1 (branch 8100): DEAD view gap →__strchrnul · br_if