diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2014-12-06 00:00:09 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-12-06 00:00:09 +0100 |
| commit | 06dd2aceb1855a33008066e285db77e28bbffa16 (patch) | |
| tree | a6aec67162141abb0a0ec3158b81ddd7c15b82fe /gcc/testsuite/gcc.dg/asan | |
| parent | 40da08e0dd91017678b20cb1db2cb529f64d33df (diff) | |
| download | gcc-06dd2aceb1855a33008066e285db77e28bbffa16.zip gcc-06dd2aceb1855a33008066e285db77e28bbffa16.tar.gz gcc-06dd2aceb1855a33008066e285db77e28bbffa16.tar.bz2 | |
re PR sanitizer/64170 (ICE compiling Linux Kernel drivers/media/rc/imon.c in imon_incoming_packet)
PR sanitizer/64170
* sanopt.c (maybe_optimize_asan_check_ifn): If base_checks is
non-NULL, call maybe_get_dominating_check on it even if g is
non-NULL.
* gcc.dg/asan/pr64170.c: New test.
From-SVN: r218440
Diffstat (limited to 'gcc/testsuite/gcc.dg/asan')
| -rw-r--r-- | gcc/testsuite/gcc.dg/asan/pr64170.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/asan/pr64170.c b/gcc/testsuite/gcc.dg/asan/pr64170.c new file mode 100644 index 0000000..c4edcaa --- /dev/null +++ b/gcc/testsuite/gcc.dg/asan/pr64170.c @@ -0,0 +1,17 @@ +/* PR sanitizer/64170 */ +/* { dg-do compile } */ +/* { dg-options "-fsanitize=address,null" } */ + +int a, *b, c; +void bar (int); + +void +foo (void) +{ + char *d = (char *) b; + if (d[0] && d[1]) + return; + if (c) + a = *(int *) d; + bar (*(int *) d); +} |