On Sat, Jan 14, 2017 at 10:52:04PM -0700, Jeff Law wrote: > >>In this case is the edge a fallthru or branch edge? > > > >Both! You get only one edge if both jump targets are the same. > Right. To be more precise, my question was does it have EDGE_FALLTHRU > set?
Yes: succ: 6 [92.5%] (FALLTHRU,DFS_BACK,CAN_FALLTHRU) Just after doloop created it it was two edges. After fwprop it is just one. outof_cfglayout makes it two again (to different targets). bbro makes it one yet again. Segher
