New loop unrolling heuristic: detect dimple loops with fixed iteration count
New loop unrolling heuristic: detect dimple loops with fixed iteration count

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer