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

[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