2. __attribute__((noinline)) int abc (int *a) 3. { 4. int ret = 0; 5. 6. if (x > 0) 7. ret += *a; 8. else 9. a++; 10. 11. ret += *a; 12. return ret; 13 }
In terms of jumpiness, without the patch, the jump sequence is: 2 -> 13 -> 4 -> 11 -> 13 With the patch, the jump sequence is: 2-> 9 -> 4 -> 11 -> 13 I think the patch does not increase the jumpiness, while it significantly improves coverage. Thanks, Dehao