* [PATCH] Fix divide by zero message
@ 2019-11-12 22:57 John Levon
0 siblings, 0 replies; only message in thread
From: John Levon @ 2019-11-12 22:57 UTC (permalink / raw)
To: smatch; +Cc: John Levon
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
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2019-11-12 23:15 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-12 22:57 [PATCH] Fix divide by zero message John Levon
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.