Re: [CIL users] vid discrepancy

2009-05-28 Thread georgebaah
Hi David, It's my fault, vids DO match. George On May 28, 2009, at 3:53 PM, David Gay wrote: > On Thu, May 28, 2009 at 11:08 AM, georgebaah > wrote: >> Hi All, >> How come the vids of sformal variables don't match >> the vids of their uses in a function? Is this a bug in CIL? > > I'

Re: [CIL users] vid discrepancy

2009-05-28 Thread David Gay
On Thu, May 28, 2009 at 11:08 AM, georgebaah wrote: > Hi All, >   How come the vids of sformal variables don't match > the vids of their uses in a function?  Is this a bug in CIL? I'm surprised - the Lval should be pointing to the same varinfo structure so this should not be possible. Do you have