[Bug analyzer/104680] identical inner condition not detected

[dmalcolm at gcc dot gnu.org]

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

--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
> trunk.git/libffi/src/m32r/ffi.c:66:15: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]

In ffi_prep_args:

  56   │   for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types;
  57   │        (i != 0) && (avn != 0);
  58   │        i--, p_arg++)
  59   │     {
  60   │       size_t z;
  61   │ 
  62   │       /* Align if necessary.  */
  63   │       if (((*p_arg)->alignment - 1) & (unsigned) argp)
  64   │     argp = (char *) FFI_ALIGN (argp, (*p_arg)->alignment);
  65   │ 
  66   │       if (avn != 0) 
  67   │     {

avn != 0 checked at both line 66 and in the loop guard at line 57.