| 177 | return a > b ? a : b; |
| 178 | } |
| 179 | static void mergeExit ( SuperCount & out, int lo, int hi ) { |
| 180 | if ( !out.hasExits ) { out.hasExits = true; out.exitLo = lo; out.exitHi = hi; } |
| 181 | else { out.exitLo = (lo < out.exitLo) ? lo : out.exitLo; out.exitHi = safeMax(hi, out.exitHi); } |
| 182 | } |
| 183 | // CFG-agnostic scan: any matching super call anywhere in this subtree? |
| 184 | // Used at loop boundaries to defend against paths that countSuperCalls collapses |
| 185 | // via break/continue/goto (those terminate dead() and erase prefix super counts on |
no test coverage detected