144 struct smatch_state *state;
145 const char *type;
146
147 if (!sym || !sym->ident)
148 return "ARG_UNDEFINED";
149 type = get_arg_type_from_type(sym);
150 if (type)
151 return type;
152 state = get_state(my_id, sym->ident->name, sym);
153 if (!state)
154 return "ARG_UNDEFINED";
155 return state->name;
156 }
157
158 void check_syscall_arg_type(int id)
159 {
160 my_id = id;
161 if (option_project != PROJ_KERNEL)
162 return;
163
164 add_merge_hook(my_id, &merge_states);
165 add_function_hook("fdget", &match_fdget, NULL);
166 }
167
168
|
144 struct smatch_state *state;
145 const char *type;
146
147 if (!sym || !sym->ident)
148 return "ARG_UNDEFINED";
149 type = get_arg_type_from_type(sym);
150 if (type)
151 return type;
152 state = get_state(my_id, sym->ident->name, sym);
153 if (!state)
154 return "ARG_UNDEFINED";
155 return state->name;
156 }
157
158 void check_syscall_arg_type(int id)
159 {
160 my_id = id;
161 if (option_project != PROJ_KERNEL)
162 return;
163
164 set_dynamic_states(my_id);
165 add_merge_hook(my_id, &merge_states);
166 add_function_hook("fdget", &match_fdget, NULL);
167 }
168
169
|