Michael Snyder wrote:
> Michael Snyder wrote:
>> Hui Zhu wrote:
>>> Thanks Michael,
>>>
>>> I have 2 questions for this patch:
>>>
>>> 1.  info rec will not show record_insn_num?
>> It does!  See below...
>>
>>> 2.  (gdb) info rec
>>> Lowest  recorded instruction number is 0.
>>> Current instruction number is 46.
>>> Highest recorded instruction number is 1016.
>> This is your record_insn_num -- the highest recorded insn num.
> 
> Oh, sorry, I'm wrong about that.
> I'll post a new patch.

Looks like I forgot to post a new patch!  Here...