This patch failed regtesting -- and on second thought I'm not too confident that the refactoring is strictly an improvement so I will try to fix the main issue (that is to make the test vrp-1.c fail to compile) in a more direct way.
- [PATCH 2/2] Simplify and extend VRP edge-assertion code Patrick Palka
- Re: [PATCH 2/2] Simplify and extend VRP edge-assertion... Patrick Palka
- [PATCH] Look through widening type conversions for... Patrick Palka
- Re: [PATCH] Look through widening type convers... Richard Biener
- Re: [PATCH] Look through widening type con... Patrick Palka
- Re: [PATCH] Look through widening typ... Richard Biener
- Re: [PATCH] Look through widening... Patrick Palka
- Re: [PATCH] Look through wide... Richard Biener
- Re: [PATCH] Look through wide... Patrick Palka
- Re: [PATCH] Look through wide... Richard Biener
- Re: [PATCH] Look through wide... Patrick Palka
- Re: [PATCH 2/2] Simplify and extend VRP edge-assertion... Richard Biener