[Bug testsuite/124329] [16 regression] c-c++-common/analyzer/flex-without-call-summaries.c XPASSes

[ro at CeBiTec dot Uni-Bielefeld.DE]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124329

--- Comment #3 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
> On x86_64-linux I'm acutally seeing
> XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++11  (test
> for warnings, line 884)
> FAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++11  at line
> 885 (test for warnings, line 884)
> XPASS: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++11 PR
> analyzer/103546 (test for bogus messages, line 892)
> FAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++11 (test for
> excess errors)
> Excess errors:
> /home/jakub/src/gcc/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c:946:59:
> warning: heap-based buffer overflow [CWE-122] [-Wanalyzer-out-of-bounds]
> /home/jakub/src/gcc/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c:947:63:
> warning: heap-based buffer overflow [CWE-122] [-Wanalyzer-out-of-bounds]
> for this test.

That's weird indeed:

The XPASS I'm seeing is for C and 32-bit only on Solaris, the warning being

c-c++-common/analyzer/flex-without-call-summaries.c:884:46: warning: leak of
'*b.yy_ch_buf' [CWE-401] [-Wanalyzer-malloc-leak]

For C++, there's

XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20  (test
for warnings, line 884)
XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20 PR
analyzer/103546 (test for bogus messages, line 892)

In my builds, this test isn't run with -std=c++11 at all.

OTOH on x86_64 macOS 26, I get

XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20  (test
for warnings, line 884)
FAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20  at line
885 (test for warnings, line 884)
FAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20 (test for
excess errors)

The excess errors are different, however:

Excess errors:
/var/gcc/regression/master/26-gcc/build/x86_64-apple-darwin25.3.0/libstdc++-v3/include/cstdlib:147:11:
error: 'at_quick_exit' has not been declared in '::'
/var/gcc/regression/master/26-gcc/build/x86_64-apple-darwin25.3.0/libstdc++-v3/include/cstdlib:170:11:
error: 'quick_exit' has not been declared in '::'
/var/gcc/regression/master/26-gcc/build/x86_64-apple-darwin25.3.0/libstdc++-v3/include/stdlib.h:43:14:
error: 'at_quick_exit' has not been declared in 'std'
/var/gcc/regression/master/26-gcc/build/x86_64-apple-darwin25.3.0/libstdc++-v3/include/stdlib.h:46:14:
error: 'quick_exit' has not been declared in 'std'

On macOS 12, however, there's

XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20  (test
for warnings, line 884)
XFAIL: c-c++-common/analyzer/flex-without-call-summaries.c  -std=c++20 PR
analyzer/103546 (test for bogus messages, line 892)