[PATCH] Fix divide by zero message
John Levon <[email protected]>
| Newsgroups | org.kernel.vger.smatch |
|---|---|
| Message-ID | <[email protected]> |
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