]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix missing length checks with case expressions
authorRonan Desplanques <desplanques@adacore.com>
Tue, 27 Feb 2024 14:46:14 +0000 (15:46 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 16 May 2024 08:49:33 +0000 (10:49 +0200)
commit5c9205a4d729e6fe9b8c897f4eb3ccd86dcf1835
treeebd1811060fb9533d96b537988efe17cdb3ffbf9
parentea648848eac40e07df0b0e1f5762b5d3f3f738c6
ada: Fix missing length checks with case expressions

This fixes an issue where length checks were not generated when the
right-hand side of an assigment involved a case expression.

gcc/ada/

* sem_res.adb (Resolve_Case_Expression): Add length check
insertion.
* exp_ch4.adb (Expand_N_Case_Expression): Add handling of nodes
known to raise Constraint_Error.
gcc/ada/exp_ch4.adb
gcc/ada/sem_res.adb