blob: e12b8a922f1018d2a02e890d4faaafbb6188a6b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* { dg-do compile { target { ! x32 } } } */
/* { dg-options "-O2 -mabi=ms -fcheck-pointer-bounds -mmpx" } */
void
foo (int *a)
{
if (a[0] != a[1] * 2333)
__builtin_abort ();
}
void
bar (int *a)
{
if (a[0] != a[1] * 2333)
__builtin_abort ();
}
|