1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 |
- /* go-check-interface.c -- check an interface type for a conversion
- Copyright 2010 The Go Authors. All rights reserved.
- Use of this source code is governed by a BSD-style
- license that can be found in the LICENSE file. */
- #include "runtime.h"
- #include "go-panic.h"
- #include "go-type.h"
- #include "interface.h"
- /* Check that an interface type matches for a conversion to a
- non-interface type. This panics if the types are bad. The actual
- extraction of the object is inlined. */
- void
- __go_check_interface_type (
- const struct __go_type_descriptor *lhs_descriptor,
- const struct __go_type_descriptor *rhs_descriptor,
- const struct __go_type_descriptor *rhs_inter_descriptor)
- {
- if (rhs_descriptor == NULL)
- {
- struct __go_empty_interface panic_arg;
- runtime_newTypeAssertionError(NULL, NULL, lhs_descriptor->__reflection,
- NULL, &panic_arg);
- __go_panic(panic_arg);
- }
- if (lhs_descriptor != rhs_descriptor
- && !__go_type_descriptors_equal (lhs_descriptor, rhs_descriptor)
- && ((lhs_descriptor->__code & GO_CODE_MASK) != GO_UNSAFE_POINTER
- || !__go_is_pointer_type (rhs_descriptor))
- && ((rhs_descriptor->__code & GO_CODE_MASK) != GO_UNSAFE_POINTER
- || !__go_is_pointer_type (lhs_descriptor)))
- {
- struct __go_empty_interface panic_arg;
- runtime_newTypeAssertionError(rhs_inter_descriptor->__reflection,
- rhs_descriptor->__reflection,
- lhs_descriptor->__reflection,
- NULL, &panic_arg);
- __go_panic(panic_arg);
- }
- }
|