11506 smatch resync
@@ -111,11 +111,11 @@ 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, + 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; }