diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-10-29 01:06:54 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-10-29 01:06:54 +0000 |
| commit | 310c5a8e317f2f31f2df41a1ab75e74d70f8d76a (patch) | |
| tree | 3d8b74a9634ee5de8640797234bf24635f80dfae /clang/test/Analysis/idempotent-operations.c | |
| parent | 55ccf4e81f62fa51b395ead095bcf326ab5616d3 (diff) | |
| download | bcm5719-llvm-310c5a8e317f2f31f2df41a1ab75e74d70f8d76a.tar.gz bcm5719-llvm-310c5a8e317f2f31f2df41a1ab75e74d70f8d76a.zip | |
Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives).
Fixes <rdar://problem/8601243>.
llvm-svn: 117635
Diffstat (limited to 'clang/test/Analysis/idempotent-operations.c')
| -rw-r--r-- | clang/test/Analysis/idempotent-operations.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/clang/test/Analysis/idempotent-operations.c b/clang/test/Analysis/idempotent-operations.c index c673f0062f0..197357f800e 100644 --- a/clang/test/Analysis/idempotent-operations.c +++ b/clang/test/Analysis/idempotent-operations.c @@ -224,3 +224,13 @@ static inline int RDar8431728_C(RDar8431728_D * s, int n, return pred; } +// <rdar://problem/8601243> - Don't warn on pointer arithmetic. This +// is often idiomatic. +unsigned rdar8601243_aux(unsigned n); +void rdar8601243() { + char arr[100]; + char *start = arr; + start = start + rdar8601243_aux(sizeof(arr) - (arr - start)); // no-warning + (void) start; +} + |
