implied: add a timeout in smatch_implied.c
[smatch.git] / check_return_negative_var.c
blob03db82e12ac52440f9d18ffd7a543d8057124a96
1 /*
2 * Copyright (C) 2011 Dan Carpenter.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
18 #include "smatch.h"
19 #include "smatch_slist.h"
21 static int my_id;
23 static void match_return(struct expression *ret_value)
25 struct expression *expr;
26 char *macro;
28 if (!ret_value)
29 return;
30 expr = ret_value;
31 if (ret_value->type != EXPR_PREOP || ret_value->op != '-')
32 return;
34 macro = get_macro_name(expr->unop->pos);
35 if (macro && !strcmp(macro, "PTR_ERR")) {
36 sm_msg("warn: returning -%s()", macro);
37 return;
40 if (!option_spammy)
41 return;
43 expr = get_assigned_expr(ret_value->unop);
44 if (!expr)
45 return;
46 if (expr->type != EXPR_CALL)
47 return;
49 sm_msg("warn: should this return really be negated?");
52 void check_return_negative_var(int id)
54 if (option_project != PROJ_KERNEL)
55 return;
57 my_id = id;
58 add_hook(&match_return, RETURN_HOOK);