diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2025-03-04 12:33:34 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-06-09 10:21:18 +0200 |
| commit | e68026cd01d87a89d52c74238d4c1bff8764f9fc (patch) | |
| tree | 6b3c35f474ae3a8a40604e1977d983ac9cfc5045 /gcc/cppdefault.h | |
| parent | 8a63f6bd618decc974a46c50894f3b450e025f95 (diff) | |
| download | gcc-e68026cd01d87a89d52c74238d4c1bff8764f9fc.zip gcc-e68026cd01d87a89d52c74238d4c1bff8764f9fc.tar.gz gcc-e68026cd01d87a89d52c74238d4c1bff8764f9fc.tar.bz2 | |
ada: Check validity using signedness from the type and not its base type
When attribute Valid is applied to a private type, we used the signedness of
its implementation base type which wrongly included negative values.
gcc/ada/ChangeLog:
* exp_attr.adb (Expand_N_Attribute_Reference): When expanding attribute
Valid, use signedness from the validated view, not from its base type.
Diffstat (limited to 'gcc/cppdefault.h')
0 files changed, 0 insertions, 0 deletions