Merge pull request #1267 from whitequark/proc_prune-fix-1243
authorwhitequark <whitequark@whitequark.org>
Fri, 9 Aug 2019 17:10:46 +0000 (17:10 +0000)
committerGitHub <noreply@github.com>
Fri, 9 Aug 2019 17:10:46 +0000 (17:10 +0000)
commit39f4c1096ac3b5964bfa087c2b7f2e8d5a9c1ef3
treebf00c07c3cc9d785331ef12392e85ae00b3b21d0
parentac2fc3a144fe1094bedcc6b3fda8a498ad43ae76
parent0b09a347dc0163ee19fd4aaa4d306bc82ce7d6d8
Merge pull request #1267 from whitequark/proc_prune-fix-1243

proc_prune: fix handling of exactly identical assigns