/*      $NetBSD: msg_302.c,v 1.8 2023/07/07 19:45:22 rillig Exp $       */
# 3 "msg_302.c"

// Test for message: '%s' returns pointer to automatic object [302]

/* lint1-extra-flags: -X 351 */

void *
return_arg(int arg)
{
        /* expect+1: warning: 'return_arg' returns pointer to automatic object [302] */
        return &arg;
}

void *
return_local(void)
{
        int local = 3;
        /* expect+1: warning: 'return_local' returns pointer to automatic object [302] */
        return &local;
}

void *
return_local_array(int x)
{
        int local[5], *indirect = local;

        switch (x) {
        case 0:
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return local;
        case 1:
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return &local[3];
        case 2:
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return 5 + local;
        case 3:
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return local + 5;
        case 4:
                /* XXX: lint only checks '+' but not '-'. */
                return local - -3;
        case 5:
                /* XXX: lint doesn't track this indirection, but Clang-tidy does. */
                return indirect;
        case 6:
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return (local);
        case 7:
                /* C99 6.5.2.5p6 */
                /* expect+1: warning: 'return_local_array' returns pointer to automatic object [302] */
                return (char[]){"local string"};
        default:
                return "OK";
        }
}

void *
return_static(void)
{
        static int long_lived = 3;
        return &long_lived;
}