On Mon, 2022-08-15 at 14:02 +0530, Immad Mir wrote: > This patch fixes the ICE caused by valid_to_unchecked_state > in sm-fd.cc by exiting early if first argument of any "dup" > functions is invalid. > > gcc/analyzer/ChangeLog: > PR analyzer/106551 > * sm-fd.cc (check_for_dup): exit early if first > argument is invalid for all dup functions. > > gcc/testsuite/ChangeLog: > PR analyzer/106551 > * gcc.dg/analyzer/fd-dup-1.c: New testcase. > > Signed-off-by: Immad Mir <mirim...@outlook.com>
Thanks; looks good to me. Dave
