1 /*
2  * Copyright (C) 2013 Oracle.
3  *
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.
8  *
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.
13  *
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
16  */
17 
18 /*
19  * struct foo { char buf[10]; };
20  *
21  * struct foo *p = something();
22  * if (p->buf) { ...
23  *
24  */
25 
26 #include "smatch.h"
27 
28 static int my_id;
29 
match_condition(struct expression * expr)30 static void match_condition(struct expression *expr)
31 {
32 	struct symbol *type;
33 	char *str;
34 
35 	if (expr->type != EXPR_DEREF)
36 		return;
37 	type = get_type(expr);
38 	if (!type || type->type != SYM_ARRAY)
39 		return;
40 	if (get_macro_name(expr->pos))
41 		return;
42 
43 	str = expr_to_str(expr);
44 	sm_warning("this array is probably non-NULL. '%s'", str);
45 	free_string(str);
46 }
47 
check_array_condition(int id)48 void check_array_condition(int id)
49 {
50 	my_id = id;
51 	add_hook(&match_condition, CONDITION_HOOK);
52 }
53