[cfe-dev] my experience with clang

[Chris Lattner]

On Jan 8, 2008, at 9:19 PM, Christopher Lamb wrote:
>> One random and maybe interesting thought: the linux kernel people are
>> marking pointers as user or kernel and using their 'sparse' tool to
>> flag semantic violations.  Instead of adding special support to clang
>> to handle something like this, I wonder if Christopher's alternate
>> address space work could be used to handle this...
>
> Interesting possibility! If this is something you're interested in  
> I'll try to get my address spaces clang work committed sooner rather  
> than later.

It was just a random idea, nothing is driving it.  It would be  
interesting to see these patches when they are ready though, to match  
the llvm IR support.  No need to rush it though.

> Another use of these types of pointer attributes is Microsoft's  
> __ptr32/__ptr64, though I don't think that's so much for analysis as  
> pure pointer hackery.

Don't forget about support for 8086 machines with near and far  
pointers! ;-)

-Chris