On Thu, 2022-07-21 at 18:35 -0700, skpan...@sc.intel.com wrote:
> On Linux/x86_64,
>
> b852aa7f265424c8e2036899da5d8306ff06a16c is the first bad commit
> commit b852aa7f265424c8e2036899da5d8306ff06a16c
> Author: David Malcolm <dmalc...@redhat.com>
> Date: Thu Jul 21 17:29:26 2022 -0400
>
> analyzer: fix -Wanalyzer-va-list-exhausted false +ve on va_arg in
> subroutine [PR106383]
>
> caused
>
> FAIL: gcc.dg/analyzer/stdarg-3.c (test for excess errors)
Thanks; I somehow managed to miss the FAIL when reviewing the test
results; sorry everyone; it points to a real issue in -fanalyzer for
va_arg in loops.
I've filed this as PR analyzer/106413 ("State explosion on va_arg when
va_start is in top-level function of analysis").
Dave
