]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/testsuite/gcc.dg/pointer-range-check-2.c
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-ipa-icf -fwrapv-pointer -fdump-tree-optimized" } */
7 return (a
+ 16 <= b
) || (b
+ 16 <= a
);
13 return (a
+ 15 < b
) || (b
+ 15 < a
);
19 return (a
+ 16 <= b
) | (b
+ 16 <= a
);
25 return (a
+ 15 < b
) | (b
+ 15 < a
);
28 /* { dg-final { scan-tree-dump-not { = [^\n]* - [^\n]*;} "optimized" } } */
29 /* { dg-final { scan-tree-dump-times { = [^\n]* \+ [^\n]*;} 8 "optimized" } } */
30 /* { dg-final { scan-tree-dump-times { \+ 15} 4 "optimized" } } */
31 /* { dg-final { scan-tree-dump-times { \+ 16} 4 "optimized" } } */