Re: [PATCH] analyzer: fix for ICE in sm-fd.cc [PR106551]

2022-08-15 Thread David Malcolm via Gcc-patches
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): exi

[PATCH] analyzer: fix for ICE in sm-fd.cc [PR106551]

2022-08-15 Thread Immad Mir via Gcc-patches
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