diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2024-10-15 10:53:47 +0200 |
---|---|---|
committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:58:00 +0100 |
commit | 899b5be8b9720e381c7ea99ba27a4cbb165c003b (patch) | |
tree | 70236ce32dbaf3ef72d78298d388ce69c48d65d5 /libgcc/config | |
parent | 023a5dd187b1b08979bc0654334e75e7b2c15eaa (diff) | |
download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 |
Previously the lower bound of string literals indexed by non-static
integer types was artificially set to 1 in the frontend. This was to
avoid an overflow in calculation of a null string size by the GCC
backend, which was causing an excessively large binary object file.
However, setting the lower bound to 1 was problematic for GNATprove,
which could not easily retrieve the lower bound of string literals.
This patch avoids the overflow in GCC by recognizing null string literal
subtypes in Gigi.
gcc/ada/ChangeLog:
* gcc-interface/decl.cc (gnat_to_gnu_entity): Recognize null
string literal subtypes and set their bounds to 1 .. 0.
Diffstat (limited to 'libgcc/config')
0 files changed, 0 insertions, 0 deletions