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)
commitb1312a549567db37da26c19b53439b6b05b1e0e5
tree578aea6b8eb7db7798caaa0c8cac96d6b9fb9515
parent9448e8594f3b2b5316d1253785dae0956f508cce
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>

llvm-svn: 179250
clang/include/clang/Sema/Initialization.h
clang/lib/AST/ExprConstant.cpp
clang/lib/CodeGen/CGExpr.cpp
clang/lib/Sema/SemaInit.cpp
clang/test/Analysis/reference.cpp
clang/test/CXX/dcl.decl/dcl.init/dcl.init.ref/p5-0x.cpp