diff options
| author | Matt Beaumont-Gay <matthewbg@google.com> | 2011-12-12 22:35:02 +0000 |
|---|---|---|
| committer | Matt Beaumont-Gay <matthewbg@google.com> | 2011-12-12 22:35:02 +0000 |
| commit | 8ef8f431aaeed3d7418959c81dfaa677b44f05ed (patch) | |
| tree | 68d9546a21321966543b909a88de8da676daf219 /test | |
| parent | 364a59ed8f0b3adb6a9eb9f2d687650ec1d0d8e5 (diff) | |
Suppress -Warray-bounds in certain cases involving macros from system headers.
The motivation here is a "clever" implementation of strncmp(), which peels the first few comparisons via chained conditional expressions which ensure that the input arrays are known at compile time to be sufficiently large.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146430 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/SemaCXX/Inputs/array-bounds-system-header.h | 11 | ||||
| -rw-r--r-- | test/SemaCXX/array-bounds-system-header.cpp | 9 |
2 files changed, 20 insertions, 0 deletions
diff --git a/test/SemaCXX/Inputs/array-bounds-system-header.h b/test/SemaCXX/Inputs/array-bounds-system-header.h new file mode 100644 index 0000000000..07cde80e9a --- /dev/null +++ b/test/SemaCXX/Inputs/array-bounds-system-header.h @@ -0,0 +1,11 @@ +// "System header" for testing that -Warray-bounds is properly suppressed in +// certain cases. + +#define BAD_MACRO_1 \ + int i[3]; \ + i[3] = 5 +#define BAD_MACRO_2(_b, _i) \ + (_b)[(_i)] = 5 +#define QUESTIONABLE_MACRO(_a) \ + sizeof(_a) > 3 ? (_a)[3] = 5 : 5 +#define NOP(x) (x) diff --git a/test/SemaCXX/array-bounds-system-header.cpp b/test/SemaCXX/array-bounds-system-header.cpp new file mode 100644 index 0000000000..34de5b5819 --- /dev/null +++ b/test/SemaCXX/array-bounds-system-header.cpp @@ -0,0 +1,9 @@ +// RUN: %clang_cc1 -isystem %S/Inputs -verify %s +#include <array-bounds-system-header.h> +void test_system_header_macro() { + BAD_MACRO_1; // no-warning + char a[3]; // expected-note 2 {{declared here}} + BAD_MACRO_2(a, 3); // expected-warning {{array index 3}} + QUESTIONABLE_MACRO(a); + NOP(a[3] = 5); // expected-warning {{array index 3}} +} |