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#include "smatch.h"
19
20static int my_id;
21
22static void match_assign(const char *fn, struct expression *expr, void *_size_arg)
23{
24	int size_arg = PTR_INT(_size_arg);
25	struct expression *left;
26	struct expression *call;
27	struct expression *arg;
28	struct symbol *left_type;
29	struct symbol *size_type;
30
31	left = strip_expr(expr->left);
32	left_type = get_type(left);
33	if (!left_type || left_type->type != SYM_PTR)
34		return;
35	left_type = get_real_base_type(left_type);
36	if (!left_type || left_type->type != SYM_STRUCT)
37		return;
38
39	call = strip_expr(expr->right);
40	arg = get_argument_from_call_expr(call->args, size_arg);
41	if (!arg || arg->type != EXPR_SIZEOF || !arg->cast_type)
42		return;
43	size_type = arg->cast_type;
44	if (size_type->type != SYM_NODE)
45		return;
46	size_type = get_real_base_type(size_type);
47	if (size_type->type != SYM_STRUCT)
48		return;
49	if (strcmp(left_type->ident->name, size_type->ident->name) == 0)
50		return;
51	sm_warning("struct type mismatch '%s vs %s'", left_type->ident->name,
52	       size_type->ident->name);
53
54}
55
56void check_struct_type(int id)
57{
58	my_id = id;
59
60	if (option_project == PROJ_KERNEL) {
61		add_function_assign_hook("kmalloc", &match_assign, INT_PTR(0));
62		add_function_assign_hook("kzalloc", &match_assign, INT_PTR(0));
63	}
64}
65