]> granicus.if.org Git - clang/commit
Force a load when creating a reference to a temporary copied from a bitfield.
authorJordan Rose <jordan_rose@apple.com>
Thu, 11 Apr 2013 00:58:58 +0000 (00:58 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 11 Apr 2013 00:58:58 +0000 (00:58 +0000)
commit1fd1e288d0f45b86d191d8f53f569e5143f3a18a
tree7f6542a8aec6cf3aee037e976843c2449c1b47b4
parent9ae7a92009c468d01d233e6a9f37ab04946864f9
Force a load when creating a reference to a temporary copied from a bitfield.

For this source:
  const int &ref = someStruct.bitfield;

We used to generate this AST:

  DeclStmt [...]
  `-VarDecl [...] ref 'const int &'
    `-MaterializeTemporaryExpr [...] 'const int' lvalue
      `-ImplicitCastExpr [...] 'const int' lvalue <NoOp>
        `-MemberExpr [...] 'int' lvalue bitfield .bitfield [...]
          `-DeclRefExpr [...] 'struct X' lvalue ParmVar [...] 'someStruct' 'struct X'

Notice the lvalue inside the MaterializeTemporaryExpr, which is very
confusing (and caused an assertion to fire in the analyzer - PR15694).

We now generate this:

  DeclStmt [...]
  `-VarDecl [...] ref 'const int &'
    `-MaterializeTemporaryExpr [...] 'const int' lvalue
      `-ImplicitCastExpr [...] 'int' <LValueToRValue>
        `-MemberExpr [...] 'int' lvalue bitfield .bitfield [...]
          `-DeclRefExpr [...] 'struct X' lvalue ParmVar [...] 'someStruct' 'struct X'

Which makes a lot more sense. This allows us to remove code in both
CodeGen and AST that hacked around this special case.

The commit also makes Clang accept this (legal) C++11 code:

  int &&ref = std::move(someStruct).bitfield

PR15694 / <rdar://problem/13600396>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179250 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Sema/Initialization.h
lib/AST/ExprConstant.cpp
lib/CodeGen/CGExpr.cpp
lib/Sema/SemaInit.cpp
test/Analysis/reference.cpp
test/CXX/dcl.decl/dcl.init/dcl.init.ref/p5-0x.cpp