r245439 - in /branches/ARM/sve-branch/gcc: test...

[rsandifo@gcc.gnu.org]

Author: rsandifo
Date: Tue Feb 14 17:07:17 2017
New Revision: 245439

URL: https://gcc.gnu.org/viewcvs?rev=245439&root=gcc&view=rev
Log:
Backport fix for PR78819

Backport from mainline:

2016-12-16  Marek Polacek  <polacek@redhat.com>

	* tree-vrp.c (find_switch_asserts): Return if the insertion limit is 0.
	Don't register an assertion if the default case shares a label with
	another case.

2016-12-16  Marek Polacek  <polacek@redhat.com>

	* gcc.dg/tree-ssa/vrp112.c: New test.

Added:
    branches/ARM/sve-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp112.c
Modified:
    branches/ARM/sve-branch/gcc/tree-vrp.c