• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===---------------------------- system_error ------------------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This was lifted from libc++ and modified for C++03. This is called
11 // system_error even though it does not define that class because that's what
12 // it's called in C++0x. We don't define system_error because it is only used
13 // for exception handling, which we don't use in LLVM.
14 //
15 //===----------------------------------------------------------------------===//
16 
17 #ifndef LLVM_SYSTEM_SYSTEM_ERROR_H
18 #define LLVM_SYSTEM_SYSTEM_ERROR_H
19 
20 /*
21     system_error synopsis
22 
23 namespace std
24 {
25 
26 class error_category
27 {
28 public:
29     virtual ~error_category();
30 
31     error_category(const error_category&) = delete;
32     error_category& operator=(const error_category&) = delete;
33 
34     virtual const char* name() const = 0;
35     virtual error_condition default_error_condition(int ev) const;
36     virtual bool equivalent(int code, const error_condition& condition) const;
37     virtual bool equivalent(const error_code& code, int condition) const;
38     virtual std::string message(int ev) const = 0;
39 
40     bool operator==(const error_category& rhs) const;
41     bool operator!=(const error_category& rhs) const;
42     bool operator<(const error_category& rhs) const;
43 };
44 
45 const error_category& generic_category();
46 const error_category& system_category();
47 
48 template <class T> struct is_error_code_enum
49     : public false_type {};
50 
51 template <class T> struct is_error_condition_enum
52     : public false_type {};
53 
54 class error_code
55 {
56 public:
57     // constructors:
58     error_code();
59     error_code(int val, const error_category& cat);
60     template <class ErrorCodeEnum>
61         error_code(ErrorCodeEnum e);
62 
63     // modifiers:
64     void assign(int val, const error_category& cat);
65     template <class ErrorCodeEnum>
66         error_code& operator=(ErrorCodeEnum e);
67     void clear();
68 
69     // observers:
70     int value() const;
71     const error_category& category() const;
72     error_condition default_error_condition() const;
73     std::string message() const;
74     explicit operator bool() const;
75 };
76 
77 // non-member functions:
78 bool operator<(const error_code& lhs, const error_code& rhs);
79 template <class charT, class traits>
80     basic_ostream<charT,traits>&
81     operator<<(basic_ostream<charT,traits>& os, const error_code& ec);
82 
83 class error_condition
84 {
85 public:
86     // constructors:
87     error_condition();
88     error_condition(int val, const error_category& cat);
89     template <class ErrorConditionEnum>
90         error_condition(ErrorConditionEnum e);
91 
92     // modifiers:
93     void assign(int val, const error_category& cat);
94     template <class ErrorConditionEnum>
95         error_condition& operator=(ErrorConditionEnum e);
96     void clear();
97 
98     // observers:
99     int value() const;
100     const error_category& category() const;
101     std::string message() const;
102     explicit operator bool() const;
103 };
104 
105 bool operator<(const error_condition& lhs, const error_condition& rhs);
106 
107 class system_error
108     : public runtime_error
109 {
110 public:
111     system_error(error_code ec, const std::string& what_arg);
112     system_error(error_code ec, const char* what_arg);
113     system_error(error_code ec);
114     system_error(int ev, const error_category& ecat, const std::string& what_arg);
115     system_error(int ev, const error_category& ecat, const char* what_arg);
116     system_error(int ev, const error_category& ecat);
117 
118     const error_code& code() const throw();
119     const char* what() const throw();
120 };
121 
122 enum class errc
123 {
124     address_family_not_supported,       // EAFNOSUPPORT
125     address_in_use,                     // EADDRINUSE
126     address_not_available,              // EADDRNOTAVAIL
127     already_connected,                  // EISCONN
128     argument_list_too_long,             // E2BIG
129     argument_out_of_domain,             // EDOM
130     bad_address,                        // EFAULT
131     bad_file_descriptor,                // EBADF
132     bad_message,                        // EBADMSG
133     broken_pipe,                        // EPIPE
134     connection_aborted,                 // ECONNABORTED
135     connection_already_in_progress,     // EALREADY
136     connection_refused,                 // ECONNREFUSED
137     connection_reset,                   // ECONNRESET
138     cross_device_link,                  // EXDEV
139     destination_address_required,       // EDESTADDRREQ
140     device_or_resource_busy,            // EBUSY
141     directory_not_empty,                // ENOTEMPTY
142     executable_format_error,            // ENOEXEC
143     file_exists,                        // EEXIST
144     file_too_large,                     // EFBIG
145     filename_too_long,                  // ENAMETOOLONG
146     function_not_supported,             // ENOSYS
147     host_unreachable,                   // EHOSTUNREACH
148     identifier_removed,                 // EIDRM
149     illegal_byte_sequence,              // EILSEQ
150     inappropriate_io_control_operation, // ENOTTY
151     interrupted,                        // EINTR
152     invalid_argument,                   // EINVAL
153     invalid_seek,                       // ESPIPE
154     io_error,                           // EIO
155     is_a_directory,                     // EISDIR
156     message_size,                       // EMSGSIZE
157     network_down,                       // ENETDOWN
158     network_reset,                      // ENETRESET
159     network_unreachable,                // ENETUNREACH
160     no_buffer_space,                    // ENOBUFS
161     no_child_process,                   // ECHILD
162     no_link,                            // ENOLINK
163     no_lock_available,                  // ENOLCK
164     no_message_available,               // ENODATA
165     no_message,                         // ENOMSG
166     no_protocol_option,                 // ENOPROTOOPT
167     no_space_on_device,                 // ENOSPC
168     no_stream_resources,                // ENOSR
169     no_such_device_or_address,          // ENXIO
170     no_such_device,                     // ENODEV
171     no_such_file_or_directory,          // ENOENT
172     no_such_process,                    // ESRCH
173     not_a_directory,                    // ENOTDIR
174     not_a_socket,                       // ENOTSOCK
175     not_a_stream,                       // ENOSTR
176     not_connected,                      // ENOTCONN
177     not_enough_memory,                  // ENOMEM
178     not_supported,                      // ENOTSUP
179     operation_canceled,                 // ECANCELED
180     operation_in_progress,              // EINPROGRESS
181     operation_not_permitted,            // EPERM
182     operation_not_supported,            // EOPNOTSUPP
183     operation_would_block,              // EWOULDBLOCK
184     owner_dead,                         // EOWNERDEAD
185     permission_denied,                  // EACCES
186     protocol_error,                     // EPROTO
187     protocol_not_supported,             // EPROTONOSUPPORT
188     read_only_file_system,              // EROFS
189     resource_deadlock_would_occur,      // EDEADLK
190     resource_unavailable_try_again,     // EAGAIN
191     result_out_of_range,                // ERANGE
192     state_not_recoverable,              // ENOTRECOVERABLE
193     stream_timeout,                     // ETIME
194     text_file_busy,                     // ETXTBSY
195     timed_out,                          // ETIMEDOUT
196     too_many_files_open_in_system,      // ENFILE
197     too_many_files_open,                // EMFILE
198     too_many_links,                     // EMLINK
199     too_many_symbolic_link_levels,      // ELOOP
200     value_too_large,                    // EOVERFLOW
201     wrong_protocol_type                 // EPROTOTYPE
202 };
203 
204 template <> struct is_error_condition_enum<errc> : true_type { }
205 
206 error_code make_error_code(errc e);
207 error_condition make_error_condition(errc e);
208 
209 // Comparison operators:
210 bool operator==(const error_code& lhs, const error_code& rhs);
211 bool operator==(const error_code& lhs, const error_condition& rhs);
212 bool operator==(const error_condition& lhs, const error_code& rhs);
213 bool operator==(const error_condition& lhs, const error_condition& rhs);
214 bool operator!=(const error_code& lhs, const error_code& rhs);
215 bool operator!=(const error_code& lhs, const error_condition& rhs);
216 bool operator!=(const error_condition& lhs, const error_code& rhs);
217 bool operator!=(const error_condition& lhs, const error_condition& rhs);
218 
219 template <> struct hash<std::error_code>;
220 
221 }  // std
222 
223 */
224 
225 #include "llvm/Config/llvm-config.h"
226 #include "llvm/Support/type_traits.h"
227 #include <cerrno>
228 #include <string>
229 
230 // This must be here instead of a .inc file because it is used in the definition
231 // of the enum values below.
232 #ifdef LLVM_ON_WIN32
233 
234   // The following numbers were taken from VS2010.
235 # ifndef EAFNOSUPPORT
236 #   define EAFNOSUPPORT 102
237 # endif
238 # ifndef EADDRINUSE
239 #   define EADDRINUSE 100
240 # endif
241 # ifndef EADDRNOTAVAIL
242 #   define EADDRNOTAVAIL 101
243 # endif
244 # ifndef EISCONN
245 #   define EISCONN 113
246 # endif
247 # ifndef E2BIG
248 #   define E2BIG 7
249 # endif
250 # ifndef EDOM
251 #   define EDOM 33
252 # endif
253 # ifndef EFAULT
254 #   define EFAULT 14
255 # endif
256 # ifndef EBADF
257 #   define EBADF 9
258 # endif
259 # ifndef EBADMSG
260 #   define EBADMSG 104
261 # endif
262 # ifndef EPIPE
263 #   define EPIPE 32
264 # endif
265 # ifndef ECONNABORTED
266 #   define ECONNABORTED 106
267 # endif
268 # ifndef EALREADY
269 #   define EALREADY 103
270 # endif
271 # ifndef ECONNREFUSED
272 #   define ECONNREFUSED 107
273 # endif
274 # ifndef ECONNRESET
275 #   define ECONNRESET 108
276 # endif
277 # ifndef EXDEV
278 #   define EXDEV 18
279 # endif
280 # ifndef EDESTADDRREQ
281 #   define EDESTADDRREQ 109
282 # endif
283 # ifndef EBUSY
284 #   define EBUSY 16
285 # endif
286 # ifndef ENOTEMPTY
287 #   define ENOTEMPTY 41
288 # endif
289 # ifndef ENOEXEC
290 #   define ENOEXEC 8
291 # endif
292 # ifndef EEXIST
293 #   define EEXIST 17
294 # endif
295 # ifndef EFBIG
296 #   define EFBIG 27
297 # endif
298 # ifndef ENAMETOOLONG
299 #   define ENAMETOOLONG 38
300 # endif
301 # ifndef ENOSYS
302 #   define ENOSYS 40
303 # endif
304 # ifndef EHOSTUNREACH
305 #   define EHOSTUNREACH 110
306 # endif
307 # ifndef EIDRM
308 #   define EIDRM 111
309 # endif
310 # ifndef EILSEQ
311 #   define EILSEQ 42
312 # endif
313 # ifndef ENOTTY
314 #   define ENOTTY 25
315 # endif
316 # ifndef EINTR
317 #   define EINTR 4
318 # endif
319 # ifndef EINVAL
320 #   define EINVAL 22
321 # endif
322 # ifndef ESPIPE
323 #   define ESPIPE 29
324 # endif
325 # ifndef EIO
326 #   define EIO 5
327 # endif
328 # ifndef EISDIR
329 #   define EISDIR 21
330 # endif
331 # ifndef EMSGSIZE
332 #   define EMSGSIZE 115
333 # endif
334 # ifndef ENETDOWN
335 #   define ENETDOWN 116
336 # endif
337 # ifndef ENETRESET
338 #   define ENETRESET 117
339 # endif
340 # ifndef ENETUNREACH
341 #   define ENETUNREACH 118
342 # endif
343 # ifndef ENOBUFS
344 #   define ENOBUFS 119
345 # endif
346 # ifndef ECHILD
347 #   define ECHILD 10
348 # endif
349 # ifndef ENOLINK
350 #   define ENOLINK 121
351 # endif
352 # ifndef ENOLCK
353 #   define ENOLCK 39
354 # endif
355 # ifndef ENODATA
356 #   define ENODATA 120
357 # endif
358 # ifndef ENOMSG
359 #   define ENOMSG 122
360 # endif
361 # ifndef ENOPROTOOPT
362 #   define ENOPROTOOPT 123
363 # endif
364 # ifndef ENOSPC
365 #   define ENOSPC 28
366 # endif
367 # ifndef ENOSR
368 #   define ENOSR 124
369 # endif
370 # ifndef ENXIO
371 #   define ENXIO 6
372 # endif
373 # ifndef ENODEV
374 #   define ENODEV 19
375 # endif
376 # ifndef ENOENT
377 #   define ENOENT 2
378 # endif
379 # ifndef ESRCH
380 #   define ESRCH 3
381 # endif
382 # ifndef ENOTDIR
383 #   define ENOTDIR 20
384 # endif
385 # ifndef ENOTSOCK
386 #   define ENOTSOCK 128
387 # endif
388 # ifndef ENOSTR
389 #   define ENOSTR 125
390 # endif
391 # ifndef ENOTCONN
392 #   define ENOTCONN 126
393 # endif
394 # ifndef ENOMEM
395 #   define ENOMEM 12
396 # endif
397 # ifndef ENOTSUP
398 #   define ENOTSUP 129
399 # endif
400 # ifndef ECANCELED
401 #   define ECANCELED 105
402 # endif
403 # ifndef EINPROGRESS
404 #   define EINPROGRESS 112
405 # endif
406 # ifndef EPERM
407 #   define EPERM 1
408 # endif
409 # ifndef EOPNOTSUPP
410 #   define EOPNOTSUPP 130
411 # endif
412 # ifndef EWOULDBLOCK
413 #   define EWOULDBLOCK 140
414 # endif
415 # ifndef EOWNERDEAD
416 #   define EOWNERDEAD 133
417 # endif
418 # ifndef EACCES
419 #   define EACCES 13
420 # endif
421 # ifndef EPROTO
422 #   define EPROTO 134
423 # endif
424 # ifndef EPROTONOSUPPORT
425 #   define EPROTONOSUPPORT 135
426 # endif
427 # ifndef EROFS
428 #   define EROFS 30
429 # endif
430 # ifndef EDEADLK
431 #   define EDEADLK 36
432 # endif
433 # ifndef EAGAIN
434 #   define EAGAIN 11
435 # endif
436 # ifndef ERANGE
437 #   define ERANGE 34
438 # endif
439 # ifndef ENOTRECOVERABLE
440 #   define ENOTRECOVERABLE 127
441 # endif
442 # ifndef ETIME
443 #   define ETIME 137
444 # endif
445 # ifndef ETXTBSY
446 #   define ETXTBSY 139
447 # endif
448 # ifndef ETIMEDOUT
449 #   define ETIMEDOUT 138
450 # endif
451 # ifndef ENFILE
452 #   define ENFILE 23
453 # endif
454 # ifndef EMFILE
455 #   define EMFILE 24
456 # endif
457 # ifndef EMLINK
458 #   define EMLINK 31
459 # endif
460 # ifndef ELOOP
461 #   define ELOOP 114
462 # endif
463 # ifndef EOVERFLOW
464 #   define EOVERFLOW 132
465 # endif
466 # ifndef EPROTOTYPE
467 #   define EPROTOTYPE 136
468 # endif
469 #endif
470 
471 namespace llvm {
472 
473 // is_error_code_enum
474 
475 template <class Tp> struct is_error_code_enum : public false_type {};
476 
477 // is_error_condition_enum
478 
479 template <class Tp> struct is_error_condition_enum : public false_type {};
480 
481 // Some error codes are not present on all platforms, so we provide equivalents
482 // for them:
483 
484 //enum class errc
485 struct errc {
486 enum _ {
487   success                             = 0,
488   address_family_not_supported        = EAFNOSUPPORT,
489   address_in_use                      = EADDRINUSE,
490   address_not_available               = EADDRNOTAVAIL,
491   already_connected                   = EISCONN,
492   argument_list_too_long              = E2BIG,
493   argument_out_of_domain              = EDOM,
494   bad_address                         = EFAULT,
495   bad_file_descriptor                 = EBADF,
496 #ifdef EBADMSG
497   bad_message                         = EBADMSG,
498 #else
499   bad_message                         = EINVAL,
500 #endif
501   broken_pipe                         = EPIPE,
502   connection_aborted                  = ECONNABORTED,
503   connection_already_in_progress      = EALREADY,
504   connection_refused                  = ECONNREFUSED,
505   connection_reset                    = ECONNRESET,
506   cross_device_link                   = EXDEV,
507   destination_address_required        = EDESTADDRREQ,
508   device_or_resource_busy             = EBUSY,
509   directory_not_empty                 = ENOTEMPTY,
510   executable_format_error             = ENOEXEC,
511   file_exists                         = EEXIST,
512   file_too_large                      = EFBIG,
513   filename_too_long                   = ENAMETOOLONG,
514   function_not_supported              = ENOSYS,
515   host_unreachable                    = EHOSTUNREACH,
516   identifier_removed                  = EIDRM,
517   illegal_byte_sequence               = EILSEQ,
518   inappropriate_io_control_operation  = ENOTTY,
519   interrupted                         = EINTR,
520   invalid_argument                    = EINVAL,
521   invalid_seek                        = ESPIPE,
522   io_error                            = EIO,
523   is_a_directory                      = EISDIR,
524   message_size                        = EMSGSIZE,
525   network_down                        = ENETDOWN,
526   network_reset                       = ENETRESET,
527   network_unreachable                 = ENETUNREACH,
528   no_buffer_space                     = ENOBUFS,
529   no_child_process                    = ECHILD,
530 #ifdef ENOLINK
531   no_link                             = ENOLINK,
532 #else
533   no_link                             = EINVAL,
534 #endif
535   no_lock_available                   = ENOLCK,
536 #ifdef ENODATA
537   no_message_available                = ENODATA,
538 #else
539   no_message_available                = ENOMSG,
540 #endif
541   no_message                          = ENOMSG,
542   no_protocol_option                  = ENOPROTOOPT,
543   no_space_on_device                  = ENOSPC,
544 #ifdef ENOSR
545   no_stream_resources                 = ENOSR,
546 #else
547   no_stream_resources                 = ENOMEM,
548 #endif
549   no_such_device_or_address           = ENXIO,
550   no_such_device                      = ENODEV,
551   no_such_file_or_directory           = ENOENT,
552   no_such_process                     = ESRCH,
553   not_a_directory                     = ENOTDIR,
554   not_a_socket                        = ENOTSOCK,
555 #ifdef ENOSTR
556   not_a_stream                        = ENOSTR,
557 #else
558   not_a_stream                        = EINVAL,
559 #endif
560   not_connected                       = ENOTCONN,
561   not_enough_memory                   = ENOMEM,
562   not_supported                       = ENOTSUP,
563 #ifdef ECANCELED
564   operation_canceled                  = ECANCELED,
565 #else
566   operation_canceled                  = EINVAL,
567 #endif
568   operation_in_progress               = EINPROGRESS,
569   operation_not_permitted             = EPERM,
570   operation_not_supported             = EOPNOTSUPP,
571   operation_would_block               = EWOULDBLOCK,
572 #ifdef EOWNERDEAD
573   owner_dead                          = EOWNERDEAD,
574 #else
575   owner_dead                          = EINVAL,
576 #endif
577   permission_denied                   = EACCES,
578 #ifdef EPROTO
579   protocol_error                      = EPROTO,
580 #else
581   protocol_error                      = EINVAL,
582 #endif
583   protocol_not_supported              = EPROTONOSUPPORT,
584   read_only_file_system               = EROFS,
585   resource_deadlock_would_occur       = EDEADLK,
586   resource_unavailable_try_again      = EAGAIN,
587   result_out_of_range                 = ERANGE,
588 #ifdef ENOTRECOVERABLE
589   state_not_recoverable               = ENOTRECOVERABLE,
590 #else
591   state_not_recoverable               = EINVAL,
592 #endif
593 #ifdef ETIME
594   stream_timeout                      = ETIME,
595 #else
596   stream_timeout                      = ETIMEDOUT,
597 #endif
598   text_file_busy                      = ETXTBSY,
599   timed_out                           = ETIMEDOUT,
600   too_many_files_open_in_system       = ENFILE,
601   too_many_files_open                 = EMFILE,
602   too_many_links                      = EMLINK,
603   too_many_symbolic_link_levels       = ELOOP,
604   value_too_large                     = EOVERFLOW,
605   wrong_protocol_type                 = EPROTOTYPE
606 };
607 
608   _ v_;
609 
errcerrc610   errc(_ v) : v_(v) {}
611   operator int() const {return v_;}
612 };
613 
614 template <> struct is_error_condition_enum<errc> : true_type { };
615 
616 template <> struct is_error_condition_enum<errc::_> : true_type { };
617 
618 class error_condition;
619 class error_code;
620 
621 // class error_category
622 
623 class _do_message;
624 
625 class error_category
626 {
627 public:
628   virtual ~error_category();
629 
630 private:
631   error_category();
632   error_category(const error_category&);// = delete;
633   error_category& operator=(const error_category&);// = delete;
634 
635 public:
636   virtual const char* name() const = 0;
637   virtual error_condition default_error_condition(int _ev) const;
638   virtual bool equivalent(int _code, const error_condition& _condition) const;
639   virtual bool equivalent(const error_code& _code, int _condition) const;
640   virtual std::string message(int _ev) const = 0;
641 
642   bool operator==(const error_category& _rhs) const {return this == &_rhs;}
643 
644   bool operator!=(const error_category& _rhs) const {return !(*this == _rhs);}
645 
646   bool operator< (const error_category& _rhs) const {return this < &_rhs;}
647 
648   friend class _do_message;
649 };
650 
651 class _do_message : public error_category
652 {
653 public:
654   virtual std::string message(int ev) const;
655 };
656 
657 const error_category& generic_category();
658 const error_category& system_category();
659 
660 /// Get the error_category used for errno values from POSIX functions. This is
661 /// the same as the system_category on POSIX systems, but is the same as the
662 /// generic_category on Windows.
663 const error_category& posix_category();
664 
665 class error_condition
666 {
667   int _val_;
668   const error_category* _cat_;
669 public:
670   error_condition() : _val_(0), _cat_(&generic_category()) {}
671 
672   error_condition(int _val, const error_category& _cat)
673     : _val_(_val), _cat_(&_cat) {}
674 
675   template <class E>
676   error_condition(E _e, typename enable_if_c<
677                           is_error_condition_enum<E>::value
678                         >::type* = 0)
679     {*this = make_error_condition(_e);}
680 
681   void assign(int _val, const error_category& _cat) {
682     _val_ = _val;
683     _cat_ = &_cat;
684   }
685 
686   template <class E>
687     typename enable_if_c
688     <
689       is_error_condition_enum<E>::value,
690       error_condition&
691     >::type
692     operator=(E _e)
693       {*this = make_error_condition(_e); return *this;}
694 
695   void clear() {
696     _val_ = 0;
697     _cat_ = &generic_category();
698   }
699 
700   int value() const {return _val_;}
701 
702   const error_category& category() const {return *_cat_;}
703   std::string message() const;
704 
705   typedef void (*unspecified_bool_type)();
706   static void unspecified_bool_true() {}
707 
708   operator unspecified_bool_type() const { // true if error
709     return _val_ == 0 ? 0 : unspecified_bool_true;
710   }
711 };
712 
713 inline error_condition make_error_condition(errc _e) {
714   return error_condition(static_cast<int>(_e), generic_category());
715 }
716 
717 inline bool operator<(const error_condition& _x, const error_condition& _y) {
718   return _x.category() < _y.category()
719       || (_x.category() == _y.category() && _x.value() < _y.value());
720 }
721 
722 // error_code
723 
724 class error_code {
725   int _val_;
726   const error_category* _cat_;
727 public:
728   error_code() : _val_(0), _cat_(&system_category()) {}
729 
730   static error_code success() {
731     return error_code();
732   }
733 
734   error_code(int _val, const error_category& _cat)
735     : _val_(_val), _cat_(&_cat) {}
736 
737   template <class E>
738   error_code(E _e, typename enable_if_c<
739                      is_error_code_enum<E>::value
740                    >::type* = 0) {
741     *this = make_error_code(_e);
742   }
743 
744   void assign(int _val, const error_category& _cat) {
745       _val_ = _val;
746       _cat_ = &_cat;
747   }
748 
749   template <class E>
750     typename enable_if_c
751     <
752       is_error_code_enum<E>::value,
753       error_code&
754     >::type
755     operator=(E _e)
756       {*this = make_error_code(_e); return *this;}
757 
758   void clear() {
759     _val_ = 0;
760     _cat_ = &system_category();
761   }
762 
763   int value() const {return _val_;}
764 
765   const error_category& category() const {return *_cat_;}
766 
767   error_condition default_error_condition() const
768     {return _cat_->default_error_condition(_val_);}
769 
770   std::string message() const;
771 
772   typedef void (*unspecified_bool_type)();
773   static void unspecified_bool_true() {}
774 
775   operator unspecified_bool_type() const { // true if error
776     return _val_ == 0 ? 0 : unspecified_bool_true;
777   }
778 };
779 
780 inline error_code make_error_code(errc _e) {
781   return error_code(static_cast<int>(_e), generic_category());
782 }
783 
784 inline bool operator<(const error_code& _x, const error_code& _y) {
785   return _x.category() < _y.category()
786       || (_x.category() == _y.category() && _x.value() < _y.value());
787 }
788 
789 inline bool operator==(const error_code& _x, const error_code& _y) {
790   return _x.category() == _y.category() && _x.value() == _y.value();
791 }
792 
793 inline bool operator==(const error_code& _x, const error_condition& _y) {
794   return _x.category().equivalent(_x.value(), _y)
795       || _y.category().equivalent(_x, _y.value());
796 }
797 
798 inline bool operator==(const error_condition& _x, const error_code& _y) {
799   return _y == _x;
800 }
801 
802 inline bool operator==(const error_condition& _x, const error_condition& _y) {
803    return _x.category() == _y.category() && _x.value() == _y.value();
804 }
805 
806 inline bool operator!=(const error_code& _x, const error_code& _y) {
807   return !(_x == _y);
808 }
809 
810 inline bool operator!=(const error_code& _x, const error_condition& _y) {
811   return !(_x == _y);
812 }
813 
814 inline bool operator!=(const error_condition& _x, const error_code& _y) {
815   return !(_x == _y);
816 }
817 
818 inline bool operator!=(const error_condition& _x, const error_condition& _y) {
819   return !(_x == _y);
820 }
821 
822 // Windows errors.
823 
824 //  To construct an error_code after an API error:
825 //
826 //      error_code( ::GetLastError(), system_category() )
827 struct windows_error {
828 enum _ {
829   success = 0,
830   // These names and values are based on Windows WinError.h
831   // This is not a complete list. Add to this list if you need to explicitly
832   // check for it.
833   invalid_function        = 1, // ERROR_INVALID_FUNCTION,
834   file_not_found          = 2, // ERROR_FILE_NOT_FOUND,
835   path_not_found          = 3, // ERROR_PATH_NOT_FOUND,
836   too_many_open_files     = 4, // ERROR_TOO_MANY_OPEN_FILES,
837   access_denied           = 5, // ERROR_ACCESS_DENIED,
838   invalid_handle          = 6, // ERROR_INVALID_HANDLE,
839   arena_trashed           = 7, // ERROR_ARENA_TRASHED,
840   not_enough_memory       = 8, // ERROR_NOT_ENOUGH_MEMORY,
841   invalid_block           = 9, // ERROR_INVALID_BLOCK,
842   bad_environment         = 10, // ERROR_BAD_ENVIRONMENT,
843   bad_format              = 11, // ERROR_BAD_FORMAT,
844   invalid_access          = 12, // ERROR_INVALID_ACCESS,
845   outofmemory             = 14, // ERROR_OUTOFMEMORY,
846   invalid_drive           = 15, // ERROR_INVALID_DRIVE,
847   current_directory       = 16, // ERROR_CURRENT_DIRECTORY,
848   not_same_device         = 17, // ERROR_NOT_SAME_DEVICE,
849   no_more_files           = 18, // ERROR_NO_MORE_FILES,
850   write_protect           = 19, // ERROR_WRITE_PROTECT,
851   bad_unit                = 20, // ERROR_BAD_UNIT,
852   not_ready               = 21, // ERROR_NOT_READY,
853   bad_command             = 22, // ERROR_BAD_COMMAND,
854   crc                     = 23, // ERROR_CRC,
855   bad_length              = 24, // ERROR_BAD_LENGTH,
856   seek                    = 25, // ERROR_SEEK,
857   not_dos_disk            = 26, // ERROR_NOT_DOS_DISK,
858   sector_not_found        = 27, // ERROR_SECTOR_NOT_FOUND,
859   out_of_paper            = 28, // ERROR_OUT_OF_PAPER,
860   write_fault             = 29, // ERROR_WRITE_FAULT,
861   read_fault              = 30, // ERROR_READ_FAULT,
862   gen_failure             = 31, // ERROR_GEN_FAILURE,
863   sharing_violation       = 32, // ERROR_SHARING_VIOLATION,
864   lock_violation          = 33, // ERROR_LOCK_VIOLATION,
865   wrong_disk              = 34, // ERROR_WRONG_DISK,
866   sharing_buffer_exceeded = 36, // ERROR_SHARING_BUFFER_EXCEEDED,
867   handle_eof              = 38, // ERROR_HANDLE_EOF,
868   handle_disk_full        = 39, // ERROR_HANDLE_DISK_FULL,
869   rem_not_list            = 51, // ERROR_REM_NOT_LIST,
870   dup_name                = 52, // ERROR_DUP_NAME,
871   bad_net_path            = 53, // ERROR_BAD_NETPATH,
872   network_busy            = 54, // ERROR_NETWORK_BUSY,
873   file_exists             = 80, // ERROR_FILE_EXISTS,
874   cannot_make             = 82, // ERROR_CANNOT_MAKE,
875   broken_pipe             = 109, // ERROR_BROKEN_PIPE,
876   open_failed             = 110, // ERROR_OPEN_FAILED,
877   buffer_overflow         = 111, // ERROR_BUFFER_OVERFLOW,
878   disk_full               = 112, // ERROR_DISK_FULL,
879   insufficient_buffer     = 122, // ERROR_INSUFFICIENT_BUFFER,
880   lock_failed             = 167, // ERROR_LOCK_FAILED,
881   busy                    = 170, // ERROR_BUSY,
882   cancel_violation        = 173, // ERROR_CANCEL_VIOLATION,
883   already_exists          = 183  // ERROR_ALREADY_EXISTS
884 };
885   _ v_;
886 
887   windows_error(_ v) : v_(v) {}
888   explicit windows_error(int v) : v_(_(v)) {}
889   operator int() const {return v_;}
890 };
891 
892 
893 template <> struct is_error_code_enum<windows_error> : true_type { };
894 
895 template <> struct is_error_code_enum<windows_error::_> : true_type { };
896 
897 inline error_code make_error_code(windows_error e) {
898   return error_code(static_cast<int>(e), system_category());
899 }
900 
901 } // end namespace llvm
902 
903 #endif
904