diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-08-09 17:52:51 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-29 15:06:27 +0200 |
| commit | 299cd64b9e5f1c148b055bd2017a9473fa95227e (patch) | |
| tree | ed95611d11419006640b339f95edb0238f742682 /gcc/gimple-loop-jam.cc | |
| parent | 6a3ff84a7790ae008e5f557d74c83bcf196c2162 (diff) | |
| download | gcc-299cd64b9e5f1c148b055bd2017a9473fa95227e.zip gcc-299cd64b9e5f1c148b055bd2017a9473fa95227e.tar.gz gcc-299cd64b9e5f1c148b055bd2017a9473fa95227e.tar.bz2 | |
ada: Ensure validity checks for private scalar types
To check validity of data values, we must strip privacy from their
types.
gcc/ada/
* checks.adb (Expr_Known_Valid): Use Validated_View, which strips
type derivation and privacy.
* exp_ch3.adb (Simple_Init_Private_Type): Kill checks inside
unchecked conversions, just like in Simple_Init_Scalar_Type.
Diffstat (limited to 'gcc/gimple-loop-jam.cc')
0 files changed, 0 insertions, 0 deletions