summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Object/SymbolicFile.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/Object/SymbolicFile.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/Object/SymbolicFile.cpp')
-rw-r--r--llvm/lib/Object/SymbolicFile.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Object/SymbolicFile.cpp b/llvm/lib/Object/SymbolicFile.cpp
index f8dd4b33a39..17624a307ec 100644
--- a/llvm/lib/Object/SymbolicFile.cpp
+++ b/llvm/lib/Object/SymbolicFile.cpp
@@ -33,7 +33,8 @@ ErrorOr<std::unique_ptr<SymbolicFile>> SymbolicFile::createSymbolicFile(
switch (Type) {
case sys::fs::file_magic::bitcode:
if (Context)
- return IRObjectFile::createIRObjectFile(Object, *Context);
+ return ErrorOr<std::unique_ptr<SymbolicFile>>(
+ IRObjectFile::createIRObjectFile(Object, *Context));
// Fallthrough
case sys::fs::file_magic::unknown:
case sys::fs::file_magic::archive:
OpenPOWER on IntegriCloud