24cdcadcc5
Summary: When a variable is named in a context where we can't directly emit a reference to it (because we don't know for sure that it's going to be defined, or it's from an enclosing function and not captured, or the reference might not "work" for some reason), we emit a copy of the variable as a global and use that for the known-to-be-read-only access. This reinstates r363295, reverted in r363352, with a fix for PR42276: we now produce a proper name for a non-odr-use reference to a static constexpr data member. The name <mangled-name>.const is used in that case; such names are reserved to the implementation for cases such as this and should demangle nicely. Reviewers: rjmccall Subscribers: jdoerfert, cfe-commits Tags: #clang Differential Revision: https://reviews.llvm.org/D63157 llvm-svn: 363428
81 lines
2.3 KiB
C++
81 lines
2.3 KiB
C++
// RUN: %clang_cc1 -std=c++98 %s -Wno-unused -verify
|
|
// RUN: %clang_cc1 -std=c++11 %s -Wno-unused -verify
|
|
// RUN: %clang_cc1 -std=c++2a %s -Wno-unused -verify
|
|
|
|
void use(int);
|
|
|
|
void f() {
|
|
const int a = 1; // expected-note {{here}}
|
|
|
|
#if __cplusplus >= 201103L
|
|
constexpr int arr[3] = {1, 2, 3}; // expected-note 2{{here}}
|
|
|
|
struct S { int x; int f() const; };
|
|
constexpr S s = {0}; // expected-note 3{{here}}
|
|
constexpr S *ps = nullptr;
|
|
S *const &psr = ps; // expected-note 2{{here}}
|
|
#endif
|
|
|
|
struct Inner {
|
|
void test(int i) {
|
|
// id-expression
|
|
use(a);
|
|
|
|
#if __cplusplus >= 201103L
|
|
// subscripting operation with an array operand
|
|
use(arr[i]);
|
|
use(i[arr]);
|
|
use((+arr)[i]); // expected-error {{reference to local variable}}
|
|
use(i[+arr]); // expected-error {{reference to local variable}}
|
|
|
|
// class member access naming non-static data member
|
|
use(s.x);
|
|
use(s.f()); // expected-error {{reference to local variable}}
|
|
use((&s)->x); // expected-error {{reference to local variable}}
|
|
use(ps->x); // ok (lvalue-to-rvalue conversion applied to id-expression)
|
|
use(psr->x); // expected-error {{reference to local variable}}
|
|
|
|
// class member access naming a static data member
|
|
// FIXME: How to test this?
|
|
|
|
// pointer-to-member expression
|
|
use(s.*&S::x);
|
|
use((s.*&S::f)()); // expected-error {{reference to local variable}}
|
|
use(ps->*&S::x); // ok (lvalue-to-rvalue conversion applied to id-expression)
|
|
use(psr->*&S::x); // expected-error {{reference to local variable}}
|
|
#endif
|
|
|
|
// parentheses
|
|
use((a));
|
|
#if __cplusplus >= 201103L
|
|
use((s.x));
|
|
#endif
|
|
|
|
// glvalue conditional expression
|
|
use(i ? a : a);
|
|
use(i ? i : a);
|
|
|
|
// comma expression
|
|
use((i, a));
|
|
// FIXME: This is not an odr-use because it is a discarded-value
|
|
// expression applied to an expression whose potential result is 'a'.
|
|
use((a, a)); // expected-error {{reference to local variable}}
|
|
|
|
// (and combinations thereof)
|
|
use(a ? (i, a) : a);
|
|
#if __cplusplus >= 201103L
|
|
use(a ? (i, a) : arr[a ? s.x : arr[a]]);
|
|
#endif
|
|
}
|
|
};
|
|
}
|
|
|
|
// FIXME: Test that this behaves properly.
|
|
namespace std_example {
|
|
struct S { static const int x = 0, y = 0; };
|
|
const int &f(const int &r);
|
|
bool b;
|
|
int n = b ? (1, S::x)
|
|
: f(S::y);
|
|
}
|