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

/*
 * Some GCC builtin functions return bool, and in lint's strict bool mode,
 * that makes a difference.
 *
 * https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
 */

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

void
is_overflow(void)
{
	int sum;

	if (__builtin_add_overflow(1, 2, &sum))
		return;

	if (__builtin_add_overflow_p(1, 2, 12345))
		return;

	/* expect+1: error: controlling expression must be bool, not 'int' [333] */
	if (__builtin_other(1, 2, 12345))
		return;
}