Hui Zhu wrote:
> Thanks Michael and Jilin,
> 
> I think the Michael's patch is more spend up.  Jilin's patch is more
> clear and can handle set_record_insn_max_num.
> 
> I suggest we choice speed up.  Do you think it's OK?
> 
> If we choice it, Michael, could you please add some comments to
> "record_list_release_first" or change it's name to
> "record_list_release_first_without_update_xxx" to make it clear.
> And please update set_record_insn_max_num.

Hah, sorry, I completely missed the implications for 
set_record_insn_max_num.  Thanks Jilin for catching it.

New diff: