summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis
diff options
context:
space:
mode:
authorJohn McCall <rjmccall@apple.com>2010-09-02 22:27:38 +0000
committerJohn McCall <rjmccall@apple.com>2010-09-02 22:27:38 +0000
commit310083c3e37171e090aedd032585f9438e9e702b (patch)
tree6bcadc119c2d2604606dc01f1f7a2516f0fcbbd5 /clang/test/Analysis
parentec9b5fe1310e149e0d43cb1b6848e83505b306a4 (diff)
downloadbcm5719-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.c4
-rw-r--r--clang/test/Analysis/null-deref-ps.c2
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
OpenPOWER on IntegriCloud