]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix reason code for length check
authorRonan Desplanques <desplanques@adacore.com>
Fri, 23 Feb 2024 12:07:17 +0000 (13:07 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 16 May 2024 08:49:32 +0000 (10:49 +0200)
commita802cb3c5f530e77dabcb6343d79cb7a24f96ed3
treec048ad520d78db4ad71f44ead309ea65005e4d30
parent8e22376d8e2f2dd97e364aaf81a2b4260847e308
ada: Fix reason code for length check

This patch fixes the reason code used by Apply_Selected_Length_Checks,
which was wrong in some cases when the check could be determined to
always fail at compile time.

gcc/ada/

* checks.adb (Apply_Selected_Length_Checks): Fix reason code.
gcc/ada/checks.adb