/* { dg-do link } */
/* { dg-options  "-fipa-type-escape-analysis -fdump-ipa-type-escape-analysis" } */

#include <stddef.h>

struct astruct_s { _Bool a; _Bool b; _Bool c;};
struct astruct_s astruct[2];

int
main ()
{
	  struct astruct_s another = astruct[0];
}

/* { dg-final { scan-ipa-dump "collected,astruct_s" "type-escape-analysis" } } */
/* { dg-final { scan-ipa-dump "collected,astruct_s[]" "type-escape-analysis" } } */