On Tue, Jun 10, 2014 at 07:37:50PM +0200, Ulrich Weigand wrote:
> the following C++ test case:
> 
> struct pollfd
>   {
>     int fd;
>     short int events;
>     short int revents;
>   };
> 
> struct Pollfd : public pollfd { };
> 
> struct Pollfd myfd[10];
> 
> int test (void)
> {
>   return __builtin_object_size ((struct pollfd *)myfd, 1);
> }
> 
> ends up returning 8 from the "test" routine, not 80.

The thing is that the C++ FE transforms this kind of cast to
&((struct Pollfd *) &myfd)->D.2233
so for middle-end where __builtin_object_size is evaluated this
is like:
struct Pollfd { struct pollfd something; };
struct Pollfd myfd[10];
int test (void)
{
  return __builtin_object_size (&myfd[0].something, 1);
}
and returning 8 in that case is completely correct.
So the question is why instead of a simple cast it created
ADDR_EXPR of a FIELD_DECL instead.

        Jakub

Reply via email to