tree 6cd75626886a8136779faf43e96849844bd469a2
parent 43d8c9d0e03d9002c0b4c345c6dc28e7586e3f21
author Christoffer Quist Adamsen <christofferqa@google.com> 1641990222 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1641990222 +0100

Don't erase dynamic argument types not needed for reprocessing

If the dynamic type of a given parameter in the program was deemed to not have any effect on reprocessing, we removed the dynamic type information.

This CL changes the argument propagator to not prune such dynamic type information (as it is needed for strengthening parameter types), meanwhile making sure methods are not reprocessed due to the newly retained dynamic types.

Change-Id: Iacdb66d0cb5b56958982c1969047a364b9783067