On Wed, Jul 18, 2012 at 4:35 PM, Dodji Seketeli wrote:
> Dehao Chen writes:
>
>> Hi, Dodji,
>>
>> Thanks for the comments.
>
> You are welcome.
>
> [...]
>
>> We difinitely need to modify the linemap to associate the pointer with
>> the location_t.
>
> And that is the hard part. :-)
You are rig
On Wed, Jul 18, 2012 at 1:04 AM, Dehao Chen wrote:
> Hi, Dodji,
>
> Thanks for the comments.
>
> On Tue, Jul 17, 2012 at 11:32 PM, Dodji Seketeli wrote:
>>
>> Dehao Chen writes:
>>
>> > Thanks Richard,
>> >
>> > Hi, Dodji,
>>
>> Hi Dehao,
>>
>> > In gcc, we've met many cases where location_t and
