Re: [PATCH] Update source location for PRE inserted stmt

[Dehao Chen]

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