Powered by Linux
[PATCH] Fix divide by zero message — Semantic Matching Tool

[PATCH] Fix divide by zero message

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux