aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorPekka Enberg <penberg@kernel.org>2011-08-22 16:57:29 +0300
committerChristopher Li <sparse@chrisli.org>2011-08-25 20:31:35 -0700
commit8376ab091a5ab1850797fd203f31ae97a1287b23 (patch)
tree56c0b18c47bb3058b146c47374e20678b37980fd /validation
parenta7a00d5108c36b8baaf54814aa1f42583dabc754 (diff)
downloadsparse-dev-8376ab091a5ab1850797fd203f31ae97a1287b23.tar.gz
sparse: Fix __builtin_safe_p for pure and const functions
This patch fixes __builtin_safe_p() to work properly for calls to pure functions. Cc: Christopher Li <sparse@chrisli.org> Cc: Linus Torvalds <torvalds@linux-foundation.org> Signed-off-by: Pekka Enberg <penberg@kernel.org> Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
-rw-r--r--validation/builtin_safe1.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/builtin_safe1.c b/validation/builtin_safe1.c
index 2f6c9d27..eeddcc82 100644
--- a/validation/builtin_safe1.c
+++ b/validation/builtin_safe1.c
@@ -26,7 +26,6 @@ static int foo(int x, int y)
/*
* check-name: __builtin_safe
- * check-known-to-fail
* check-error-start
builtin_safe1.c:13:3: warning: Macro argument with side effects: x++
builtin_safe1.c:14:3: warning: Macro argument with side effects: x+=1