diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2010-06-28 08:26:15 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2010-06-28 08:26:15 +0000 |
| commit | 61176897bac13ed98d566b1cc0f8d0451ec3926b (patch) | |
| tree | 8980644b0cae7352c6161401ae238b368a56d42d /clang/test/Analysis/constant-folding.c | |
| parent | fb6f22f010904322f580a7513f6a80e88338ecb4 (diff) | |
| download | bcm5719-llvm-61176897bac13ed98d566b1cc0f8d0451ec3926b.tar.gz bcm5719-llvm-61176897bac13ed98d566b1cc0f8d0451ec3926b.zip | |
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
llvm-svn: 106992
Diffstat (limited to 'clang/test/Analysis/constant-folding.c')
| -rw-r--r-- | clang/test/Analysis/constant-folding.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/clang/test/Analysis/constant-folding.c b/clang/test/Analysis/constant-folding.c index 5b0d80fd39f..6ed2b390cf7 100644 --- a/clang/test/Analysis/constant-folding.c +++ b/clang/test/Analysis/constant-folding.c @@ -59,3 +59,14 @@ void testAsymmetricIntSymOperations (int a) { if ((((unsigned)(~0)) >> ((unsigned) a)) != ((unsigned)(~0))) WARN; // expected-warning{{}} } + +void testLocations (char *a) { + char *b = a; + if (!(b==a)) WARN; + if (!(b>=a)) WARN; + if (!(b<=a)) WARN; + if (b!=a) WARN; + if (b>a) WARN; + if (b<a) WARN; + if (b-a) WARN; +} |
