The program crc contains 6 loops, all of them are context sensitive.

The number of iterations of the loops in the program is not input dependent.

Maximum no. of iterations per invocation for main_icrc1_L1 is 40, sum is 40
Maximum no. of iterations per invocation for main_icrc1_L2 is 256, sum is 256
Maximum no. of iterations per invocation for main_icrc1_L2_icrc1_L1 is 8, sum is 2048
Maximum no. of iterations per invocation for main_icrc2_L1 is 42, sum is 42
Maximum no. of iterations per invocation for main_icrc2_L2 is 0, sum is 0
Maximum no. of iterations per invocation for main_icrc2_L2_icrc1_L1 is 0, sum is 0