Print this page
11506 smatch resync

*** 128,137 **** --- 128,138 ---- void register_returns_early(int id) { RETURN_ID = id; + set_dynamic_states(RETURN_ID); add_split_return_callback(match_return); } void register_returns(int id) {