git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

vrp78.c: New test. 

2012-08-06  Tom de Vries  <tom@codesourcery.com>

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

From-SVN: r190169
This commit is contained in:
Tom de Vries 2012-08-06 08:32:27 +00:00 committed by Tom de Vries
parent d9e408ded1
commit aa24a99bee
2 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2012-08-06 Tom de Vries <tom@codesourcery.com>
* gcc.dg/tree-ssa/vrp78.c: New test.
2012-08-04 Sandra Loosemore <sandra@codesourcery.com> 2012-08-04 Sandra Loosemore <sandra@codesourcery.com>
Richard Sandiford <rdsandiford@googlemail.com> Richard Sandiford <rdsandiford@googlemail.com>

34
gcc/testsuite/gcc.dg/tree-ssa/vrp78.c Normal file
View File

@ -0,0 +1,34 @@
/* { dg-do link } */
/* { dg-options "-O2" } */
/* Based on f3 from vrp63.c, but with switch instead of if-chain. */
extern void link_error (void);
void
f3 (int s)
{
if (s >> 3 == -2)
/* s in range [ -16, -9]. */
;
else
{
/* s in range ~[-16, -9], so none of the case labels can be taken. */
switch (s)
{
case -16:
case -12:
case -9:
link_error ();
break;
default:
break;
}
}
}
int
main ()
{
return 0;
}