# define __force        __attribute__((force))

struct s {
        int a;
};

static int foo(struct s *s)
{
        return (*((typeof(s->a) __force *) &s->a)) & 1;
}

static void bar(struct s *d, struct s *s1, struct s *s2)
{
        *d = *s1, *d = *s2;
}

/*
 * check-name: unexamined base type
 * check-command: test-linearize -Wno-decl $file
 * check-description:
 *      Test case for missing examine in evaluate_dereference()'s
 *      target base type. In this case, the loaded value has a
 *      a null size, giving the wrongly generated code for foo():
 *              ptrcast.64  %r3 <- (64) %arg1
 *              load        %r4 <- 0[%r3]
 *                  ^^^                         !! WRONG !!
 *              cast.32     %r5 <- (0) %r4
 *                                 ^^^          !! WRONG !!
 *              and.32      %r6 <- %r5, $1
 *              ret.32      %r6
 *
 * check-output-ignore
 * check-output-excludes: load[^.]
 * check-output-excludes: cast\\..*(0)
 * check-output-excludes: store[^.]
 */