https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121527
Bug ID: 121527
Summary: [16 regression] ACATS c391002 FAILs
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Keywords: testsuite-fail, wrong-code
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: sjames at gcc dot gnu.org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
I saw c391002 fail with an overnight build. It's flaky and it PASSes on some
attempts in a loop.
```
~/bugs/gcc-bld/gcc/testsuite/ada/acats-426/tests/c3/c391002 $ cat c391002.log
,.,. C391002 ACATS 4.2A 25-08-13 08:09:31
---- C391002 Check nested tagged discriminated record structures.
raised CONSTRAINT_ERROR : c391002_4.ads:8 discriminant check failed
```
```
$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: x86_64-pc-linux-gnu
Configured with: /home/sam/git/gcc/configure --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu --disable-werror
--enable-languages=ada,c,c++ --prefix=/home/sam/bugs/gcc-pfx
--enable-checking=yes,extra,rtl --with-libatomic --with-libbacktrace
--without-system-zlib --enable-lto
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 16.0.0 20250813 (experimental) (GCC)
```
