maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
256,072 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

10 Commits

Author SHA1 Message Date
Richard Smith 836a3b416d PR31606: Generalize our tentative DR resolution for inheriting copy/move 
constructors to better match the pre-P0136R1 behavior.

llvm-svn: 291955
 2017-01-13 20:46:54 +00:00
Richard Smith f9c59b7122 PR30305: Implement proposed DR resolution to prevent slicing via inherited constructor. 
The rule we use is that a construction of a class type T from an argument of
type U cannot use an inherited constructor if U is the same as T or is derived
from T (or if the initialization would first convert it to such a type). This
(approximately) matches the rule in use by GCC, and matches the current proposed
DR resolution.

llvm-svn: 291403
 2017-01-08 21:45:44 +00:00
Richard Smith 5179eb7821 P0136R1, DR1573, DR1645, DR1715, DR1736, DR1903, DR1941, DR1959, DR1991: 
Replace inheriting constructors implementation with new approach, voted into
C++ last year as a DR against C++11.

Instead of synthesizing a set of derived class constructors for each inherited
base class constructor, we make the constructors of the base class visible to
constructor lookup in the derived class, using the normal rules for
using-declarations.

For constructors, UsingShadowDecl now has a ConstructorUsingShadowDecl derived
class that tracks the requisite additional information. We create shadow
constructors (not found by name lookup) in the derived class to model the
actual initialization, and have a new expression node,
CXXInheritedCtorInitExpr, to model the initialization of a base class from such
a constructor. (This initialization is special because it performs real perfect
forwarding of arguments.)

In cases where argument forwarding is not possible (for inalloca calls,
variadic calls, and calls with callee parameter cleanup), the shadow inheriting
constructor is not emitted and instead we directly emit the initialization code
into the caller of the inherited constructor.

Note that this new model is not perfectly compatible with the old model in some
corner cases. In particular:
 * if B inherits a private constructor from A, and C uses that constructor to
   construct a B, then we previously required that A befriends B and B
   befriends C, but the new rules require A to befriend C directly, and
 * if a derived class has its own constructors (and so its implicit default
   constructor is suppressed), it may still inherit a default constructor from
   a base class

llvm-svn: 274049
 2016-06-28 19:03:57 +00:00
Richard Smith 88fe69ce21 DR1909: Diagnose all invalid cases of a class member sharing its name with the class. 
llvm-svn: 241425
 2015-07-06 01:45:27 +00:00
David Majnemer 12d3783add Mark DR1940 as implemented 
llvm-svn: 229829
 2015-02-19 07:29:01 +00:00
David Majnemer 6440548434 Mark DR1947 as implemented 
llvm-svn: 229828
 2015-02-19 07:28:57 +00:00
David Majnemer 7da2302780 Mark DR1948 as implemented 
llvm-svn: 229827
 2015-02-19 07:28:55 +00:00
David Majnemer 54dc82e1d2 Mark DR1994 as a duplicate of DR529 
llvm-svn: 229826
 2015-02-19 07:28:52 +00:00
David Majnemer 2dbad01349 Mark DR1968 as implemented 
llvm-svn: 229825
 2015-02-19 07:28:49 +00:00
Richard Smith 48372b68fe DR1902: if overload resolution recurses, and the inner overload resolution 
selects a deleted function, the outer function is still a candidate even though
the initialization sequence is "otherwise ill-formed".

llvm-svn: 227169
 2015-01-27 03:30:40 +00:00