Implement initialization of a reference (C++ [dcl.init.ref]) as part

of copy initialization. Other pieces of the puzzle:

  - Try/Perform-ImplicitConversion now handles implicit conversions
    that don't involve references.
  - Try/Perform-CopyInitialization uses
    CheckSingleAssignmentConstraints for C. PerformCopyInitialization
    is now used for all argument passing and returning values from a
    function.
  - Diagnose errors with declaring references and const values without
    an initializer. (Uses a new Action callback, ActOnUninitializedDecl).
  
We do not yet have implicit conversion sequences for reference
binding, which means that we don't have any overloading support for
reference parameters yet.

llvm-svn: 58353
This commit is contained in:
Douglas Gregor
2008-10-29 00:13:59 +00:00
parent cc20455346
commit 8e1cf608dc
17 changed files with 483 additions and 72 deletions

View File

@@ -3,6 +3,8 @@
extern char *bork;
char *& bar = bork;
int val;
void foo(int &a) {
}
@@ -11,7 +13,7 @@ typedef int & A;
void g(const A aref) {
}
int & const X; // expected-error {{'const' qualifier may not be applied to a reference}}
int & volatile Y; // expected-error {{'volatile' qualifier may not be applied to a reference}}
int & const volatile Z; /* expected-error {{'const' qualifier may not be applied}} \
int & const X = val; // expected-error {{'const' qualifier may not be applied to a reference}}
int & volatile Y = val; // expected-error {{'volatile' qualifier may not be applied to a reference}}
int & const volatile Z = val; /* expected-error {{'const' qualifier may not be applied}} \
expected-error {{'volatile' qualifier may not be applied}} */