This is an archive of the discontinued LLVM Phabricator instance.

Create macro to allow testing of is_convertible without the compiler builtin.
ClosedPublic

Authored by EricWF on Mar 19 2015, 12:10 PM.

Reviewers

mclow.lists
EricWF

Commits

Summary

This patch also fixes one test case that failed in the library version of is_convertible.

EricWF retitled this revision from to Create macro to allow testing of is_convertible without the compiler builtin..

EricWF updated this object.

EricWF edited the test plan for this revision. (Show Details)

EricWF added a reviewer: mclow.lists.

EricWF added a subscriber: Unknown Object (MLST).

Accepting.

This revision is now accepted and ready to land.Mar 19 2015, 2:12 PM

Path

Size

include/

3 lines

Context not available.

	// is_convertible	// is_convertible

	#if __has_feature(is_convertible_to)	#if __has_feature(is_convertible_to) && !defined(_LIBCPP_USE_IS_CONVERTIBLE_FALLBACK)

	template <class _T1, class _T2> struct _LIBCPP_TYPE_VIS_ONLY is_convertible	template <class _T1, class _T2> struct _LIBCPP_TYPE_VIS_ONLY is_convertible
	: public integral_constant<bool, __is_convertible_to(_T1, _T2) &&	: public integral_constant<bool, __is_convertible_to(_T1, _T2) &&
Context not available.
	template <class _T1, class _T2> struct __is_convertible<_T1, _T2, 1, 0> : false_type {};	template <class _T1, class _T2> struct __is_convertible<_T1, _T2, 1, 0> : false_type {};

	template <class _T1> struct __is_convertible<_T1, const _T1&, 1, 0> : true_type {};	template <class _T1> struct __is_convertible<_T1, const _T1&, 1, 0> : true_type {};
		template <class _T1> struct __is_convertible<const _T1, const _T1&, 1, 0> : true_type {};
	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES	#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
	template <class _T1> struct __is_convertible<_T1, _T1&&, 1, 0> : true_type {};	template <class _T1> struct __is_convertible<_T1, _T1&&, 1, 0> : true_type {};
	template <class _T1> struct __is_convertible<_T1, const _T1&&, 1, 0> : true_type {};	template <class _T1> struct __is_convertible<_T1, const _T1&&, 1, 0> : true_type {};
Context not available.