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

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp15.c] - Blame information for rev 12

Details | Compare with Previous | View Log


/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp" } */
 
 
extern void abort (void) __attribute__ ((__noreturn__));
union tree_node;
typedef union tree_node *tree;
enum tree_code
{
  ERROR_MARK,
  COND_EXPR = 42,
};
extern const unsigned char tree_code_length[];
struct tree_common
{
  enum tree_code code:8;
};
union tree_node
{
  struct tree_common common;
};
void
blah (tree t)
{
  if (t->common.code != COND_EXPR)
    abort ();
  if (1 >= tree_code_length[t->common.code])
    abort ();
 
}
 
/* { dg-final { scan-tree-dump-times "tree_code_length.42." 1 "vrp" } } */
/* { dg-final { cleanup-tree-dump "vrp" } } */
 

Line No.	Rev	Author	Line
1	12	jlechner	`/* { dg-do compile } */`
2			`/* { dg-options "-O2 -fdump-tree-vrp" } */`
3
4
5			`extern void abort (void) __attribute__ ((__noreturn__));`
6			`union tree_node;`
7			`typedef union tree_node *tree;`
8			`enum tree_code`
9			`{`
10			`ERROR_MARK,`
11			`COND_EXPR = 42,`
12			`};`
13			`extern const unsigned char tree_code_length[];`
14			`struct tree_common`
15			`{`
16			`enum tree_code code:8;`
17			`};`
18			`union tree_node`
19			`{`
20			`struct tree_common common;`
21			`};`
22			`void`
23			`blah (tree t)`
24			`{`
25			`if (t->common.code != COND_EXPR)`
26			`abort ();`
27			`if (1 >= tree_code_length[t->common.code])`
28			`abort ();`
29
30			`}`
31
32			`/* { dg-final { scan-tree-dump-times "tree_code_length.42." 1 "vrp" } } */`
33			`/* { dg-final { cleanup-tree-dump "vrp" } } */`
34

Browse

Tools

Subversion Repositories scarts

[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp15.c] - Blame information for rev 12