blob: 0b3827794d8aa45d877f7478167914b474129e48 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* Reduced testcase extracted from Samba source code. */
#include <stdlib.h>
static void __attribute__((__noinline__))
foo (unsigned char *p) {
*p = 0x81;
}
static void __attribute__((__noinline__))
bar (int x) {
asm ("");
}
int main() {
unsigned char b;
foo(&b);
if (b & 0x80)
{
bar (b & 0x7f);
exit (0);
}
else
{
bar (b & 1);
abort ();
}
}
|