]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1850d0d) | patch
ada: Constraint error not raised in ACATS test c413007
authorJavier Miranda <miranda@adacore.com>
Sun, 20 Oct 2024 12:13:03 +0000 (12:13 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 18 Nov 2024 14:06:54 +0000 (15:06 +0100)
commit7eafe8e9e9ec08f1d8b2f4ea0da2f47a7dedbeaa
treed012c0bbe65474e981b1c696088469147835141ctree
parent1850d0dbd32cf0b2cfa3225f0f8fbe1754b37393commit | diff
ada: Constraint error not raised in ACATS test c413007

Reverse the meaning of switch -gnatd_P; that is, enable by default
the generating of a runtime check when the prefix of the call is
an access-to-subprogram type with a null value.

gcc/ada/ChangeLog:

* sem_res.adb (Resolve_Actuals): Add by default a null-exclusion
check on the prefix of the call when it is an access-type; it can
be disabled using -gnatd_P.
* debug.adb (gnatd_P): Update documentation.
gcc/ada/debug.adb diff | blob | blame | history
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git