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

// Test for message: division by 0 [139]

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

void sink_int(int);
void sink_double(double);

void
example(int i)
{
	enum {
		zero = 0
	};

	sink_int(i / 0);	/* only triggers in constant expressions */
	sink_int(i / zero);	/* only triggers in constant expressions */
	sink_double(i / 0.0);

	/* expect+1: error: division by 0 [139] */
	sink_int(13 / 0);
	/* expect+1: error: division by 0 [139] */
	sink_int(13 / zero);
	/* expect+1: error: division by 0 [139] */
	sink_double(13 / 0.0);	/* XXX: Clang doesn't warn */
	/* expect+1: error: division by 0 [139] */
	sink_double(13 / -0.0);	/* XXX: Clang doesn't warn */
}