https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113815
--- Comment #2 from Pascal Pignard <p.p11 at orange dot fr> --- No more error but warning still remains with version 14.2: % gcc -c -gnatv -gnat2022 test_20200613_decl.adb GNAT 14.2.0 Copyright 1992-2024, Free Software Foundation, Inc. Compiling: 2020/test_20200613_decl.adb Source file time stamp: 2022-07-02 16:40:48 Compiled at: 2025-03-01 18:52:02 30. 'Reduce("+", 0) | >>> warning: value not in range of type "Roman_Number" defined at line 15 [enabled by default] >>> warning: Constraint_Error will be raised at run time [enabled by default]