[LLVMdev] c const

[Christopher Lamb]

On Aug 22, 2007, at 3:48 PM, Duncan Sands wrote:

> Hi Christopher,
>
>> If A and B are function arguments then there is no "based on"
>> relationship between pointer expressions A+0 and B+0. This is because
>> changing one of the pointers, A for example, to point to a copy of
>> the object it points to would change the value of the pointer
>> expression A+0, but not the expression B+0.
>
> I was assuming that *(A+0) and *(B+0) are pointer expressions.  Is
> that not the case?

I believe the expressions you mention are indeed not  pointer  
expressions as they evaluate to a value of the pointed-to type rather  
than a pointer to the type. Only pointers may be "based on" other  
pointers from my reading of the spec.

--
Christopher Lamb



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070822/c3d480b2/attachment.html>