| Ted Kremenek | d87682e | 2009-12-17 01:44:13 +0000 | [diff] [blame] | 1 | // 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 |
| 2 | // 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 |
| Ted Kremenek | d87682e | 2009-12-17 01:44:13 +0000 | [diff] [blame] | 3 | |
| Ted Kremenek | 5328751 | 2009-12-18 20:13:39 +0000 | [diff] [blame] | 4 | // Test basic handling of references. |
| Ted Kremenek | d87682e | 2009-12-17 01:44:13 +0000 | [diff] [blame] | 5 | char &test1_aux(); |
| 6 | char *test1() { |
| 7 | return &test1_aux(); |
| 8 | } |
| Ted Kremenek | 5328751 | 2009-12-18 20:13:39 +0000 | [diff] [blame] | 9 | |
| Zhongxing Xu | 910e408 | 2009-12-19 03:17:55 +0000 | [diff] [blame] | 10 | // Test test1_aux() evaluates to char &. |
| Ted Kremenek | 5328751 | 2009-12-18 20:13:39 +0000 | [diff] [blame] | 11 | char test1_as_rvalue() { |
| 12 | return test1_aux(); |
| 13 | } |
| 14 | |
| Ted Kremenek | 949bdb4 | 2009-12-23 00:26:16 +0000 | [diff] [blame] | 15 | // Test passing a value as a reference. The 'const' in test2_aux() adds |
| 16 | // an ImplicitCastExpr, which is evaluated as an lvalue. |
| 17 | int test2_aux(const int &n); |
| 18 | int test2(int n) { |
| 19 | return test2_aux(n); |
| 20 | } |
| 21 | |
| 22 | int test2_b_aux(const short &n); |
| 23 | int test2_b(int n) { |
| 24 | return test2_b_aux(n); |
| 25 | } |