]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix for validity checking of limited scalar types
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 28 Jan 2025 11:12:23 +0000 (12:12 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 6 Jun 2025 08:37:02 +0000 (10:37 +0200)
commitb449898970a502d31f30334cf0dd630f93d12bd8
tree33e02a91e241b92882e2c6b040ec25942b5c52a9
parent6dcba678030181527c6010551387917b8d734904
ada: Fix for validity checking of limited scalar types

With a recent change we are now validity checking objects of private scalar
types, but need to handle private scalar types whose public view is limited.

gcc/ada/ChangeLog:

* checks.adb (Insert_Valid_Check): Set flag Assignment_OK in the object
declaration inserted for the validity checks.
gcc/ada/checks.adb