infer_clone/infer/tests/codetoanalyze/cpp/frontend/reference/unbox.cpp

/*
 * Copyright (c) 2015 - present Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under the BSD style license found in the
 * LICENSE file in the root directory of this source tree. An additional grant
 * of patent rights can be found in the PATENTS file in the same directory.
 */

int fun_p(int* p) { return *p; }
int fun_v(int p) { return p; }
int fun_r(int& p) { return p; }

// cfgs should look similar for unbox_ref and unbox_ptr

// test conversions from int& to {int*, int, int&)
void unbox_ref() {
  int a = 3;
  int& r = a;

  fun_p(&r);
  fun_v(r);
  fun_r(r);
}

// test conversions from int* to {int*, int, int&)
void unbox_ptr() {
  int a = 3;
  int* p = &a;

  fun_p(p);
  fun_v(*p);
  fun_r(*p);
}