On 01/08/2016 11:01 AM, Martin Jambor wrote:
Hi,
we generally do not have ther ability to propagate constants to and
clone CHKP instrumented functions. Therefore we do not propagate
stuff into their lattices but since Honza changed cloning for all
contexts heuristics a few weeks ago, we might a
Hi,
we generally do not have ther ability to propagate constants to and
clone CHKP instrumented functions. Therefore we do not propagate
stuff into their lattices but since Honza changed cloning for all
contexts heuristics a few weeks ago, we might attempt to clone them
for unused parameter remov