Make *both* divide by zero messages sm_debug(). --- smatch_sval.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_sval.c b/smatch_sval.c index a39e36ad..6fe29cda 100644 --- a/smatch_sval.c +++ b/smatch_sval.c @@ -327,7 +327,7 @@ static sval_t sval_binop_unsigned(struct symbol *type, sval_t left, int op, sval break; case '/': if (right.uvalue == 0) { - sm_msg("debug: %s: divide by zero", __func__); + sm_debug("%s: divide by zero", __func__); ret.uvalue = 123456789; } else { ret.uvalue = left.uvalue / right.uvalue; -- 2.17.1