xref: /illumos-gate/usr/src/tools/smatch/src/validation/expand/builtin_huge_val.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)

huge_valf(void)1 static float huge_valf(void)
2 {
3 	return __builtin_huge_valf();
4 }
5 
huge_val(void)6 static double huge_val(void)
7 {
8 	return __builtin_huge_val();
9 }
10 
huge_vall(void)11 static long double huge_vall(void)
12 {
13 	return __builtin_huge_vall();
14 }
15 
16 
inff(void)17 static float inff(void)
18 {
19 	return __builtin_inff();
20 }
21 
inf(void)22 static double inf(void)
23 {
24 	return __builtin_inf();
25 }
26 
infl(void)27 static long double infl(void)
28 {
29 	return __builtin_infl();
30 }
31 
32 /*
33  * check-name: builtin_huge_val expand
34  * check-command: test-linearize -Wno-decl $file
35  * check-known-to-fail
36  *
37  * check-output-ignore
38  * check-output-excludes: call
39  */
40