[Bug ipa/103513] [12 Regression] ICE in evaluate_conditions_for_known_args, at ipa-fnsummary.c:516 with -O2 and above since r12-5531-g1b0acc4b800b589a

[dcb314 at hotmail dot com via Gcc-bugs]

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

David Binderman <dcb314 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #5 from David Binderman <dcb314 at hotmail dot com> ---
Another test case:

$ more bug778.c
int us_1, func_8_i_8;
void func_8(int s_4) 
{
  func_8_i_8 = 7;
  for (;;)
    if (func_8_i_8 * (func_8_i_8 != s_4))
      for (;;)
        ;
}
void func_7_s_4() 
{ 
        func_8(us_1 && func_7_s_4); 
}
$