Skip to content

Commit 8072b53

Browse files
committed
FLP34-C: Reformat file
1 parent fbc7c89 commit 8072b53

File tree

1 file changed

+5
-6
lines changed
  • c/cert/test/rules/FLP34-C

1 file changed

+5
-6
lines changed

c/cert/test/rules/FLP34-C/test.c

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
#include <stddef.h>
2-
#include <stdint.h>
1+
#include <float.h>
32
#include <limits.h>
43
#include <math.h>
5-
#include <float.h>
4+
#include <stddef.h>
5+
#include <stdint.h>
66

77
void test_no_guard(float f) {
88
int i = f; // NON_COMPLIANT
@@ -28,11 +28,10 @@ size_t popcount(uintmax_t num) {
2828
#define PRECISION(umax_value) popcount(umax_value)
2929

3030
void test_precision_check(float f) {
31-
if (isnan(f) ||
32-
PRECISION(INT_MAX) < log2f(fabsf(f)) ||
31+
if (isnan(f) || PRECISION(INT_MAX) < log2f(fabsf(f)) ||
3332
(f != 0.0F && fabsf(f) < FLT_MIN)) {
3433
/* Handle error */
3534
} else {
36-
int i= f; // COMPLIANT
35+
int i = f; // COMPLIANT
3736
}
3837
}

0 commit comments

Comments
 (0)