diff options
| author | Marek Polacek <polacek@redhat.com> | 2016-05-06 09:47:25 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2016-05-06 09:47:25 +0000 |
| commit | 29c94e65e1be846e8a71a3d24450c4cf1d1d5b41 (patch) | |
| tree | 92fdb0faddfff9c5b045d105afa9159fe1b99b8f /gcc | |
| parent | 3684b02efb8df49a5795034657353d875333c86e (diff) | |
| download | gcc-29c94e65e1be846e8a71a3d24450c4cf1d1d5b41.zip gcc-29c94e65e1be846e8a71a3d24450c4cf1d1d5b41.tar.gz gcc-29c94e65e1be846e8a71a3d24450c4cf1d1d5b41.tar.bz2 | |
re PR sanitizer/70875 (ICE in get_ubsan_type_info_for_type with -fsanitize=undefined)
PR sanitizer/70875
* ubsan.c (get_ubsan_type_info_for_type): Remove assert.
* gcc.dg/ubsan/bounds-3.c: New test.
From-SVN: r235951
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ubsan/bounds-3.c | 22 | ||||
| -rw-r--r-- | gcc/ubsan.c | 1 |
4 files changed, 32 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 951ae2c..1c6c42c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-05-06 Marek Polacek <polacek@redhat.com> + + PR sanitizer/70875 + * ubsan.c (get_ubsan_type_info_for_type): Remove assert. + 2016-05-06 Oleg Endo <olegendo@gcc.gnu.org> PR target/54089 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 17773ce..aaf3e00 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-05-06 Marek Polacek <polacek@redhat.com> + + PR sanitizer/70875 + * gcc.dg/ubsan/bounds-3.c: New test. + 2016-05-06 Oleg Endo <olegendo@gcc.gnu.org> PR target/54089 diff --git a/gcc/testsuite/gcc.dg/ubsan/bounds-3.c b/gcc/testsuite/gcc.dg/ubsan/bounds-3.c new file mode 100644 index 0000000..50ad673 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ubsan/bounds-3.c @@ -0,0 +1,22 @@ +/* PR sanitizer/70875 */ +/* { dg-do run } */ +/* { dg-options "-fsanitize=bounds" } */ + +int +foo (int n, int k) +{ + struct S + { + int i[n]; + int value; + } s[2]; + return s[k].value = 0; +} + +int +main () +{ + return foo (2, 2); +} + +/* { dg-output "index 2 out of bounds for type 'S \\\[2\\\]'" } */ diff --git a/gcc/ubsan.c b/gcc/ubsan.c index 802341e..c5543f8 100644 --- a/gcc/ubsan.c +++ b/gcc/ubsan.c @@ -302,7 +302,6 @@ ubsan_source_location (location_t loc) static unsigned short get_ubsan_type_info_for_type (tree type) { - gcc_assert (TYPE_SIZE (type) && tree_fits_uhwi_p (TYPE_SIZE (type))); if (TREE_CODE (type) == REAL_TYPE) return tree_to_uhwi (TYPE_SIZE (type)); else if (INTEGRAL_TYPE_P (type)) |