tree 9809a3b1f67b675b622ee596c3bbfc7e7ecd38b8
parent 518ec01b363ba782fe9a9b09a05a2716cedf8b01
author Andrew Pinski <andrew.pinski@oss.qualcomm.com> 1758309837 -0700
committer Andrew Pinski <andrew.pinski@oss.qualcomm.com> 1758490705 -0700

fab: Remove forced label check from optimize_unreachable

Since optimize_unreachable does not directly remove the bb, we can still remove
the condition that goes to a block containing a forced label. This is a small cleanup
from the original patch which added optimize_unreachable.

The review of the original patch missed that the bb was not being removed by the pass
but later on by cleanupcfg; https://gcc.gnu.org/pipermail/gcc-patches/2012-July/343239.html.
Which is why this is allowed to be done.

I added another testcase to check that the `if` is removed too.

Bootstrapped and tested on x86_64-linux-gnu.

gcc/ChangeLog:

	* tree-ssa-ccp.cc (optimize_unreachable): Don't check for forced labels.

gcc/testsuite/ChangeLog:

	* gcc.dg/builtin-unreachable-7.c: New test.

Signed-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>