]> granicus.if.org Git - clang/commit
Implement the lvalue-to-rvalue conversion where needed. The
authorDouglas Gregor <dgregor@apple.com>
Wed, 3 Feb 2010 00:27:59 +0000 (00:27 +0000)
committerDouglas Gregor <dgregor@apple.com>
Wed, 3 Feb 2010 00:27:59 +0000 (00:27 +0000)
commita873dfc9e7314681bb37efd9ab185045de121e43
treedaf26e6ef55f2408e3a8f421914ae76e5e089873
parent2f764f11f513c7b51c716fffa5d02e5de816836f
Implement the lvalue-to-rvalue conversion where needed. The
lvalue-to-rvalue conversion adjusts lvalues of qualified, non-class
type to rvalue expressions of the unqualified variant of that
type. For example, given:

  const int i;
  (void)(i + 17);

the lvalue-to-rvalue conversion for the subexpression "i" will turn it
from an lvalue expression (a DeclRefExpr) with type 'const int' into
an rvalue expression with type 'int'. Both C and C++ mandate this
conversion, and somehow we've slid through without implementing it.

We now have both DefaultFunctionArrayConversion and
DefaultFunctionArrayLvalueConversion, and which gets used depends on
whether we do the lvalue-to-rvalue conversion or not. Generally, we do
the lvalue-to-rvalue conversion, but there are a few notable
exceptions:
  - the left-hand side of a '.' operator
  - the left-hand side of an assignment
  - a C++ throw expression
  - a subscript expression that's subscripting a vector

Making this change exposed two issues with blocks:
  - we were deducing const-qualified return types of non-class type
  from a block return, which doesn't fit well
  - we weren't always setting the known return type of a block when it
  was provided with the ^return-type syntax

Fixes the current Clang-on-Clang compile failure and PR6076.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95167 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Sema/Sema.h
lib/Sema/SemaCXXCast.cpp
lib/Sema/SemaCodeComplete.cpp
lib/Sema/SemaExpr.cpp
lib/Sema/SemaExprCXX.cpp
lib/Sema/SemaExprObjC.cpp
lib/Sema/SemaStmt.cpp
test/Sema/block-return.c
test/SemaCXX/comma.cpp [new file with mode: 0644]
test/SemaCXX/enum.cpp
test/SemaCXX/reinterpret-cast.cpp