Re: __user annotations

Sam Ravnborg (sam@ravnborg.org)
Sat, 7 Jun 2003 18:43:30 +0200


On Sat, Jun 07, 2003 at 09:25:43AM -0700, Linus Torvalds wrote:
>
> You can even have user pointers _inside_ the structure: because "sparse"

Since we start to know your checker by the name sparse, why not
call the default executable sparse?

Sam

===== Makefile 1.21 vs edited =====
--- 1.21/Makefile Tue Jun 3 03:15:27 2003
+++ edited/Makefile Sat Jun 7 18:41:15 2003
@@ -2,7 +2,7 @@
CFLAGS=-g -Wall
AR=ar

-PROGRAMS=test-lexing test-parsing obfuscate check
+PROGRAMS=test-lexing test-parsing obfuscate sparse

LIB_H= token.h parse.h lib.h symbol.h scope.h expression.h target.h

@@ -22,7 +22,7 @@
obfuscate: obfuscate.o $(LIB_FILE)
gcc -o $@ $< $(LIB_FILE)

-check: check.o $(LIB_FILE)
+sparse: check.o $(LIB_FILE)
gcc -o $@ $< $(LIB_FILE)

$(LIB_FILE): $(LIB_OBJS)
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/