/*	$NetBSD: msg_158.c,v 1.6 2023/03/28 14:44:35 rillig Exp $	*/
# 3 "msg_158.c"

// Test for message: '%s' may be used before set [158]

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

void sink_int(int);

void
example(int arg)
{
	int twice_arg;

	/* expect+1: warning: 'twice_arg' may be used before set [158] */
	sink_int(twice_arg);
	twice_arg = 2 * arg;
	sink_int(twice_arg);
}

void
conditionally_used(int arg)
{
	int twice_arg;

	if (arg > 0)
		twice_arg = 2 * arg;
	if (arg > 0)
		sink_int(twice_arg);
}

void
conditionally_unused(int arg)
{
	int twice_arg;

	if (arg > 0)
		twice_arg = 2 * arg;

	/*
	 * This situation is not detected by lint as it does not track the
	 * possible code paths for all conditions.
	 */
	if (arg < 0)
		sink_int(twice_arg);
}