| /* { dg-do compile } */ | |
| /* { dg-options "-O1 -fdump-tree-optimized" } */ | |
| /* PR tree-optimization/113301 */ | |
| /* We should figure out that 1/(x+1) range is [-1,1] | |
| and then /2 is always 0. */ | |
| void link_error(void); | |
| void func(int x){ | |
| int c=(1/(x+1))/2; | |
| if (c != 0) | |
| link_error(); | |
| } | |
| /* { dg-final { scan-tree-dump-not "link_error " "optimized" } } */ |