[Bug analyzer/104029] [12 Regression] ICE with -fanalyzer-checker=taint since r12-5230-gb9365b93212041f1

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

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:8931adfa0530590d21e74e5c7a1f8d26df575775

commit r12-6597-g8931adfa0530590d21e74e5c7a1f8d26df575775
Author: David Malcolm <dmalc...@redhat.com>
Date:   Fri Jan 14 09:49:59 2022 -0500

    analyzer: fix ICE in taint checker on unary ops [PR104029]

    gcc/analyzer/ChangeLog:
            PR analyzer/104029
            * sm-taint.cc (taint_state_machine::alt_get_inherited_state):
            Remove gcc_unreachable from default case for unary ops.

    gcc/testsuite/ChangeLog:
            PR analyzer/104029
            * gcc.dg/analyzer/pr104029.c: New test.
            * gcc.dg/analyzer/taint-ops.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>