| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-dom3" } */ |
| /* LLVM LOCAL test not applicable */ |
| /* { dg-require-fdump "" } */ |
| |
| extern void abort (void); |
| |
| union tree_node; |
| typedef union tree_node *tree; |
| struct tree_common |
| { |
| int code; |
| }; |
| struct tree_list |
| { |
| tree purpose; |
| }; |
| union tree_node |
| { |
| struct tree_common common; |
| struct tree_list list; |
| }; |
| void |
| simplify_condition (cond_p) |
| tree *cond_p; |
| { |
| tree decl; |
| tree cond = *cond_p; |
| if (cond->common.code != 42) |
| abort (); |
| decl = cond->list.purpose; |
| if (cond->common.code != 42) |
| abort (); |
| c_simplify_stmt (&decl); |
| } |
| |
| /* There should be exactly one IF conditional. TBAA is not able to |
| determine that 'decl' and 'cond' can't alias. */ |
| /* { dg-final { scan-tree-dump-times "if " 1 "dom3" { xfail *-*-* } } } */ |
| /* { dg-final { cleanup-tree-dump "dom3" } } */ |
