I found there to be issues with loops where the body of the loop is not connected to either the state before or after.
This PR provides a simple test case that illustrates the problem.
The user_data_ref variable isn't even found in the PDG at all and I believe neither is the call to push (the latter I only verified in the virtually identical Paralegal test case where I could dump both the PDG and the MIR to check which location corresponded to the call).
I found there to be issues with loops where the body of the loop is not connected to either the state before or after.
This PR provides a simple test case that illustrates the problem.
The
user_data_refvariable isn't even found in the PDG at all and I believe neither is the call topush(the latter I only verified in the virtually identical Paralegal test case where I could dump both the PDG and the MIR to check which location corresponded to the call).