This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gcc_bootstrap/master-aarch64-bootstrap_ubsan in repository toolchain/ci/gcc.
from 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 [...] adds 7b844206ec5 Fix wrong SRA with VIEW_CONVERT_EXPR and reverse SSO adds d543bac1631 xtensa: Rename deprecated extv/extzv insn patterns to extvs [...] adds 112447f8564 xtensa: Reflect the 32-bit Integer Divide Option adds 485a0ae0982 arm: fix some issues in mve_vector_mem_operand adds 6a116728e27 arm: correctly handle misaligned MEMs on MVE [PR105463] adds 9a79854be0a Introduce tests for hardbool Machine_Attribute for Ada adds 6aaa1d57391 ada: gcc-if: build proper String_Pointer for Get_External_Name adds 04c0a88aabe Avoid visiting newly-created blocks in harden-conditionals
No new revisions were added by this update.
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 | 31 +- 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/arm/arm.cc | 19 +- gcc/config/arm/mve.md | 4 +- gcc/config/arm/vec-common.md | 90 ++- 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/config/xtensa/xtensa.h | 5 + gcc/config/xtensa/xtensa.md | 16 +- gcc/cp/ChangeLog | 26 + gcc/cp/constexpr.cc | 1 - gcc/cp/cp-tree.h | 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 | 419 ++++++------ 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/plugin/selfassign.c | 4 +- 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/hardbool.adb | 46 ++ gcc/testsuite/gnat.dg/hardbool.ads | 22 + 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 | 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 | 32 +- libgomp/config.h.in | 7 - libgomp/configure | 37 +- libgomp/plugin/Makefrag.am | 22 +- libgomp/plugin/configfrag.ac | 12 +- libgomp/plugin/plugin-nvptx.c | 4 +- libgomp/testsuite/Makefile.in | 2 +- 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 +- 293 files changed, 5713 insertions(+), 2244 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/gcc.dg/pr105455.c create mode 100644 gcc/testsuite/gcc.target/i386/pr102583.c create mode 100644 gcc/testsuite/gnat.dg/hardbool.adb create mode 100644 gcc/testsuite/gnat.dg/hardbool.ads create mode 100644 gcc/testsuite/gnat.dg/sso17.adb