Print this page
11506 smatch resync
*** 111,121 ****
token = token->next;
while (token_type(token) != TOKEN_STREAMEND) {
if (token_type(token) != TOKEN_IDENT)
return;
func = show_ident(token->ident);
! return_implies_state(func, valid_ptr_min, valid_ptr_max,
&match_returns_held, NULL);
return_implies_state(func, 0, 0, &match_returns_null,
NULL);
token = token->next;
}
--- 111,121 ----
token = token->next;
while (token_type(token) != TOKEN_STREAMEND) {
if (token_type(token) != TOKEN_IDENT)
return;
func = show_ident(token->ident);
! return_implies_state_sval(func, valid_ptr_min_sval, valid_ptr_max_sval,
&match_returns_held, NULL);
return_implies_state(func, 0, 0, &match_returns_null,
NULL);
token = token->next;
}