annotate gcc/testsuite/g++.dg/ubsan/pr80403-2.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR sanitizer/80403
kono
parents:
diff changeset
2 // { dg-do compile }
kono
parents:
diff changeset
3 // { dg-options "-fsanitize=undefined" }
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 extern const long long int v;
kono
parents:
diff changeset
6 extern unsigned long int w;
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 int
kono
parents:
diff changeset
9 foo ()
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 int a = (0 - 40U <= (0 == 8)) << !w << (0 < v) == 0;
kono
parents:
diff changeset
12 int b = ((0 ^ 0) < (long) (1066066618772207110 <= 0)) / 0 << 0; // { dg-warning "division by zero" }
kono
parents:
diff changeset
13 return a + b;
kono
parents:
diff changeset
14 }