Use the bound of ==-Confirms in fixpoint vrp.
authorChristoph Mallon <christoph.mallon@gmx.de>
Thu, 5 May 2011 14:20:37 +0000 (16:20 +0200)
committerChristoph Mallon <christoph.mallon@gmx.de>
Thu, 5 May 2011 14:20:37 +0000 (16:20 +0200)
commit44d2b5e4bf3eba035a3885b1cff7b38fc39792f2
treed820d77d4209b6688d351b04f3c85c7edbbf6be3
parenteb47aca33f2f8c414409f3695e73277b47442334
Use the bound of ==-Confirms in fixpoint vrp.
ir/opt/fp-vrp.c