]> git.hungrycats.org Git - linux/commit
projects / linux / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c98e754) | patch
Add __user attributes to user pointers in kernel/signal.c. This
authorLinus Torvalds <torvalds@penguin.transmeta.com>
Tue, 8 Apr 2003 10:13:12 +0000 (03:13 -0700)
committerLinus Torvalds <torvalds@home.transmeta.com>
Tue, 8 Apr 2003 10:13:12 +0000 (03:13 -0700)
commit8ffe0fb0a943e6e0f470aa5598122b3f113ae0b6
tree00a687f7c58c66150fcc12308124d13e6ac3f439tree | snapshot
parentc98e7542e40a1a5ec5d6cb475c630eb8dfe21513commit | diff
Add __user attributes to user pointers in kernel/signal.c. This
was the first file tested with my type checker with the anal
pointer attribute checking turned on.
kernel/signal.c diff | blob | history
Linux kernels and configurations used by Zygo.