misc-ps-region-store.cpp revision 910e4080986045cc2036f8d1f55398acc7fbb257
1d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenek// RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -fblocks -analyzer-opt-analyze-nested-blocks %s
2d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenek// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify -fblocks   -analyzer-opt-analyze-nested-blocks %s
3d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenek
453287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenek// Test basic handling of references.
5d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenekchar &test1_aux();
6d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenekchar *test1() {
7d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenek  return &test1_aux();
8d87682ed3c3e5d748d13a5c4f1cbb267aa756b31Ted Kremenek}
953287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenek
10910e4080986045cc2036f8d1f55398acc7fbb257Zhongxing Xu// Test test1_aux() evaluates to char &.
1153287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenekchar test1_as_rvalue() {
1253287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenek  return test1_aux();
1353287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenek}
1453287518f69b8f06f82a6cdbd13e4e3a13b58186Ted Kremenek
15