avoid useless warning for 'bool <- restricted type' conversion
[smatch.git] / validation / builtin_inf.c
blob48546e480cf8df12c811b72090f8c98bc6f7de88
1 static double d = __builtin_huge_val();
2 static float f = __builtin_huge_valf();
3 static long double l = __builtin_huge_vall();
4 static double di = __builtin_inf();
5 static float fi = __builtin_inff();
6 static long double li = __builtin_infl();
7 static double dn = __builtin_nan("");
8 static float fn = __builtin_nanf("");
9 static long double ln = __builtin_nanl("");
12 * check-name: __builtin INFINITY / nan()