void f00(int _Atomic  dst);
void f01(int _Atomic *dst);
void f02(int _Atomic *dst);
void f03(int _Atomic *dst);

int _Atomic qo;
int         uo;

void f00(int dst)         { }   /* check-should-pass */
void f01(typeof(&qo) dst) { }   /* check-should-pass */
void f02(int *dst)        { }   /* check-should-fail */
void f03(typeof(&uo) dst) { }   /* check-should-fail */

void foo(void)
{
        qo = uo;                /* check-should-pass */
        uo = qo;                /* check-should-pass */
}

void ref(void)
{
        const int qo;
        int uo;
        extern const int *pqo;
        extern       int *puo;

        pqo = &qo;              /* check-should-pass */
        pqo = &uo;              /* check-should-pass */
        pqo = puo;

        puo = &uo;              /* check-should-pass */

        puo = &qo;              /* check-should-fail */
        puo = pqo;              /* check-should-fail */
}

void bar(void)
{
        extern int _Atomic *pqo;
        extern int         *puo;

        pqo = &qo;              /* check-should-pass */
        pqo = &uo;              /* check-should-pass */
        pqo = puo;

        puo = &uo;              /* check-should-pass */

        puo = &qo;              /* check-should-fail */
        puo = pqo;              /* check-should-fail */
}

void baz(void)
{
        extern typeof(&qo) pqo;
        extern typeof(&uo) puo;

        pqo = &qo;              /* check-should-pass */
        pqo = &uo;              /* check-should-pass */
        pqo = puo;

        puo = &uo;              /* check-should-pass */

        puo = &qo;              /* check-should-fail */
        puo = pqo;              /* check-should-fail */
}

/*
 * check-name: C11 _Atomic type qualifier
 * check-command: sparse -Wno-decl $file;
 *
 * check-error-start
c11-atomic.c:11:6: error: symbol 'f02' redeclared with different type (originally declared at c11-atomic.c:3) - incompatible argument 1 (different modifiers)
c11-atomic.c:12:6: error: symbol 'f03' redeclared with different type (originally declared at c11-atomic.c:4) - incompatible argument 1 (different modifiers)
c11-atomic.c:33:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:33:13:    expected int *extern [assigned] puo
c11-atomic.c:33:13:    got int const *
c11-atomic.c:34:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:34:13:    expected int *extern [assigned] puo
c11-atomic.c:34:13:    got int const *extern [assigned] pqo
c11-atomic.c:48:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:48:13:    expected int *extern [assigned] puo
c11-atomic.c:48:13:    got int [atomic] *
c11-atomic.c:49:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:49:13:    expected int *extern [assigned] puo
c11-atomic.c:49:13:    got int [atomic] *extern [assigned] pqo
c11-atomic.c:63:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:63:13:    expected int *extern [assigned] puo
c11-atomic.c:63:13:    got int [atomic] *
c11-atomic.c:64:13: warning: incorrect type in assignment (different modifiers)
c11-atomic.c:64:13:    expected int *extern [assigned] puo
c11-atomic.c:64:13:    got int [atomic] *extern [assigned] pqo
 * check-error-end
 */