From: Yury Gribov Date: Wed, 10 Jun 2015 07:16:02 +0000 (+0000) Subject: [ASan] Quick-fix tests for new string interceptors. X-Git-Tag: llvmorg-3.7.0-rc1~2626 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ef40f0bbff6bdded23b2e14326cd4d6ea3187f13;p=platform%2Fupstream%2Fllvm.git [ASan] Quick-fix tests for new string interceptors. Patch by Maria Guseva. Differential Revision: http://reviews.llvm.org/D10336 llvm-svn: 239461 --- diff --git a/compiler-rt/test/asan/TestCases/strcasestr-1.c b/compiler-rt/test/asan/TestCases/strcasestr-1.c index 5b864e0..15ccf34 100644 --- a/compiler-rt/test/asan/TestCases/strcasestr-1.c +++ b/compiler-rt/test/asan/TestCases/strcasestr-1.c @@ -15,10 +15,10 @@ int main(int argc, char **argv) { char *r = 0; char s2[] = "c"; - char s1[] = {'a', 'b'}; + char s1[] = {'a', 'C'}; char s3 = 0; r = strcasestr(s1, s2); // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == 0); + assert(r == s1 + 1); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strcspn-1.c b/compiler-rt/test/asan/TestCases/strcspn-1.c index edbfa25..3f23039 100644 --- a/compiler-rt/test/asan/TestCases/strcspn-1.c +++ b/compiler-rt/test/asan/TestCases/strcspn-1.c @@ -10,10 +10,10 @@ int main(int argc, char **argv) { size_t r; char s2[] = "ab"; - char s1[] = {'c', 'd'}; + char s1[] = {'c', 'a'}; char s3 = 0; r = strcspn(s1, s2); // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r >= sizeof(s1)); + assert(r == 1); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strcspn-2.c b/compiler-rt/test/asan/TestCases/strcspn-2.c index c4e2691..dd418f1 100644 --- a/compiler-rt/test/asan/TestCases/strcspn-2.c +++ b/compiler-rt/test/asan/TestCases/strcspn-2.c @@ -10,10 +10,10 @@ int main(int argc, char **argv) { size_t r; char s1[] = "ab"; - char s2[] = {'c', 'd'}; + char s2[] = {'a'}; char s3 = 0; r = strcspn(s1, s2); // CHECK:'s{{[2|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == sizeof(s1) - 1); + assert(r == 0); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strpbrk-1.c b/compiler-rt/test/asan/TestCases/strpbrk-1.c index 65d79aa..25b32b3 100644 --- a/compiler-rt/test/asan/TestCases/strpbrk-1.c +++ b/compiler-rt/test/asan/TestCases/strpbrk-1.c @@ -10,10 +10,10 @@ int main(int argc, char **argv) { char *r; char s2[] = "ab"; - char s1[] = {'c', 'd'}; - char s3[] = "a"; + char s1[] = {'c', 'a'}; + char s3 = 0; r = strpbrk(s1, s2); // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r <= s3); + assert(r == s1 + 1); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strpbrk-2.c b/compiler-rt/test/asan/TestCases/strpbrk-2.c index 556c8da..2c92723 100644 --- a/compiler-rt/test/asan/TestCases/strpbrk-2.c +++ b/compiler-rt/test/asan/TestCases/strpbrk-2.c @@ -9,11 +9,11 @@ int main(int argc, char **argv) { char *r; - char s1[] = "a"; + char s1[] = "c"; char s2[] = {'b', 'c'}; char s3 = 0; r = strpbrk(s1, s2); // CHECK:'s{{[2|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == (r ? s1 : 0)); + assert(r == s1); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strspn-1.c b/compiler-rt/test/asan/TestCases/strspn-1.c index 8672b08..f906bc5 100644 --- a/compiler-rt/test/asan/TestCases/strspn-1.c +++ b/compiler-rt/test/asan/TestCases/strspn-1.c @@ -10,10 +10,10 @@ int main(int argc, char **argv) { size_t r; char s2[] = "ab"; - char s1[] = {'a', 'a'}; + char s1[] = {'a', 'c'}; char s3 = 0; r = strspn(s1, s2); // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r >= sizeof(s1)); + assert(r == 1); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strspn-2.c b/compiler-rt/test/asan/TestCases/strspn-2.c index dbd7b78..d9f831d 100644 --- a/compiler-rt/test/asan/TestCases/strspn-2.c +++ b/compiler-rt/test/asan/TestCases/strspn-2.c @@ -9,11 +9,11 @@ int main(int argc, char **argv) { size_t r; - char s1[] = "cc"; + char s1[] = "bbc"; char s2[] = {'a', 'b'}; char s3 = 0; r = strspn(s1, s2); // CHECK:'s{{[2|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == 0); + assert(r >= 2); return 0; } diff --git a/compiler-rt/test/asan/TestCases/strstr-1.c b/compiler-rt/test/asan/TestCases/strstr-1.c index ac5dff2..bd5f21d 100644 --- a/compiler-rt/test/asan/TestCases/strstr-1.c +++ b/compiler-rt/test/asan/TestCases/strstr-1.c @@ -11,10 +11,10 @@ int main(int argc, char **argv) { char *r = 0; char s2[] = "c"; - char s1[] = {'a', 'b'}; + char s1[] = {'a', 'c'}; char s3 = 0; r = strstr(s1, s2); // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == 0); + assert(r == s1 + 1); return 0; }