diff options
| author | John McCall <rjmccall@apple.com> | 2010-09-02 22:27:38 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2010-09-02 22:27:38 +0000 |
| commit | 310083c3e37171e090aedd032585f9438e9e702b (patch) | |
| tree | 6bcadc119c2d2604606dc01f1f7a2516f0fcbbd5 /clang/test/Analysis | |
| parent | ec9b5fe1310e149e0d43cb1b6848e83505b306a4 (diff) | |
| download | bcm5719-llvm-310083c3e37171e090aedd032585f9438e9e702b.tar.gz bcm5719-llvm-310083c3e37171e090aedd032585f9438e9e702b.zip | |
sabre points out that the timing here is pretty pessimal; I'll retry the
experiment in a few days.
llvm-svn: 112882
Diffstat (limited to 'clang/test/Analysis')
| -rw-r--r-- | clang/test/Analysis/additive-folding.c | 4 | ||||
| -rw-r--r-- | clang/test/Analysis/null-deref-ps.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/clang/test/Analysis/additive-folding.c b/clang/test/Analysis/additive-folding.c index 713f788ac0d..e4a56513396 100644 --- a/clang/test/Analysis/additive-folding.c +++ b/clang/test/Analysis/additive-folding.c @@ -183,14 +183,14 @@ void tautologyGT (unsigned a) { void tautologyGE (unsigned a) { char* b = malloc(1); - if (a >= 0) // expected-warning{{always true}} + if (a >= 0) free(b); return; // no-warning } void tautologyLT (unsigned a) { char* b = malloc(1); - if (a < 0) // expected-warning{{always false}} + if (a < 0) return; // expected-warning{{never executed}} free(b); } diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c index d4d18b4ff3b..8daa8450681 100644 --- a/clang/test/Analysis/null-deref-ps.c +++ b/clang/test/Analysis/null-deref-ps.c @@ -237,7 +237,7 @@ int* f10(int* p, signed char x, int y) { // Test case from <rdar://problem/6407949> void f11(unsigned i) { int *x = 0; - if (i >= 0) { // expected-warning{{always true}} + if (i >= 0) { // always true } else { *x = 42; // no-warning |

