summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IRReader/IRReader.cpp
diff options
context:
space:
mode:
authorDavid Blaikie <dblaikie@gmail.com>2014-09-03 17:31:25 +0000
committerDavid Blaikie <dblaikie@gmail.com>2014-09-03 17:31:25 +0000
commit99b96f42d6d3609d706fb38a85abee2e7127d304 (patch)
treecf74079bce119c6be0a4f341d2a51a4f97242bee /llvm/lib/IRReader/IRReader.cpp
parentf1d2fc657b91e0328e04890fa64dbc643602a9c6 (diff)
downloadbcm5719-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
OpenPOWER on IntegriCloud