You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-11-16T22:24:04Z
Thanks for the good test case.
This was caused by your outputs (rx & ry) never being used, not sure if you noticed that. Basically as it was optimizing away the if conditions it got confused by a resulting empty (NOP) if.
Original Redmine Comment
Author Name: Andrew Holme
Original Date: 2019-11-17T11:36:34Z
Thanks for fixing it. I had not attached any significance to them being unused; however, there are three instances of the affected module in our original code with differing parameterisation and they are indeed unused as you say in the troublesome instance which produced the error.
Author Name: Andrew Holme
Original Redmine Issue: 1604 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
The text was updated successfully, but these errors were encountered: