diff options
author | David Blaikie <dblaikie@gmail.com> | 2014-09-03 17:31:25 +0000 |
---|---|---|
committer | David Blaikie <dblaikie@gmail.com> | 2014-09-03 17:31:25 +0000 |
commit | 99b96f42d6d3609d706fb38a85abee2e7127d304 (patch) | |
tree | cf74079bce119c6be0a4f341d2a51a4f97242bee /llvm/lib/IRReader/IRReader.cpp | |
parent | f1d2fc657b91e0328e04890fa64dbc643602a9c6 (diff) | |
download | bcm5719-llvm-99b96f42d6d3609d706fb38a85abee2e7127d304.tar.gz bcm5719-llvm-99b96f42d6d3609d706fb38a85abee2e7127d304.zip |
Ensure ErrorOr cannot implicitly invoke explicit ctors of the underlying type.
An unpleasant surprise while migrating unique_ptrs (see changes in
lib/Object): ErrorOr<int*> was implicitly convertible to
ErrorOr<std::unique_ptr<int>>.
Keep the explicit conversions otherwise it's a pain to convert
ErrorOr<int*> to ErrorOr<std::unique_ptr<int>>.
I'm not sure if there should be more SFINAE on those explicit ctors (I
could check if !is_convertible && is_constructible, but since the ctor
has to be called explicitly I don't think there's any need to disable
them when !is_constructible - they'll just fail anyway. It's the
converting ctors that can create interesting ambiguities without proper
SFINAE). I had to SFINAE the explicit ones because otherwise they'd be
ambiguous with the implicit ones in an explicit context, so far as I
could tell.
The converting assignment operators seemed unnecessary (and similarly
buggy/dangerous) - just rely on the converting ctors to convert to the
right type for assignment instead.
llvm-svn: 217048
Diffstat (limited to 'llvm/lib/IRReader/IRReader.cpp')
0 files changed, 0 insertions, 0 deletions