2 * Copyright (C) 2018 Oracle.
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
21 #include "smatch_slist.h"
22 #include "smatch_extra.h"
28 static bool in_nospec_stmt
;
30 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
32 struct range_list
*rl
;
34 if (__in_function_def
&& !get_user_rl_var_sym(sm
->name
, sm
->sym
, &rl
))
39 bool is_nospec(struct expression
*expr
)
47 if (get_state_expr(my_id
, expr
) == &nospec
)
49 macro
= get_macro_name(expr
->pos
);
50 if (macro
&& strcmp(macro
, "array_index_nospec") == 0)
55 static void nospec_assign(struct expression
*expr
)
57 if (is_nospec(expr
->right
))
58 set_state_expr(my_id
, expr
->left
, &nospec
);
61 static void set_param_nospec(const char *name
, struct symbol
*sym
, char *key
, char *value
)
65 if (strcmp(key
, "*$") == 0)
66 snprintf(fullname
, sizeof(fullname
), "*%s", name
);
67 else if (strncmp(key
, "$", 1) == 0)
68 snprintf(fullname
, 256, "%s%s", name
, key
+ 1);
72 set_state(my_id
, fullname
, sym
, &nospec
);
75 static void match_call_info(struct expression
*expr
)
77 struct expression
*arg
;
80 FOR_EACH_PTR(expr
->args
, arg
) {
81 if (get_state_expr(my_id
, arg
) == &nospec
)
82 sql_insert_caller_info(expr
, NOSPEC
, i
, "$", "");
84 } END_FOR_EACH_PTR(arg
);
87 static void struct_member_callback(struct expression
*call
, int param
, char *printed_name
, struct sm_state
*sm
)
89 sql_insert_caller_info(call
, NOSPEC
, param
, printed_name
, "");
92 static void returned_struct_members(int return_id
, char *return_ranges
, struct expression
*expr
)
94 struct symbol
*returned_sym
;
96 const char *param_name
;
99 returned_sym
= expr_to_sym(expr
);
101 FOR_EACH_MY_SM(my_id
, __get_cur_stree(), sm
) {
102 param
= get_param_num_from_sym(sm
->sym
);
104 if (!returned_sym
|| returned_sym
!= sm
->sym
)
109 param_name
= get_param_name(sm
);
112 if (param
!= -1 && strcmp(param_name
, "$") == 0)
115 sql_insert_return_states(return_id
, return_ranges
, NOSPEC
, param
, param_name
, "");
116 } END_FOR_EACH_SM(sm
);
119 sql_insert_return_states(return_id
, return_ranges
, NOSPEC
, -1, "$", "");
122 static int is_return_statement(void)
124 if (__cur_stmt
&& __cur_stmt
->type
== STMT_RETURN
)
129 static void db_returns_nospec(struct expression
*expr
, int param
, char *key
, char *value
)
131 struct expression
*call
;
132 struct expression
*arg
;
137 while (call
->type
== EXPR_ASSIGNMENT
)
138 call
= strip_expr(call
->right
);
139 if (call
->type
!= EXPR_CALL
)
142 if (param
== -1 && expr
->type
== EXPR_ASSIGNMENT
) {
143 name
= get_variable_from_key(expr
->left
, key
, &sym
);
144 } else if (param
== -1 && is_return_statement()) {
145 in_nospec_stmt
= true;
147 arg
= get_argument_from_call_expr(call
->args
, param
);
150 name
= get_variable_from_key(arg
, key
, &sym
);
155 set_state(my_id
, name
, sym
, &nospec
);
160 static int is_nospec_asm(struct statement
*stmt
)
164 if (!stmt
|| stmt
->type
!= STMT_ASM
)
166 macro
= get_macro_name(stmt
->asm_string
->pos
);
167 if (!macro
|| strcmp(macro
, "CALL_NOSPEC") != 0)
172 static void match_asm(struct statement
*stmt
)
174 if (is_nospec_asm(stmt
))
175 in_nospec_stmt
= true;
178 static void match_after_nospec_asm(struct statement
*stmt
)
180 in_nospec_stmt
= false;
183 void check_nospec(int id
)
187 add_hook(&nospec_assign
, ASSIGNMENT_HOOK
);
189 select_caller_info_hook(set_param_nospec
, NOSPEC
);
190 add_unmatched_state_hook(my_id
, &unmatched_state
);
192 add_hook(&match_call_info
, FUNCTION_CALL_HOOK
);
193 add_member_info_callback(my_id
, struct_member_callback
);
194 add_split_return_callback(&returned_struct_members
);
195 select_return_states_hook(NOSPEC
, &db_returns_nospec
);
197 add_hook(&match_asm
, ASM_HOOK
);
198 add_hook(&match_after_nospec_asm
, STMT_HOOK_AFTER
);