/* 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_UNSAFE_POINTER
	  || !__go_is_pointer_type (rhs_descriptor))
      && (rhs_descriptor->__code != 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);
    }
}