From 7197d40a649e1304805850c516e0d2fb8a2a7664 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Thu, 24 Jun 2010 11:06:12 +0000 Subject: [PATCH] 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 --- test/Analysis/additive-folding-range-constraints.c | 2 +- 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 // 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 // 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 -- 2.49.0