/* $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 */
}