/*      $NetBSD: expr_cast.c,v 1.7 2025/04/12 15:49:49 rillig Exp $     */
# 3 "expr_cast.c"

/*
 * Tests for value conversion using a cast-expression.
 *
 * K&R C does not mention any restrictions on the target type.
 * C90 requires both the source type and the target type to be scalar.
 *
 * GCC allows casting to a struct type but there is no documentation about
 * it at https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html.  See
 * c-typeck.c, function build_c_cast, RECORD_OR_UNION_TYPE_P.
 */

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

struct S {
        int member;
};

struct S
cast(void)
{
        struct S {
                double incompatible;
        } local = {
                0.0
        };

        /* expect+2: error: invalid cast from 'struct S' to 'struct S' [147] */
        /* expect+1: error: function 'cast' expects to return value [214] */
        return (struct S)local;
}

/*
 * https://gnats.netbsd.org/22119
 *
 * Before 2021-02-28, lint crashed in cast() since the target type of the
 * cast is NULL.
*/
void
cast_from_error(void)
{
        void (*f1)(void);

        /* expect+1: error: 'p' undefined [99] */
        f1 = (void (*)(void))p;
        /* expect+2: error: function returns invalid type 'function(void) returning pointer to void' [15] */
        /* expect+1: error: invalid cast from 'int' to 'function() returning pointer to function(void) returning pointer to void' [147] */
        f1 = (void *()(void))p;         /* crash before 2021-02-28 */
}

/*
 * Pointer casts had been valid lvalues in GCC before 4.0.
 *
 * https://gcc.gnu.org/onlinedocs/gcc-3.4.6/gcc/Lvalues.html#Lvalues
 *
 * C99 6.5.4 "Cast operators" footnote 85 says "A cast does not yield an
 * lvalue".
 */

void take_ptr(const void *);

void *
lvalue_cast(void *p)
{
        struct str {
                int member;
        };

        /* expect+2: error: a cast does not yield an lvalue [163] */
        /* expect+1: error: left operand of '=' must be lvalue [114] */
        ((struct str *)p) = 0;

        /* expect+2: error: a cast does not yield an lvalue [163] */
        /* expect+1: error: operand of '&' must be lvalue [114] */
        take_ptr(&(const void *)p);

        return p;
}