Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Ted Kremenek | 4774b4d | 2007-08-17 22:17:23 +0000 | [diff] [blame] | 2 | |
Ted Kremenek | 4774b4d | 2007-08-17 22:17:23 +0000 | [diff] [blame] | 3 | int* ret_local() { |
| 4 | int x = 1; |
| 5 | return &x; // expected-warning {{address of stack memory}} |
| 6 | } |
| 7 | |
| 8 | int* ret_local_array() { |
| 9 | int x[10]; |
| 10 | return x; // expected-warning {{address of stack memory}} |
| 11 | } |
| 12 | |
| 13 | int* ret_local_array_element(int i) { |
| 14 | int x[10]; |
| 15 | return &x[i]; // expected-warning {{address of stack memory}} |
| 16 | } |
| 17 | |
| 18 | int *ret_local_array_element_reversed(int i) { |
| 19 | int x[10]; |
| 20 | return &i[x]; // expected-warning {{address of stack memory}} |
| 21 | } |
| 22 | |
| 23 | int* ret_local_array_element_const_index() { |
| 24 | int x[10]; |
| 25 | return &x[2]; // expected-warning {{address of stack memory}} |
| 26 | } |
| 27 | |
| 28 | int& ret_local_ref() { |
| 29 | int x = 1; |
| 30 | return x; // expected-warning {{reference to stack memory}} |
| 31 | } |
| 32 | |
| 33 | int* ret_local_addrOf() { |
| 34 | int x = 1; |
| 35 | return &*&x; // expected-warning {{address of stack memory}} |
| 36 | } |
| 37 | |
| 38 | int* ret_local_addrOf_paren() { |
| 39 | int x = 1; |
| 40 | return (&(*(&x))); // expected-warning {{address of stack memory}} |
| 41 | } |
| 42 | |
| 43 | int* ret_local_addrOf_ptr_arith() { |
| 44 | int x = 1; |
| 45 | return &*(&x+1); // expected-warning {{address of stack memory}} |
| 46 | } |
| 47 | |
| 48 | int* ret_local_addrOf_ptr_arith2() { |
| 49 | int x = 1; |
| 50 | return &*(&x+1); // expected-warning {{address of stack memory}} |
| 51 | } |
| 52 | |
| 53 | int* ret_local_field() { |
| 54 | struct { int x; } a; |
| 55 | return &a.x; // expected-warning {{address of stack memory}} |
| 56 | } |
| 57 | |
| 58 | int& ret_local_field_ref() { |
| 59 | struct { int x; } a; |
| 60 | return a.x; // expected-warning {{reference to stack memory}} |
| 61 | } |
| 62 | |
| 63 | int* ret_conditional(bool cond) { |
| 64 | int x = 1; |
| 65 | int y = 2; |
| 66 | return cond ? &x : &y; // expected-warning {{address of stack memory}} |
| 67 | } |
| 68 | |
| 69 | int* ret_conditional_rhs(int *x, bool cond) { |
| 70 | int y = 1; |
| 71 | return cond ? x : &y; // expected-warning {{address of stack memory}} |
| 72 | } |
| 73 | |
| 74 | void* ret_c_cast() { |
| 75 | int x = 1; |
| 76 | return (void*) &x; // expected-warning {{address of stack memory}} |
| 77 | } |
| 78 | |
| 79 | int* ret_static_var() { |
| 80 | static int x = 1; |
| 81 | return &x; // no warning. |
| 82 | } |
| 83 | |
| 84 | int z = 1; |
| 85 | |
| 86 | int* ret_global() { |
| 87 | return &z; // no warning. |
Ted Kremenek | f8f9517 | 2007-08-20 16:28:05 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | int* ret_parameter(int x) { |
| 91 | return &x; // expected-warning {{address of stack memory}} |
| 92 | } |
| 93 | |
| 94 | |
Sebastian Redl | 8b3f6b5 | 2008-10-27 16:34:21 +0000 | [diff] [blame] | 95 | void* ret_cpp_static_cast(short x) { |
| 96 | return static_cast<void*>(&x); // expected-warning {{address of stack memory}} |
Ted Kremenek | f8f9517 | 2007-08-20 16:28:05 +0000 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | int* ret_cpp_reinterpret_cast(double x) { |
| 100 | return reinterpret_cast<int*>(&x); // expected-warning {{address of stack me}} |
| 101 | } |
| 102 | |
Sebastian Redl | 8b3f6b5 | 2008-10-27 16:34:21 +0000 | [diff] [blame] | 103 | int* ret_cpp_reinterpret_cast_no_warning(long x) { |
Ted Kremenek | f8f9517 | 2007-08-20 16:28:05 +0000 | [diff] [blame] | 104 | return reinterpret_cast<int*>(x); // no-warning |
| 105 | } |
| 106 | |
Chris Lattner | 868d08f | 2008-01-31 06:06:29 +0000 | [diff] [blame] | 107 | int* ret_cpp_const_cast(const int x) { |
Ted Kremenek | f8f9517 | 2007-08-20 16:28:05 +0000 | [diff] [blame] | 108 | return const_cast<int*>(&x); // expected-warning {{address of stack memory}} |
| 109 | } |
| 110 | |
Ted Kremenek | a423e81 | 2010-09-02 01:12:13 +0000 | [diff] [blame] | 111 | // PR 7999 - handle the case where a field is itself a reference. |
| 112 | template <typename T> struct PR7999 { |
| 113 | PR7999(T& t) : value(t) {} |
| 114 | T& value; |
| 115 | }; |
| 116 | |
| 117 | struct PR7999_X {}; |
| 118 | |
| 119 | PR7999_X& PR7999_f(PR7999<PR7999_X> s) { return s.value; } // no-warning |
| 120 | void test_PR7999(PR7999_X& x) { (void)PR7999_f(x); } // no-warning |
| 121 | |
Chandler Carruth | e7f8504 | 2010-12-13 07:40:47 +0000 | [diff] [blame] | 122 | // PR 8774: Don't try to evaluate parameters with default arguments like |
| 123 | // variables with an initializer, especially in templates where the default |
| 124 | // argument may not be an expression (yet). |
| 125 | namespace PR8774 { |
Chandler Carruth | e7f8504 | 2010-12-13 07:40:47 +0000 | [diff] [blame] | 126 | template <typename U> struct B { }; |
| 127 | template <typename V> V f(typename B<V>::type const &v = B<V>::value()) { |
| 128 | return v; |
| 129 | } |
| 130 | template <> struct B<const char *> { |
| 131 | typedef const char *type; |
| 132 | static const char *value(); |
| 133 | }; |
| 134 | void g() { |
| 135 | const char *t; |
| 136 | f<const char*>(t); |
| 137 | } |
| 138 | } |
| 139 | |
Ted Kremenek | f8f9517 | 2007-08-20 16:28:05 +0000 | [diff] [blame] | 140 | // TODO: test case for dynamic_cast. clang does not yet have |
Ted Kremenek | 9f3d942 | 2007-09-26 20:14:22 +0000 | [diff] [blame] | 141 | // support for C++ classes to write such a test case. |