URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [pr22117.c] - Blame information for rev 689

Details | Compare with Previous | View Log


/* PR tree-optimization/22117
   VRP used think that &p[q] is nonzero even though p and q are both
   known to be zero after entering the first two "if" statements.  */
 
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
 
void
foo (int *p, int q)
{
  if (p == 0)
    {
      if (q == 0)
        {
          int *r = &p[q];
          if (r != 0)
            link_error ();
        }
    }
}
 
/* { dg-final { scan-tree-dump-times "Folding predicate r_.* != 0B to 0" 1 "vrp1" } } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */

Line No.	Rev	Author	Line
1	689	jeremybenn	`/* PR tree-optimization/22117`
2			`VRP used think that &p[q] is nonzero even though p and q are both`
3			`known to be zero after entering the first two "if" statements. */`
4
5			`/* { dg-do compile } */`
6			`/* { dg-options "-O2 -fdump-tree-vrp1" } */`
7
8			`void`
9			`foo (int *p, int q)`
10			`{`
11			`if (p == 0)`
12			`{`
13			`if (q == 0)`
14			`{`
15			`int *r = &p[q];`
16			`if (r != 0)`
17			`link_error ();`
18			`}`
19			`}`
20			`}`
21
22			`/* { dg-final { scan-tree-dump-times "Folding predicate r_.* != 0B to 0" 1 "vrp1" } } */`
23			`/* { dg-final { cleanup-tree-dump "vrp1" } } */`

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [pr22117.c] - Blame information for rev 689