2 * sparse/check_err_ptr.c
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_slist.h"
15 static int err_ptr
= 0;
16 static int returns_null
= 0;
18 static void match_err_ptr(struct expression
*expr
)
20 expr
= strip_expr(expr
);
23 if (expr
->type
!= EXPR_CALL
)
26 if (expr
->fn
->type
!= EXPR_SYMBOL
|| !expr
->fn
->symbol
)
28 if (!strcmp(expr
->fn
->symbol
->ident
->name
, "ERR_PTR"))
32 extern int check_assigned_expr_id
;
33 static void match_return(struct expression
*ret_value
)
35 struct state_list
*slist
;
39 match_err_ptr(ret_value
);
40 slist
= get_possible_states_expr(check_assigned_expr_id
, ret_value
);
41 FOR_EACH_PTR(slist
, tmp
) {
42 if (tmp
->state
== &undefined
|| tmp
->state
== &merged
)
44 match_err_ptr((struct expression
*)tmp
->state
->data
);
45 } END_FOR_EACH_PTR(tmp
);
47 if (get_implied_value_sval(ret_value
, &sval
)) {
53 static void match_end_func(struct symbol
*sym
)
56 sm_info("returns_err_ptr");
61 void check_err_ptr(int id
)
63 if (option_project
!= PROJ_KERNEL
)
69 add_hook(&match_return
, RETURN_HOOK
);
70 add_hook(&match_end_func
, END_FUNC_HOOK
);