( ReturnNode ret )
| 233 | } |
| 234 | |
| 235 | private static String exit( ReturnNode ret ) { |
| 236 | return prettyPrint(ret.expr()._type,val(ret.expr())); |
| 237 | } |
| 238 | |
| 239 | // Take a worklist step: one data op from the current Control is updated. |
| 240 | private static void step(Node n, SB trace) { |