/* Testing the correct usage of attribute counted_by for pointer to void. *//* { dg-do compile } *//* { dg-options "-O0 -Wpointer-arith" } */struct pointer_array {int count;void*array __attribute__((counted_by(count)));/* { dg-warning "attribute is used for a pointer to void" } */};