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