2 * smatch/smatch_capped.c
4 * Copyright (C) 2011 Oracle. All rights reserved.
6 * Licensed under the Open Software License version 1.1
11 * This is trying to make a list of the variables which
12 * have capped values. Sometimes we don't know what the
13 * cap is, for example if we are comparing variables but
14 * we don't know the values of the variables. In that
15 * case we only know that our variable is capped and we
16 * sort that information here.
20 #include "smatch_slist.h"
27 static int is_capped_macro(struct expression
*expr
)
31 name
= get_macro_name(expr
->pos
);
35 if (strcmp(name
, "min") == 0)
37 if (strcmp(name
, "MIN") == 0)
39 if (strcmp(name
, "min_t") == 0)
45 int is_capped(struct expression
*expr
)
49 expr
= strip_expr(expr
);
53 if (get_implied_value(expr
, &dummy
))
56 if (is_capped_macro(expr
))
59 if (expr
->type
== EXPR_BINOP
) {
62 if (expr
->op
== SPECIAL_RIGHTSHIFT
)
65 return is_capped(expr
->right
);
66 if (!is_capped(expr
->left
))
70 if (!is_capped(expr
->right
))
74 if (get_state_expr(my_id
, expr
) == &capped
)
79 void set_param_capped_data(const char *name
, struct symbol
*sym
, char *key
, char *value
)
83 if (strncmp(key
, "$$", 2))
85 snprintf(fullname
, 256, "%s%s", name
, key
+ 2);
86 set_state(my_id
, fullname
, sym
, &capped
);
89 static void match_condition(struct expression
*expr
)
91 struct smatch_state
*left_true
= NULL
;
92 struct smatch_state
*left_false
= NULL
;
93 struct smatch_state
*right_true
= NULL
;
94 struct smatch_state
*right_false
= NULL
;
97 if (expr
->type
!= EXPR_COMPARE
)
103 case SPECIAL_UNSIGNED_LT
:
104 case SPECIAL_UNSIGNED_LTE
:
106 right_false
= &capped
;
110 case SPECIAL_UNSIGNED_GT
:
111 case SPECIAL_UNSIGNED_GTE
:
112 left_false
= &capped
;
113 right_true
= &capped
;
117 right_true
= &capped
;
119 case SPECIAL_NOTEQUAL
:
120 left_false
= &capped
;
121 right_false
= &capped
;
128 set_true_false_states_expr(my_id
, expr
->right
, right_true
, right_false
);
129 set_true_false_states_expr(my_id
, expr
->left
, left_true
, left_false
);
132 static void match_assign(struct expression
*expr
)
134 if (is_capped(expr
->right
)) {
135 set_state_expr(my_id
, expr
->left
, &capped
);
137 if (get_state_expr(my_id
, expr
->left
))
138 set_state_expr(my_id
, expr
->left
, &uncapped
);
142 static void match_caller_info(struct expression
*expr
)
144 struct expression
*tmp
;
148 FOR_EACH_PTR(expr
->args
, tmp
) {
150 sql_insert_caller_info(expr
, CAPPED_DATA
, i
, "$$", "1");
152 } END_FOR_EACH_PTR(tmp
);
155 static void struct_member_callback(struct expression
*call
, int param
, char *printed_name
, struct smatch_state
*state
)
157 if (state
!= &capped
)
159 sql_insert_caller_info(call
, CAPPED_DATA
, param
, printed_name
, "1");
162 void register_capped(int id
)
166 add_definition_db_callback(set_param_capped_data
, CAPPED_DATA
);
167 add_hook(&match_condition
, CONDITION_HOOK
);
168 add_hook(&match_assign
, ASSIGNMENT_HOOK
);
170 add_hook(&match_caller_info
, FUNCTION_CALL_HOOK
);
171 add_member_info_callback(my_id
, struct_member_callback
);