On Jan 9, 2008, at 6:57 AM, Nuno Lopes wrote: >>>> My initial idea was to extend this to user-space (I even sent a >>>> proposal to >>>> the gcc mailing list some time ago). >>> >>> 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. >> >> 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. > > > Uhm I wonder how this relates with the varargs function checks I was > talking > about.. As you probably know gcc supports the printf checks through an > __attribute__, and I don't know how the address spaces thing could > be used > to parse the format string and so on. (please enlighten me if I'm > wrong!).
Oh, it has nothing to do with it. You mentioned "user-space" and it triggered a random association in my brain. :) -Chris _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
