smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / linear / cast-constant-to-float.c
blobac4eff0f1ceaee73d2ac32c88f3e7eefdba5de0d
1 typedef unsigned int uint;
2 typedef unsigned long ulong;
4 double f1(void) { return -1; }
5 double f2(void) { return (double)-1; }
6 double f3(void) { return -1.0; }
8 /*
9 * check-name: cast-constant-to-float
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-start
13 f1:
14 .L0:
15 <entry-point>
16 setfval.64 %r1 <- -1.000000e+00
17 ret.64 %r1
20 f2:
21 .L2:
22 <entry-point>
23 setfval.64 %r3 <- -1.000000e+00
24 ret.64 %r3
27 f3:
28 .L4:
29 <entry-point>
30 setfval.64 %r5 <- -1.000000e+00
31 ret.64 %r5
34 * check-output-end