diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2010-06-24 11:06:12 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2010-06-24 11:06:12 +0000 |
| commit | 7197d40a649e1304805850c516e0d2fb8a2a7664 (patch) | |
| tree | 4cd9a1d49ed65014dd6d3d3dd944451b785340b5 | |
| parent | 8dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfe (diff) | |
Don't depend on system headers in clang -cc1 tests.
The constant was copied from clang's limits.h.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106732 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/additive-folding-range-constraints.c | 2 | ||||
| -rw-r--r-- | test/Analysis/additive-folding.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/Analysis/additive-folding-range-constraints.c b/test/Analysis/additive-folding-range-constraints.c index 1202328e91..a8ca5d2e35 100644 --- a/test/Analysis/additive-folding-range-constraints.c +++ b/test/Analysis/additive-folding-range-constraints.c @@ -1,11 +1,11 @@ // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -verify -analyzer-constraints=range %s -#include <limits.h> // These are used to trigger warnings. typedef typeof(sizeof(int)) size_t; void *malloc(size_t); void free(void *); #define NULL ((void*)0) +#define UINT_MAX (__INT_MAX__ *2U +1U) // Each of these adjusted ranges has an adjustment small enough to split the // solution range across an overflow boundary (Min for <, Max for >). diff --git a/test/Analysis/additive-folding.c b/test/Analysis/additive-folding.c index dd3308713a..15d758800a 100644 --- a/test/Analysis/additive-folding.c +++ b/test/Analysis/additive-folding.c @@ -1,12 +1,12 @@ // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -verify -analyzer-constraints=basic %s // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-experimental-checks -verify -analyzer-constraints=range %s -#include <limits.h> // These are used to trigger warnings. typedef typeof(sizeof(int)) size_t; void *malloc(size_t); void free(void *); #define NULL ((void*)0) +#define UINT_MAX -1U //--------------- // Plus/minus |