13ca95b02SDimitry Andric //===----- lib/Support/Error.cpp - Error and associated utilities ---------===//
23ca95b02SDimitry Andric //
33ca95b02SDimitry Andric //                     The LLVM Compiler Infrastructure
43ca95b02SDimitry Andric //
53ca95b02SDimitry Andric // This file is distributed under the University of Illinois Open Source
63ca95b02SDimitry Andric // License. See LICENSE.TXT for details.
73ca95b02SDimitry Andric //
83ca95b02SDimitry Andric //===----------------------------------------------------------------------===//
93ca95b02SDimitry Andric 
103ca95b02SDimitry Andric #include "llvm/Support/Error.h"
113ca95b02SDimitry Andric #include "llvm/ADT/Twine.h"
123ca95b02SDimitry Andric #include "llvm/Support/ErrorHandling.h"
133ca95b02SDimitry Andric #include "llvm/Support/ManagedStatic.h"
14d88c1a5aSDimitry Andric #include <system_error>
153ca95b02SDimitry Andric 
163ca95b02SDimitry Andric using namespace llvm;
173ca95b02SDimitry Andric 
183ca95b02SDimitry Andric namespace {
193ca95b02SDimitry Andric 
203ca95b02SDimitry Andric   enum class ErrorErrorCode : int {
213ca95b02SDimitry Andric     MultipleErrors = 1,
22*b5893f02SDimitry Andric     FileError,
233ca95b02SDimitry Andric     InconvertibleError
243ca95b02SDimitry Andric   };
253ca95b02SDimitry Andric 
263ca95b02SDimitry Andric   // FIXME: This class is only here to support the transition to llvm::Error. It
273ca95b02SDimitry Andric   // will be removed once this transition is complete. Clients should prefer to
283ca95b02SDimitry Andric   // deal with the Error value directly, rather than converting to error_code.
293ca95b02SDimitry Andric   class ErrorErrorCategory : public std::error_category {
303ca95b02SDimitry Andric   public:
name() const31d88c1a5aSDimitry Andric     const char *name() const noexcept override { return "Error"; }
323ca95b02SDimitry Andric 
message(int condition) const333ca95b02SDimitry Andric     std::string message(int condition) const override {
343ca95b02SDimitry Andric       switch (static_cast<ErrorErrorCode>(condition)) {
353ca95b02SDimitry Andric       case ErrorErrorCode::MultipleErrors:
363ca95b02SDimitry Andric         return "Multiple errors";
373ca95b02SDimitry Andric       case ErrorErrorCode::InconvertibleError:
383ca95b02SDimitry Andric         return "Inconvertible error value. An error has occurred that could "
393ca95b02SDimitry Andric                "not be converted to a known std::error_code. Please file a "
403ca95b02SDimitry Andric                "bug.";
41*b5893f02SDimitry Andric       case ErrorErrorCode::FileError:
42*b5893f02SDimitry Andric           return "A file error occurred.";
433ca95b02SDimitry Andric       }
443ca95b02SDimitry Andric       llvm_unreachable("Unhandled error code");
453ca95b02SDimitry Andric     }
463ca95b02SDimitry Andric   };
473ca95b02SDimitry Andric 
483ca95b02SDimitry Andric }
493ca95b02SDimitry Andric 
503ca95b02SDimitry Andric static ManagedStatic<ErrorErrorCategory> ErrorErrorCat;
513ca95b02SDimitry Andric 
523ca95b02SDimitry Andric namespace llvm {
533ca95b02SDimitry Andric 
anchor()543ca95b02SDimitry Andric void ErrorInfoBase::anchor() {}
553ca95b02SDimitry Andric char ErrorInfoBase::ID = 0;
563ca95b02SDimitry Andric char ErrorList::ID = 0;
anchor()57*b5893f02SDimitry Andric void ECError::anchor() {}
583ca95b02SDimitry Andric char ECError::ID = 0;
593ca95b02SDimitry Andric char StringError::ID = 0;
60*b5893f02SDimitry Andric char FileError::ID = 0;
613ca95b02SDimitry Andric 
logAllUnhandledErrors(Error E,raw_ostream & OS,Twine ErrorBanner)623ca95b02SDimitry Andric void logAllUnhandledErrors(Error E, raw_ostream &OS, Twine ErrorBanner) {
633ca95b02SDimitry Andric   if (!E)
643ca95b02SDimitry Andric     return;
653ca95b02SDimitry Andric   OS << ErrorBanner;
663ca95b02SDimitry Andric   handleAllErrors(std::move(E), [&](const ErrorInfoBase &EI) {
673ca95b02SDimitry Andric     EI.log(OS);
683ca95b02SDimitry Andric     OS << "\n";
693ca95b02SDimitry Andric   });
703ca95b02SDimitry Andric }
713ca95b02SDimitry Andric 
723ca95b02SDimitry Andric 
convertToErrorCode() const733ca95b02SDimitry Andric std::error_code ErrorList::convertToErrorCode() const {
743ca95b02SDimitry Andric   return std::error_code(static_cast<int>(ErrorErrorCode::MultipleErrors),
753ca95b02SDimitry Andric                          *ErrorErrorCat);
763ca95b02SDimitry Andric }
773ca95b02SDimitry Andric 
inconvertibleErrorCode()783ca95b02SDimitry Andric std::error_code inconvertibleErrorCode() {
793ca95b02SDimitry Andric   return std::error_code(static_cast<int>(ErrorErrorCode::InconvertibleError),
803ca95b02SDimitry Andric                          *ErrorErrorCat);
813ca95b02SDimitry Andric }
823ca95b02SDimitry Andric 
convertToErrorCode() const83*b5893f02SDimitry Andric std::error_code FileError::convertToErrorCode() const {
84*b5893f02SDimitry Andric   return std::error_code(static_cast<int>(ErrorErrorCode::FileError),
85*b5893f02SDimitry Andric                          *ErrorErrorCat);
86*b5893f02SDimitry Andric }
87*b5893f02SDimitry Andric 
errorCodeToError(std::error_code EC)883ca95b02SDimitry Andric Error errorCodeToError(std::error_code EC) {
893ca95b02SDimitry Andric   if (!EC)
903ca95b02SDimitry Andric     return Error::success();
913ca95b02SDimitry Andric   return Error(llvm::make_unique<ECError>(ECError(EC)));
923ca95b02SDimitry Andric }
933ca95b02SDimitry Andric 
errorToErrorCode(Error Err)943ca95b02SDimitry Andric std::error_code errorToErrorCode(Error Err) {
953ca95b02SDimitry Andric   std::error_code EC;
963ca95b02SDimitry Andric   handleAllErrors(std::move(Err), [&](const ErrorInfoBase &EI) {
973ca95b02SDimitry Andric     EC = EI.convertToErrorCode();
983ca95b02SDimitry Andric   });
993ca95b02SDimitry Andric   if (EC == inconvertibleErrorCode())
1003ca95b02SDimitry Andric     report_fatal_error(EC.message());
1013ca95b02SDimitry Andric   return EC;
1023ca95b02SDimitry Andric }
1033ca95b02SDimitry Andric 
1042cab237bSDimitry Andric #if LLVM_ENABLE_ABI_BREAKING_CHECKS
fatalUncheckedError() const1052cab237bSDimitry Andric void Error::fatalUncheckedError() const {
1062cab237bSDimitry Andric   dbgs() << "Program aborted due to an unhandled Error:\n";
1072cab237bSDimitry Andric   if (getPtr())
1082cab237bSDimitry Andric     getPtr()->log(dbgs());
1092cab237bSDimitry Andric   else
1102cab237bSDimitry Andric     dbgs() << "Error value was Success. (Note: Success values must still be "
1112cab237bSDimitry Andric               "checked prior to being destroyed).\n";
1122cab237bSDimitry Andric   abort();
1132cab237bSDimitry Andric }
1142cab237bSDimitry Andric #endif
1152cab237bSDimitry Andric 
StringError(std::error_code EC,const Twine & S)116*b5893f02SDimitry Andric StringError::StringError(std::error_code EC, const Twine &S)
1173ca95b02SDimitry Andric     : Msg(S.str()), EC(EC) {}
1183ca95b02SDimitry Andric 
StringError(const Twine & S,std::error_code EC)119*b5893f02SDimitry Andric StringError::StringError(const Twine &S, std::error_code EC)
120*b5893f02SDimitry Andric     : Msg(S.str()), EC(EC), PrintMsgOnly(true) {}
121*b5893f02SDimitry Andric 
log(raw_ostream & OS) const122*b5893f02SDimitry Andric void StringError::log(raw_ostream &OS) const {
123*b5893f02SDimitry Andric   if (PrintMsgOnly) {
124*b5893f02SDimitry Andric     OS << Msg;
125*b5893f02SDimitry Andric   } else {
126*b5893f02SDimitry Andric     OS << EC.message();
127*b5893f02SDimitry Andric     if (!Msg.empty())
128*b5893f02SDimitry Andric       OS << (" " + Msg);
129*b5893f02SDimitry Andric   }
130*b5893f02SDimitry Andric }
1313ca95b02SDimitry Andric 
convertToErrorCode() const1323ca95b02SDimitry Andric std::error_code StringError::convertToErrorCode() const {
1333ca95b02SDimitry Andric   return EC;
1343ca95b02SDimitry Andric }
1353ca95b02SDimitry Andric 
createStringError(std::error_code EC,char const * Msg)1364ba319b5SDimitry Andric Error createStringError(std::error_code EC, char const *Msg) {
1374ba319b5SDimitry Andric   return make_error<StringError>(Msg, EC);
1384ba319b5SDimitry Andric }
1394ba319b5SDimitry Andric 
report_fatal_error(Error Err,bool GenCrashDiag)1403ca95b02SDimitry Andric void report_fatal_error(Error Err, bool GenCrashDiag) {
1413ca95b02SDimitry Andric   assert(Err && "report_fatal_error called with success value");
1423ca95b02SDimitry Andric   std::string ErrMsg;
1433ca95b02SDimitry Andric   {
1443ca95b02SDimitry Andric     raw_string_ostream ErrStream(ErrMsg);
145*b5893f02SDimitry Andric     logAllUnhandledErrors(std::move(Err), ErrStream);
1463ca95b02SDimitry Andric   }
1473ca95b02SDimitry Andric   report_fatal_error(ErrMsg);
1483ca95b02SDimitry Andric }
1493ca95b02SDimitry Andric 
150*b5893f02SDimitry Andric } // end namespace llvm
151*b5893f02SDimitry Andric 
LLVMGetErrorTypeId(LLVMErrorRef Err)152*b5893f02SDimitry Andric LLVMErrorTypeId LLVMGetErrorTypeId(LLVMErrorRef Err) {
153*b5893f02SDimitry Andric   return reinterpret_cast<ErrorInfoBase *>(Err)->dynamicClassID();
154*b5893f02SDimitry Andric }
155*b5893f02SDimitry Andric 
LLVMConsumeError(LLVMErrorRef Err)156*b5893f02SDimitry Andric void LLVMConsumeError(LLVMErrorRef Err) { consumeError(unwrap(Err)); }
157*b5893f02SDimitry Andric 
LLVMGetErrorMessage(LLVMErrorRef Err)158*b5893f02SDimitry Andric char *LLVMGetErrorMessage(LLVMErrorRef Err) {
159*b5893f02SDimitry Andric   std::string Tmp = toString(unwrap(Err));
160*b5893f02SDimitry Andric   char *ErrMsg = new char[Tmp.size() + 1];
161*b5893f02SDimitry Andric   memcpy(ErrMsg, Tmp.data(), Tmp.size());
162*b5893f02SDimitry Andric   ErrMsg[Tmp.size()] = '\0';
163*b5893f02SDimitry Andric   return ErrMsg;
164*b5893f02SDimitry Andric }
165*b5893f02SDimitry Andric 
LLVMDisposeErrorMessage(char * ErrMsg)166*b5893f02SDimitry Andric void LLVMDisposeErrorMessage(char *ErrMsg) { delete[] ErrMsg; }
167*b5893f02SDimitry Andric 
LLVMGetStringErrorTypeId()168*b5893f02SDimitry Andric LLVMErrorTypeId LLVMGetStringErrorTypeId() {
169*b5893f02SDimitry Andric   return reinterpret_cast<void *>(&StringError::ID);
1703ca95b02SDimitry Andric }
171d88c1a5aSDimitry Andric 
172d88c1a5aSDimitry Andric #ifndef _MSC_VER
173d88c1a5aSDimitry Andric namespace llvm {
174d88c1a5aSDimitry Andric 
175d88c1a5aSDimitry Andric // One of these two variables will be referenced by a symbol defined in
176d88c1a5aSDimitry Andric // llvm-config.h. We provide a link-time (or load time for DSO) failure when
177d88c1a5aSDimitry Andric // there is a mismatch in the build configuration of the API client and LLVM.
178d88c1a5aSDimitry Andric #if LLVM_ENABLE_ABI_BREAKING_CHECKS
179d88c1a5aSDimitry Andric int EnableABIBreakingChecks;
180d88c1a5aSDimitry Andric #else
181d88c1a5aSDimitry Andric int DisableABIBreakingChecks;
182d88c1a5aSDimitry Andric #endif
183d88c1a5aSDimitry Andric 
184d88c1a5aSDimitry Andric } // end namespace llvm
185d88c1a5aSDimitry Andric #endif
186