diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/utils2.c | 5 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a075fd9289f..ea236fc6145 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2001-10-30 Richard Kenner <kenner@gnat.com> + + * utils2.c (build_allocator): Test for SIZE overflow in array case too + 2001-10-30 Geert Bosch <bosch@gnat.com> * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out. diff --git a/gcc/ada/utils2.c b/gcc/ada/utils2.c index 7cc8a3f669a..a5363a71af3 100644 --- a/gcc/ada/utils2.c +++ b/gcc/ada/utils2.c @@ -1855,6 +1855,11 @@ build_allocator (type, init, result_type, gnat_proc, gnat_pool) && contains_placeholder_p (size)) size = build (WITH_RECORD_EXPR, sizetype, size, init); + /* If the size overflows, pass -1 so the allocator will raise + storage error. */ + if (TREE_CODE (size) == INTEGER_CST && TREE_OVERFLOW (size)) + size = ssize_int (-1); + storage = build_call_alloc_dealloc (NULL_TREE, size, TYPE_ALIGN (storage_type), gnat_proc, gnat_pool); |
