| 26 | } |
| 27 | |
| 28 | int main() |
| 29 | { |
| 30 | printf("%f\n", __builtin_fabsf(negative10())); |
| 31 | printf("%f\n", __builtin_fabsf(positive42())); |
| 32 | printf("%f\n", __builtin_fabsf((float)negative_dbl_max())); |
| 33 | |
| 34 | printf("%f\n", __builtin_fabs(negative10())); |
| 35 | printf("%f\n", __builtin_fabs(positive42())); |
| 36 | printf("%f\n", __builtin_fabs(negative_dbl_max())); |
| 37 | } |
nothing calls this directly
no test coverage detected