"for" loop unrolling
Detected in build:
Published in build:
The problem is related to undefined number of iterations of "for" loops.
In Retrascope it comes to the necessity to calculate it with the help of the external SMT solver.