diff options
| author | Christopher Li <sparse@chrisli.org> | 2013-04-25 18:09:43 -0700 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2013-04-26 08:27:41 -0700 |
| commit | 5449cfbfe55eea2a602a40122c122b5040d67243 (patch) | |
| tree | 5338288223e6433c0c805f4d54665ca034191ee5 /validation | |
| parent | 9aadf85a29be2a74e46fc67b5313d41aee81dac7 (diff) | |
| download | sparse-dev-5449cfbfe55eea2a602a40122c122b5040d67243.tar.gz | |
Allow forced attribute in function argumentv0.4.5-rc1
It will indicate this argument will skip the type compatible check.
It allow PTR_ERR() to accept __iomem pointer without complaining.
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/fored_arg.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/validation/fored_arg.c b/validation/fored_arg.c new file mode 100644 index 00000000..4ab71419 --- /dev/null +++ b/validation/fored_arg.c @@ -0,0 +1,18 @@ +/* + * check-name: Forced function argument type. + */ + +#define __iomem __attribute__((noderef, address_space(2))) +#define __force __attribute__((force)) + +static void foo(__force void * addr) +{ +} + + +static void bar(void) +{ + void __iomem *a; + foo(a); +} + |