annotate gcc/testsuite/g++.dg/tree-ssa/pr19476-6.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* { dg-do compile } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 /* { dg-options "-O2 -fdump-tree-evrp -fdelete-null-pointer-checks" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 /* { dg-skip-if "" keeps_null_pointer_checks } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 // See pr19476-7.C for a version without including <new>.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 #include <new>
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 int f(){
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 return 33 + (0 == new(std::nothrow) int);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 int g(){
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 return 42 + (0 == new int[50]);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 /* { dg-final { scan-tree-dump "return 42" "evrp" } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 /* { dg-final { scan-tree-dump-not "return 33" "evrp" } } */