On Thu, Apr 21, 2011 at 5:47 PM, Jeff Law <l...@redhat.com> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > > For some dumb reason I thought handling threading through a SWITCH_EXPR > was hard in VRP; that's definitely not the case, it's no more difficult > than handling a COND_EXPR. > > This patch allows tree-vrp.c to thread through a SWITCH_EXPR when we > know the switch index via a particular path. Most of these would have > eventually been caught by DOM, but we get to pick up more secondary > effects if we can catch them in VRP. > > Bootstrapped and regression tested on x86_64-unknown-linux-gnu. OK for > trunk?
Ok. Can you add a testcase? Thanks, Richard. > > > > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.11 (GNU/Linux) > Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/ > > iQEcBAEBAgAGBQJNsFGKAAoJEBRtltQi2kC7wP4IAJZ6e/jF5WAnFdG5/G6lWdEp > D1mBlaFvrSgAXp/Qx9y8uLQfnpzSvcgb59naTH2p+rDILjAs9Bw1eXZN0MCwTN4H > tylFm3w4a9BMzHbzgiwGzDBTkUyzIQyQ1XzqSHbOTWtzEuFGbAmRzSgDoFPbZEPD > cWXsh7yRLr/aqOFLCoEbN/Wp87aBDSXi+I7d5rU+la97En3FWBSNku84dZf1F+8C > 9qW4wCW7lX1LVnWy3LmeSxXf0k9JmJGkUvdmSr2TYtZVPvPLqHg97NOWG9CAfUVO > cTZW5QOFuyEGg/vbYOFmfWRI7uw+YjggV/v0LzUYjRV00fj+rygjgUfgA5f3rGA= > =NPtm > -----END PGP SIGNATURE----- >
