1/* { dg-do compile } */
2
3__extension__ typedef __PTRDIFF_TYPE__ pdiff_t;
4
5extern char t_start[], t_end[], t_size[];
6bool foo (void)
7{
8  pdiff_t size = reinterpret_cast<pdiff_t>(t_size);
9  return (size == t_end - t_start);
10}
11