From 4d661eaacb8d418edecdeede04c731d60d0d9dfc Mon Sep 17 00:00:00 2001 From: Marek Polacek Date: Tue, 15 Jul 2014 11:06:07 +0000 Subject: c-ubsan.c (ubsan_instrument_bounds): Don't instrument if TYPE_MAX_VALUE is NULL. * c-ubsan.c (ubsan_instrument_bounds): Don't instrument if TYPE_MAX_VALUE is NULL. * gcc.dg/ubsan/bounds-1.c: New test. From-SVN: r212552 --- gcc/c-family/ChangeLog | 5 +++++ gcc/c-family/c-ubsan.c | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'gcc/c-family') diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 2cd29fe..977de69 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2014-07-15 Marek Polacek + + * c-ubsan.c (ubsan_instrument_bounds): Don't instrument if + TYPE_MAX_VALUE is NULL. + 2014-07-14 Jakub Jelinek PR middle-end/61294 diff --git a/gcc/c-family/c-ubsan.c b/gcc/c-family/c-ubsan.c index 3698580..ad5dd0b 100644 --- a/gcc/c-family/c-ubsan.c +++ b/gcc/c-family/c-ubsan.c @@ -265,7 +265,7 @@ ubsan_instrument_bounds (location_t loc, tree array, tree *index, tree type = TREE_TYPE (array); tree domain = TYPE_DOMAIN (type); - if (domain == NULL_TREE) + if (domain == NULL_TREE || TYPE_MAX_VALUE (domain) == NULL_TREE) return NULL_TREE; tree bound = TYPE_MAX_VALUE (domain); -- cgit v1.1