type: introduce get_final_type()
[smatch.git] / validation / cast-constant-to-float.c
blob86b7ac0f7e5500145731933e0f29eb42839886be
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 set.64 %r1 <- -1.000000
17 ret.64 %r1
20 f2:
21 .L2:
22 <entry-point>
23 set.64 %r3 <- -1.000000
24 ret.64 %r3
27 f3:
28 .L4:
29 <entry-point>
30 set.64 %r5 <- -1.000000
31 ret.64 %r5
34 * check-output-end