xref: /src/tests/usr.bin/xlint/lint1/msg_115.c

/*	$NetBSD: msg_115.c,v 1.11 2023/03/28 14:44:34 rillig Exp $	*/
# 3 "msg_115.c"

// Test for message: %soperand of '%s' must be modifiable lvalue [115]

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

void
example(const int *const_ptr)
{

	/* expect+1: warning: left operand of '=' must be modifiable lvalue [115] */
	*const_ptr = 3;
	/* expect+1: warning: left operand of '+=' must be modifiable lvalue [115] */
	*const_ptr += 1;
	/* expect+1: warning: left operand of '-=' must be modifiable lvalue [115] */
	*const_ptr -= 4;
	/* expect+1: warning: left operand of '*=' must be modifiable lvalue [115] */
	*const_ptr *= 1;
	/* expect+1: warning: left operand of '/=' must be modifiable lvalue [115] */
	*const_ptr /= 5;
	/* expect+1: warning: left operand of '%=' must be modifiable lvalue [115] */
	*const_ptr %= 9;
	/* expect+1: warning: operand of 'x++' must be modifiable lvalue [115] */
	(*const_ptr)++;

	/* In the next example, the left operand is not an lvalue at all. */
	/* expect+1: error: left operand of '=' must be lvalue [114] */
	(const_ptr + 3) = const_ptr;
}

typedef struct {
	int const member;
} const_member;

void take_const_member(const_member);

/*
 * Before init.c 1.208 from 2021-08-14 and decl.c 1.221 from 2021-08-10,
 * lint issued a wrong "warning: left operand of '%s' must be modifiable
 * lvalue", even in cases where the left operand was being initialized
 * instead of overwritten.
 *
 * See initialization_expr_using_op, typeok_assign, has_constant_member.
 * See C99 6.2.5p25.
 */
const_member
initialize_const_struct_member(void)
{
	/* In a simple initialization, const members can be assigned. */
	const_member cm1 = (const_member) { 12345 };

	if (cm1.member != 0)
		/* In a function call, const members can be assigned. */
		take_const_member(cm1);

	struct {
		const_member member;
	} cm2 = {
	    /* In a nested initialization, const members can be assigned. */
	    cm1,
	};
	if (cm2.member.member != 0) {
	}

	/* In a return statement, const members can be assigned. */
	return cm1;
}