diff options
author | Yury Gribov <y.gribov@samsung.com> | 2015-10-22 08:10:56 +0000 |
---|---|---|
committer | Yury Gribov <y.gribov@samsung.com> | 2015-10-22 08:10:56 +0000 |
commit | 6db176913c038833047640f591b18f105ac51732 (patch) | |
tree | f41de46539ca1b1d15e09e7a7a635c089e5bdf4c /test/asan/TestCases/strcasestr-1.c | |
parent | d6184a3b9865249280fdf03830f4b907855ea842 (diff) |
[asan] Get rid of UB in string tests. Patch by Max Ostapenko.
Differential revision: http://reviews.llvm.org/D13895
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@250998 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/asan/TestCases/strcasestr-1.c')
-rw-r--r-- | test/asan/TestCases/strcasestr-1.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/asan/TestCases/strcasestr-1.c b/test/asan/TestCases/strcasestr-1.c index 78e14d31f..c38871ea5 100644 --- a/test/asan/TestCases/strcasestr-1.c +++ b/test/asan/TestCases/strcasestr-1.c @@ -11,14 +11,15 @@ #define _GNU_SOURCE #include <assert.h> #include <string.h> +#include <sanitizer/asan_interface.h> int main(int argc, char **argv) { char *r = 0; char s2[] = "c"; - char s1[] = {'a', 'C'}; - char s3 = 0; + char s1[4] = "abC"; + __asan_poison_memory_region ((char *)&s1[2], 2); r = strcasestr(s1, s2); - // CHECK:'s{{[1|3]}}' <== Memory access at offset {{[0-9]+ .*}}flows this variable - assert(r == s1 + 1); + // CHECK:'s1' <== Memory access at offset {{[0-9]+}} partially overflows this variable + assert(r == s1 + 2); return 0; } |