data flow analysis between loops