This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gnu_native_check_binutils/master-arm in repository toolchain/ci/gcc.
from 3c9364f29e7 i386: Add combine splitter to transform pxor/pcmpeqb/pmovms [...] adds 78c8b0b9803 c++: Support module language-decl semantics adds 94b8a37fa16 tree-optimization/105562 - avoid uninit diagnostic with better FRE adds edbd2b1caaa libgomp plugins: Don't 'AC_SUBST' and 'AC_DEFINE_UNQUOTED' [...] adds cd644ce8be2 libgomp nvptx plugin: Split 'PLUGIN_NVPTX_DYNAMIC' into 'PL [...] adds e3e51e753a6 [Ada] Document Aggregate_Individually_Assign as a configura [...] adds d889e404c80 [Ada] Reuse generic string hash for invocation signatures adds e845160a082 [Ada] Fix typos in syntax for implementation-defined pragmas adds b9cff88ca79 [Ada] Fix remaining asymmetry in Specific_Type adds 7a4892d2279 [Ada] Fix style checking rule for square brackets in Ada 20 [...] adds 7a60ba4c831 [Ada] Fix typo in comment adds bb1c939d9b8 [Ada] Fix scope of block in expanded protected entry body adds d4fc83c6422 [Ada] Introduce hardbool Machine_Attribute for Ada adds a4f6f9f1769 [Ada] Rewrite Sem_Ch4.Find_Boolean_Types adds 91d68769419 [Ada] Proof of 'Image support for signed integers adds 49a31a140db [Ada] Revamp analysis of conditional expressions adds bcbf83ec10e [Ada] Adapt CodePeer analysis of GNAT to changes in dependencies adds 9da379f1c22 [Ada] Plug loophole in Possible_Type_For_Conditional_Expression adds c97014ce881 [Ada] Accept raise expressions as operands of boolean operators adds f7fc84d6fff [Ada] Remove redundant guard against Any_String adds 6655b152ebb [Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding adds bbb4320baea [Ada] Remove use of use-clauses in loaded runtime units adds 86c7b1617f0 [Ada] Add ghost code to facilitate proof with SPARK adds 3b4ae9b98b0 [Ada] Make debug printouts more robust adds ce19ac123ab [Ada] Remove front-end SJLJ processing adds cc508db0d32 [Ada] Do not issue a warning on a postcondition of True or False adds dff98f76fb2 [Ada] Remove useless pragma Warnings Off from runtime units adds 3707c8feb1b [Ada] Fix warning about generic subprograms withed but not [...] adds ec0f9f7d888 [Ada] Fix warning about generic subprograms withed but not [...] adds 09c7e3175a1 [Ada] Add more dummy names in Sem_Warn.Has_Junk_Name adds 0c1ec8ae18b [Ada] Remove unreferenced Is_Selector_Name routine adds e28064111c3 [Ada] Reuse collective subtype for comparison operators whe [...] adds 0b4606618c0 [Ada] Restore double quotes in debug printouts adds 605095af6f7 [Ada] Fix URL in doc adds c4471a4a3cd [Ada] Skip postponed validation checks with compilation errors adds dfda40f8147 rtl-optimization/105577 - RTL DSE and non-call EH adds dcc266796a6 Refactor '-ldl' handling for libgomp proper and plugins adds a0080f0285d libstdc++: Remove whitespace before preprocessor directives adds 995060aa5eb testsuite: PPC vector double requires VSX adds 3e948d645bc c++: tighten TMPL_ARGS_LEVEL macro adds 49ace834ab1 Daily bump. adds 8ab4b484153 Strip of a vector load which is only used partially. adds 90a8eab4a12 [PR105455] Set edge probabilities when hardening conditionals adds ba2068893c3 Make gimple_build main workers more flexible adds bac63f1ea91 testsuite: Make AArch64 attributes_7.c generate unique repo [...] adds 8a8366d4969 [Ada] Ineffective use type clause warnings cause compile ti [...] adds 7427e673d81 [Ada] Remove redundant guard in checks for volatile actuals adds 74ce1d5a6cb [Ada] Accept effectively volatile components in actuals adds fa45988cc01 [Ada] Spurious access error in function returning type with [...] adds 9bea1bd335b [Ada] Fix typo on "that" adds 84f20139792 [Ada] Fix the Ada 2022 iterated component association RM reference adds cb50998584e [Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83 adds 83bacaa9b5d [Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83 adds 0145570e892 [Ada] Fix compiler crash on FOR iteration scheme over container adds cf54619a8e3 [Ada] Document control flow redundancy adds 6a28d40dc4d [Ada] Improve expected type error messages adds fafccfbf77a [Ada] Crash in task body reference to discriminant adds 18e278727e1 [Ada] Wrong address for class-wide interface access conversion adds 85df62468c2 [Ada] Do not overwrite limited view of result type adds 9e5b1b076a5 [Ada] Fix code example on representation clause adds 3fe35ab093d [Ada] Facilitate proof of Overwrite in bounded strings library adds 7b6fa643ef0 [Ada] Handle IN iterator for class-wide derived object of i [...] adds b77029ff250 [Ada] Implement late initialization rules for type extensions adds 17a89d82142 [Ada] Take into account GNSA_ROOT env var for prefix adds 6d22fb118f5 [Ada] Ada ABI change when building with assertions adds 2e2f53d50c6 [Ada] Remove dependency on tampering checks and controlled [...] adds f8e12e78628 [Ada] Adapt body of formal sets and maps for SPARK adds 4c9a8183b34 [Ada] Simplify helper units for formal hashed sets/maps adds e3584606f5c [Ada] Fix iterated component association for array aggregate adds a2cff9e9af1 [Ada] CUDA: use binder to generate kernel-registration code adds 8150f295ec3 [Ada] Extend hardcfr testing (documentation) adds 78e26388edb [Ada] Only use alternate stack when needed adds d663778287d [Ada] Compiler crash on -gnata -O2 adds ba75fee24d9 [Ada] Storage_Model_Object fails to return object entity adds c77e4873b14 [Ada] Fix incorrect call to inherited function with limited [...] new 7b844206ec5 Fix wrong SRA with VIEW_CONVERT_EXPR and reverse SSO
The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/ChangeLog | 34 + gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 302 +++++++++ gcc/ada/Makefile.rtl | 2 + gcc/ada/ali.adb | 50 +- gcc/ada/ali.ads | 38 +- gcc/ada/aspects.adb | 4 +- gcc/ada/atree.adb | 23 +- gcc/ada/atree.ads | 1 - gcc/ada/bcheck.adb | 11 +- gcc/ada/bindgen.adb | 141 ++++ gcc/ada/butil.adb | 4 +- gcc/ada/casing.adb | 9 - gcc/ada/casing.ads | 6 - gcc/ada/contracts.adb | 39 +- gcc/ada/csets.adb | 17 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 8 +- .../gnat_rm/representation_clauses_and_pragmas.rst | 6 +- .../doc/gnat_rm/security_hardening_features.rst | 111 ++- .../doc/gnat_ugn/gnat_and_program_execution.rst | 20 +- .../doc/gnat_ugn/the_gnat_compilation_model.rst | 3 +- gcc/ada/errout.adb | 2 +- gcc/ada/erroutc.adb | 1 + gcc/ada/erroutc.ads | 6 +- gcc/ada/exp_aggr.adb | 24 + gcc/ada/exp_attr.adb | 29 +- gcc/ada/exp_ch11.adb | 122 +--- gcc/ada/exp_ch3.adb | 741 ++++++++++++++------- gcc/ada/exp_ch3.ads | 23 +- gcc/ada/exp_ch9.adb | 3 +- gcc/ada/exp_prag.adb | 4 +- gcc/ada/exp_util.adb | 84 ++- gcc/ada/fe.h | 6 +- gcc/ada/fmap.adb | 2 - gcc/ada/fname-sf.adb | 2 - gcc/ada/freeze.adb | 144 ++-- gcc/ada/gcc-interface/decl.cc | 28 +- gcc/ada/gcc-interface/trans.cc | 234 +------ gcc/ada/gcc-interface/utils.cc | 4 + gcc/ada/gen_il-gen.adb | 6 +- gcc/ada/gnat1drv.adb | 28 +- gcc/ada/gnat_cuda.adb | 5 - gcc/ada/gnat_cuda.ads | 5 + gcc/ada/gnat_rm.texi | 181 +++-- gcc/ada/gnat_ugn.texi | 21 +- gcc/ada/lib-writ.adb | 53 +- gcc/ada/lib-xref.adb | 3 +- gcc/ada/libgnarl/a-reatim.adb | 4 +- gcc/ada/libgnarl/s-osinte__gnu.ads | 6 +- gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads | 6 +- gcc/ada/libgnarl/s-taprop__linux.adb | 14 +- gcc/ada/libgnat/a-cfhama.adb | 53 +- gcc/ada/libgnat/a-cfhama.ads | 2 +- gcc/ada/libgnat/a-cfhase.adb | 210 +++--- gcc/ada/libgnat/a-cfhase.ads | 2 +- gcc/ada/libgnat/a-chtgfk.adb | 278 ++++++++ gcc/ada/libgnat/a-chtgfk.ads | 101 +++ gcc/ada/libgnat/a-chtgfo.adb | 481 +++++++++++++ gcc/ada/libgnat/a-chtgfo.ads | 138 ++++ gcc/ada/libgnat/a-coboho.adb | 4 +- gcc/ada/libgnat/a-cohata.ads | 19 + gcc/ada/libgnat/a-direct.adb | 1 - gcc/ada/libgnat/a-strbou.ads | 4 +- gcc/ada/libgnat/a-strsup.adb | 2 +- gcc/ada/libgnat/a-strsup.ads | 4 +- gcc/ada/libgnat/a-stuten.ads | 8 +- gcc/ada/libgnat/a-swmwco.ads | 24 +- gcc/ada/libgnat/a-szmzco.ads | 24 +- gcc/ada/libgnat/s-aridou.ads | 14 +- gcc/ada/libgnat/s-bignum.adb | 1 - gcc/ada/libgnat/s-exponn.ads | 10 +- gcc/ada/libgnat/s-expont.ads | 10 +- gcc/ada/libgnat/s-imagef.adb | 84 ++- gcc/ada/libgnat/s-imagef.ads | 1 + gcc/ada/libgnat/s-imagei.adb | 365 +++++++++- gcc/ada/libgnat/s-imagei.ads | 60 +- gcc/ada/libgnat/s-imageu.adb | 13 + gcc/ada/libgnat/s-imfi128.ads | 3 +- gcc/ada/libgnat/s-imfi32.ads | 3 +- gcc/ada/libgnat/s-imfi64.ads | 3 +- gcc/ada/libgnat/s-imgint.ads | 45 +- gcc/ada/libgnat/s-imglli.ads | 45 +- gcc/ada/libgnat/s-imgllli.ads | 46 +- gcc/ada/libgnat/s-putima.adb | 4 +- gcc/ada/libgnat/s-valint.ads | 8 +- gcc/ada/libgnat/s-vallli.ads | 8 +- gcc/ada/libgnat/s-valllli.ads | 8 +- gcc/ada/libgnat/s-valuei.adb | 53 ++ gcc/ada/libgnat/s-valuei.ads | 55 +- gcc/ada/libgnat/s-valueu.adb | 4 + gcc/ada/libgnat/s-valueu.ads | 2 - gcc/ada/libgnat/s-valuti.ads | 37 +- gcc/ada/libgnat/s-widthu.ads | 12 +- gcc/ada/libgnat/system-aix.ads | 1 - gcc/ada/libgnat/system-darwin-arm.ads | 1 - gcc/ada/libgnat/system-darwin-ppc.ads | 1 - gcc/ada/libgnat/system-darwin-x86.ads | 1 - gcc/ada/libgnat/system-djgpp.ads | 1 - gcc/ada/libgnat/system-dragonfly-x86_64.ads | 1 - gcc/ada/libgnat/system-freebsd.ads | 1 - gcc/ada/libgnat/system-hpux-ia64.ads | 1 - gcc/ada/libgnat/system-hpux.ads | 1 - gcc/ada/libgnat/system-linux-alpha.ads | 1 - gcc/ada/libgnat/system-linux-arm.ads | 1 - gcc/ada/libgnat/system-linux-hppa.ads | 1 - gcc/ada/libgnat/system-linux-ia64.ads | 1 - gcc/ada/libgnat/system-linux-m68k.ads | 1 - gcc/ada/libgnat/system-linux-mips.ads | 1 - gcc/ada/libgnat/system-linux-ppc.ads | 1 - gcc/ada/libgnat/system-linux-riscv.ads | 1 - gcc/ada/libgnat/system-linux-s390.ads | 1 - gcc/ada/libgnat/system-linux-sh4.ads | 1 - gcc/ada/libgnat/system-linux-sparc.ads | 1 - gcc/ada/libgnat/system-linux-x86.ads | 1 - gcc/ada/libgnat/system-lynxos178-ppc.ads | 1 - gcc/ada/libgnat/system-lynxos178-x86.ads | 1 - gcc/ada/libgnat/system-mingw.ads | 1 - gcc/ada/libgnat/system-qnx-aarch64.ads | 1 - gcc/ada/libgnat/system-rtems.ads | 1 - gcc/ada/libgnat/system-solaris-sparc.ads | 1 - gcc/ada/libgnat/system-solaris-x86.ads | 1 - gcc/ada/libgnat/system-vxworks-arm-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-arm-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-arm.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-e500-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-ppc-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks-x86-rtp.ads | 1 - .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-aarch64.ads | 1 - gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-arm.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-e500-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 1 - gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 1 - gcc/ada/namet.adb | 150 +++-- gcc/ada/namet.ads | 21 +- gcc/ada/opt.adb | 29 +- gcc/ada/opt.ads | 21 +- gcc/ada/osint.adb | 30 +- gcc/ada/osint.ads | 7 +- gcc/ada/scng.adb | 7 +- gcc/ada/sem.adb | 4 +- gcc/ada/sem_aggr.adb | 7 +- gcc/ada/sem_attr.adb | 22 + gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch13.adb | 6 +- gcc/ada/sem_ch3.adb | 5 +- gcc/ada/sem_ch4.adb | 636 +++++++++++++----- gcc/ada/sem_ch5.adb | 15 +- gcc/ada/sem_ch6.adb | 69 +- gcc/ada/sem_ch8.adb | 29 +- gcc/ada/sem_dist.adb | 7 +- gcc/ada/sem_res.adb | 16 +- gcc/ada/sem_type.adb | 33 +- gcc/ada/sem_util.adb | 202 +++--- gcc/ada/sem_util.ads | 19 +- gcc/ada/sem_warn.adb | 4 +- gcc/ada/set_targ.adb | 6 +- gcc/ada/sinput.adb | 24 +- gcc/ada/sinput.ads | 13 +- gcc/ada/style.ads | 7 +- gcc/ada/styleg.adb | 11 +- gcc/ada/styleg.ads | 5 +- gcc/ada/switch-b.adb | 3 + gcc/ada/switch-c.adb | 3 + gcc/ada/table.adb | 6 +- gcc/ada/targparm.adb | 4 - gcc/ada/targparm.ads | 3 - gcc/ada/treepr.adb | 35 +- gcc/ada/types.ads | 11 +- gcc/ada/uname.adb | 77 ++- gcc/ada/uname.ads | 22 +- gcc/ada/xref_lib.adb | 5 +- gcc/analyzer/supergraph.cc | 4 +- gcc/builtins.cc | 2 +- gcc/c-family/ChangeLog | 6 + gcc/c-family/c-omp.cc | 1 - gcc/c/ChangeLog | 12 + gcc/calls.cc | 1 + gcc/cgraphbuild.cc | 2 +- gcc/cgraphunit.cc | 2 +- gcc/config/rs6000/rs6000-builtin.cc | 2 +- gcc/config/rs6000/rs6000-call.cc | 2 +- gcc/config/rs6000/rs6000.cc | 2 +- gcc/config/s390/s390.cc | 1 + gcc/cp/ChangeLog | 26 + gcc/cp/constexpr.cc | 1 - gcc/cp/cp-tree.h | 3 +- gcc/cp/parser.cc | 3 + gcc/cp/pt.cc | 28 +- gcc/dse.cc | 10 + gcc/expr.cc | 1 + gcc/fold-const.cc | 1 + gcc/fold-const.h | 5 + gcc/function-tests.cc | 3 +- gcc/gengtype.cc | 6 +- gcc/gimple-fold.cc | 93 ++- gcc/gimple-fold.h | 34 +- gcc/gimple-harden-conditionals.cc | 2 + gcc/gimple-match-head.cc | 1 + gcc/gimple-range-fold.cc | 1 + gcc/gimple-ssa-evrp-analyze.cc | 2 +- gcc/gimple-ssa-evrp.cc | 2 +- gcc/gimple-ssa-sprintf.cc | 2 +- gcc/gimple-ssa-warn-access.cc | 2 +- gcc/gimplify.cc | 2 +- gcc/graphite-isl-ast-to-gimple.cc | 2 +- gcc/ipa-cp.cc | 1 + gcc/ipa-devirt.cc | 1 + gcc/ipa-prop.cc | 2 +- gcc/omp-low.cc | 2 +- gcc/pointer-query.cc | 1 + gcc/range-op.cc | 2 +- gcc/testsuite/ChangeLog | 33 + gcc/testsuite/g++.dg/modules/lang-3_a.C | 17 + gcc/testsuite/g++.dg/modules/lang-3_b.C | 18 + gcc/testsuite/g++.dg/modules/lang-3_c.C | 12 + gcc/testsuite/g++.dg/plugin/selfassign.c | 4 +- gcc/testsuite/g++.dg/warn/uninit-pr105562.C | 10 + gcc/testsuite/g++.target/powerpc/pr101168.C | 4 +- .../gcc.dg/plugin/diagnostic_group_plugin.c | 4 +- .../gcc.dg/plugin/diagnostic_plugin_show_trees.c | 4 +- .../plugin/diagnostic_plugin_test_inlining.c | 4 +- .../plugin/diagnostic_plugin_test_metadata.c | 4 +- .../gcc.dg/plugin/diagnostic_plugin_test_paths.c | 4 +- .../plugin/diagnostic_plugin_test_show_locus.c | 4 +- .../diagnostic_plugin_test_string_literals.c | 4 +- .../diagnostic_plugin_test_tree_expression_range.c | 4 +- gcc/testsuite/gcc.dg/plugin/finish_unit_plugin.c | 1 - gcc/testsuite/gcc.dg/plugin/ggcplug.c | 1 - .../gcc.dg/plugin/must_tail_call_plugin.c | 1 - gcc/testsuite/gcc.dg/plugin/one_time_plugin.c | 1 - gcc/testsuite/gcc.dg/plugin/selfassign.c | 4 +- gcc/testsuite/gcc.dg/plugin/start_unit_plugin.c | 1 - gcc/testsuite/gcc.dg/pr105455.c | 17 + .../aarch64/sve/acle/general/attributes_7.c | 4 +- gcc/testsuite/gcc.target/i386/pr102583.c | 30 + gcc/testsuite/gcc.target/i386/pr92645-2.c | 4 +- gcc/testsuite/gcc.target/i386/pr92645-3.c | 4 +- gcc/testsuite/gnat.dg/sso17.adb | 34 + gcc/tree-cfg.cc | 2 +- gcc/tree-if-conv.cc | 2 +- gcc/tree-inline.cc | 2 +- gcc/tree-object-size.cc | 2 +- gcc/tree-sra.cc | 47 +- gcc/tree-ssa-ccp.cc | 2 +- gcc/tree-ssa-dom.cc | 2 +- gcc/tree-ssa-forwprop.cc | 89 ++- gcc/tree-ssa-ifcombine.cc | 2 +- gcc/tree-ssa-loop-ivcanon.cc | 2 +- gcc/tree-ssa-math-opts.cc | 2 +- gcc/tree-ssa-pre.cc | 2 +- gcc/tree-ssa-propagate.cc | 2 +- gcc/tree-ssa-reassoc.cc | 2 +- gcc/tree-ssa-sccvn.cc | 39 +- gcc/tree-ssa-sccvn.h | 2 +- gcc/tree-ssa-strlen.cc | 2 +- gcc/tree-ssa.cc | 2 +- gcc/tree-vect-generic.cc | 15 +- gcc/ubsan.cc | 9 +- gcc/value-pointer-equiv.cc | 2 +- gcc/vr-values.cc | 2 +- libgomp/ChangeLog | 47 ++ libgomp/Makefile.am | 1 + libgomp/Makefile.in | 34 +- libgomp/config.h.in | 13 - libgomp/configure | 47 +- libgomp/plugin/Makefrag.am | 22 +- libgomp/plugin/configfrag.ac | 18 +- libgomp/plugin/plugin-nvptx.c | 4 +- libgomp/testsuite/Makefile.in | 4 +- libstdc++-v3/ChangeLog | 7 + .../config/locale/dragonfly/numeric_members.cc | 2 +- libstdc++-v3/config/locale/gnu/numeric_members.cc | 2 +- libstdc++-v3/include/bits/locale_facets_nonio.h | 4 +- libstdc++-v3/libsupc++/typeinfo | 10 +- 292 files changed, 5415 insertions(+), 2045 deletions(-) create mode 100644 gcc/ada/libgnat/a-chtgfk.adb create mode 100644 gcc/ada/libgnat/a-chtgfk.ads create mode 100644 gcc/ada/libgnat/a-chtgfo.adb create mode 100644 gcc/ada/libgnat/a-chtgfo.ads create mode 100644 gcc/testsuite/g++.dg/modules/lang-3_a.C create mode 100644 gcc/testsuite/g++.dg/modules/lang-3_b.C create mode 100644 gcc/testsuite/g++.dg/modules/lang-3_c.C create mode 100644 gcc/testsuite/g++.dg/warn/uninit-pr105562.C create mode 100644 gcc/testsuite/gcc.dg/pr105455.c create mode 100644 gcc/testsuite/gcc.target/i386/pr102583.c create mode 100644 gcc/testsuite/gnat.dg/sso17.adb