[Bug analyzer/106551] [13 Regression] dup2 causes -fanalyzer ICE in valid_to_unchecked_state, at analyzer/sm-fd.cc:751

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Immad Mir <m...@gcc.gnu.org>:

https://gcc.gnu.org/g:ed7e7620188dc0e653815bdd40d8802bd5446638

commit r13-2051-ged7e7620188dc0e653815bdd40d8802bd5446638
Author: Immad Mir <mirim...@outlook.com>
Date:   Mon Aug 15 22:21:27 2022 +0530

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

    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>