1  static char * __attribute__((noinline))
       2  test_1_callee (int flag, char *a, char *b)
       3  {
       4    char *p;
       5    if (flag)
       6      p = a;
       7    else
       8      p = b;
       9    return p;
      10  }
      11  
      12  char test_1_caller(int flag) {
      13    char a = 42;
      14    char b = 43;
      15    return *test_1_callee(flag, &a, &b);
      16  }