[Bug analyzer/96798] Analyzer failures on Darwin

[dominiq at lps dot ens.fr]

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Would it be possible to have a reduced test?