Print this page
new smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/cast-constant-to-float.c
+++ new/usr/src/tools/smatch/src/validation/linear/cast-constant-to-float.c
1 1 typedef unsigned int uint;
2 2 typedef unsigned long ulong;
3 3
4 4 double f1(void) { return -1; }
5 5 double f2(void) { return (double)-1; }
↓ open down ↓ |
5 lines elided |
↑ open up ↑ |
6 6 double f3(void) { return -1.0; }
7 7
8 8 /*
9 9 * check-name: cast-constant-to-float
10 10 * check-command: test-linearize -Wno-decl $file
11 11 *
12 12 * check-output-start
13 13 f1:
14 14 .L0:
15 15 <entry-point>
16 - set.64 %r1 <- -1.000000
16 + setfval.64 %r1 <- -1.000000e+00
17 17 ret.64 %r1
18 18
19 19
20 20 f2:
21 21 .L2:
22 22 <entry-point>
23 - set.64 %r3 <- -1.000000
23 + setfval.64 %r3 <- -1.000000e+00
24 24 ret.64 %r3
25 25
26 26
27 27 f3:
28 28 .L4:
29 29 <entry-point>
30 - set.64 %r5 <- -1.000000
30 + setfval.64 %r5 <- -1.000000e+00
31 31 ret.64 %r5
32 32
33 33
34 34 * check-output-end
35 35 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX