Re: intended use of "safe"?

[Christopher Li <sparse@xxxxxxxxxxx>]

On Thu, Aug 11, 2011 at 10:14 AM, Ben Pfaff <blp@xxxxxxxxxxxxxxx> wrote:
> What is the intended use of the sparse "safe" attribute?  I do
> not see any uses of it in Linux (although there is a __safe macro
> for it).  I don't see any documentation for it either.

I don't know much about the safe attribute either. I find out the
commit which introduce the safe attribute by "git blame".

If a pointer is never NULL, there is not need to test the pointer.

Chris

commit 98f14350c26518f0f5c45632d145a218d468d8b8
Author: Linus Torvalds <torvalds@xxxxxxxxxxxxxxx>
Date:   Fri Apr 16 18:19:30 2004 -0700

    Introduce "safe" pointer expressions.

    These are defined to never be NULL or nontrapping, and could
    help code generation, but right now only cause a warning if
    they are tested in a conditional.
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html