projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8931adf) | patch
analyzer: fix ICE when combining taint states has_ub and has_lb
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 14 Jan 2022 20:22:18 +0000 (15:22 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 14 Jan 2022 22:51:26 +0000 (17:51 -0500)
commitcc3b67e40140ec79f86e79a96d7fdd169b84faaf
tree3e295a2eeaa649f550777fcdb44509923b6f515etree | snapshot
parent8931adfa0530590d21e74e5c7a1f8d26df575775commit | diff
analyzer: fix ICE when combining taint states has_ub and has_lb

gcc/analyzer/ChangeLog:
* sm-taint.cc (taint_state_machine::combine_states): Handle combination
of has_ub and has_lb.

gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/taint-merger.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-taint.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/taint-merger.c [new file with mode: 0644] blob
Domain: System / Toolchain;