[cfe-dev] [BUG] in clang's type system

[Alexander Herz]

  Hm, looking into the assembly file I atteched there are annotations 
for the type names (e.g. class.vBase1) which are incorrect. Does that 
not qualify as a bug/problem? I'm aware of the debug info. Still the 
(bit)cast generated by clang casts unrelated pointers....

Alex

Am 24.08.2010 14:15, schrieb David Chisnall:
> On 24 Aug 2010, at 13:04, Alexander Herz wrote:
>
>> I found a bug in the types produced by the clang front end when using different classes that produce the same LLVM type (e.g. pure virtual classes:
> No you didn't, you found the expected behaviour.  LLVM types are structural types, they are not intended to encapsulate all of the source language type information (this can be attached to metadata, if required, and is in the debug info).  If you source language types have the same layout, they MUST have the same LLVM type, or a number of optimisations would fail.
>
> Remember what the LL stands for in LLVM.
>
> David
>
>
> -- Sent from my Apple II
>