summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/alias-10.c
blob: 6e9cb3f3c4240a53ea541fd0e0f7183a0e599775 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
/* For PR tree-optimization/14784  */

/* { dg-do compile } */
/* { dg-options "-O2 -funswitch-loops -fdump-tree-unswitch-details" } */

typedef struct bitmap_element_def
{
  unsigned int indx;
} bitmap_element;

typedef struct bitmap_head_def {
    bitmap_element *first;
    int using_obstack;
} bitmap_head;
typedef struct bitmap_head_def *bitmap;

bitmap_element *bitmap_free;

void foo (bitmap head, bitmap_element *elt)
{
  while (1)
    {
      /* Alias analysis problems used to prevent us from recognizing
	 that this condition is invariant.  */
      if (head->using_obstack)
	bitmap_free = elt;
    }
}


/* { dg-final { scan-tree-dump-times "Unswitching" 1 "unswitch"} } */
/* { dg-final { cleanup-tree-dump "unswitch" } } */