/* { dg-do compile } */
/* { dg-options "-Os -fno-strict-overflow" } */

typedef unsigned char u8;
typedef unsigned short u16;
typedef unsigned int u32;
typedef u16 acpi_rs_length;
typedef u32 acpi_rsdesc_size;
struct acpi_resource_source
{
  u16 string_length;
  char *string_ptr;
};
static u16
acpi_rs_strcpy (char *destination, char *source)
{
  u16 i;
  for (i = 0; source[i]; i++)
    {
    }
  return ((u16) (i + 1));
}
union aml_resource;
acpi_rs_length
acpi_rs_get_resource_source (acpi_rs_length resource_length,
			     acpi_rs_length minimum_length,
			     struct acpi_resource_source * resource_source,
			     union aml_resource * aml, char *string_ptr)
{
  acpi_rsdesc_size total_length;
  u8 *aml_resource_source;
  if (total_length > (acpi_rsdesc_size) (minimum_length + 1))
    {
      resource_source->string_length =
	acpi_rs_strcpy (resource_source->string_ptr,
			((char *) (void *) (&aml_resource_source[1])));
    }
}