------- Additional Comments From dnovillo at gcc dot gnu dot org 2005-06-03 13:55 -------
The issue is that the propagator engine does not implement the concept of multiway branches taking some edges. It supports ONE, NONE or ALL. Frankly, I'm not at all convinced that this is worth handling. But if we were to handle it, the place to fix is the propagator engine. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14495
