misc-ps-region-store.mm revision cdc3a89d5de90b2299c56f4a46c3de590c5184d1 
1// RUN: %clang_cc1 -triple i386-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify -fblocks -analyzer-opt-analyze-nested-blocks %s
2// RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify -fblocks   -analyzer-opt-analyze-nested-blocks %s
3
4//===------------------------------------------------------------------------------------------===//
5// This files tests our path-sensitive handling of Objective-c++ files.
6//===------------------------------------------------------------------------------------------===//
7
8// Test basic handling of references.
9char &test1_aux();
10char *test1() {
11  return &test1_aux();
12}
13
14// Test test1_aux() evaluates to char &.
15char test1_as_rvalue() {
16  return test1_aux();
17}
18
19// Test basic handling of references with Objective-C classes.
20@interface Test1
21- (char&) foo;
22@end
23
24char* Test1_harness(Test1 *p) {
25  return &[p foo];
26}
27
28char Test1_harness_b(Test1 *p) {
29  return [p foo];
30}
31
32// Basic test of C++ references with Objective-C pointers.
33@interface RDar10569024
34@property(readonly) int x;
35@end
36
37typedef RDar10569024* RDar10569024Ref;
38
39void rdar10569024_aux(RDar10569024Ref o);
40
41int rdar10569024(id p, id collection) {
42  for (id elem in collection) {
43    const RDar10569024Ref &o = (RDar10569024Ref) elem;
44    rdar10569024_aux(o); // no-warning
45    return o.x; // no-warning
46  }
47  return 0;
48}
49