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

David Malcolm dmalcolm@redhat.com
Fri Jan 14 22:56:29 GMT 2022


On Fri, 2022-01-14 at 17:53 -0500, David Malcolm wrote:
> 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.

Forgot to add:

Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as r12-6597-g8931adfa0530590d21e74e5c7a1f8d26df575775.

[...snip...]



More information about the Gcc-patches mailing list