int f() {
  int i;
  int j;
  int k;
  int *ip = &i;
  j = 2
  for (k = 0; k < 10; ++k) {
    g(ip);
    j += i;
  }
  return j;
}

Example 4: Unaddressed variables can never be aliased.