Skip to content

Commit 1b93268

Browse files
rfvirgilpmladek
authored andcommitted
lib: test_scanf: Remove pointless use of type_min() with unsigned types
sparse was producing warnings of the form: sparse: cast truncates bits from constant value (ffff0001 becomes 1) There is no actual problem here. Using type_min() on an unsigned type results in an (expected) truncation. However, there is no need to test an unsigned value against type_min(). The minimum value of an unsigned is obviously 0, and any value cast to an unsigned type is >= 0, so for unsigneds only type_max() need be tested. This patch also takes the opportunity to clean up the implementation of simple_numbers_loop() to use a common pattern for the positive and negative test. Reported-by: kernel test robot <[email protected]> Signed-off-by: Richard Fitzgerald <[email protected]> Reviewed-by: Petr Mladek <[email protected]> Signed-off-by: Petr Mladek <[email protected]> Link: https://lore.kernel.org/r/[email protected]
1 parent ef04d4f commit 1b93268

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

lib/test_scanf.c

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -187,8 +187,8 @@ static const unsigned long long numbers[] __initconst = {
187187
#define value_representable_in_type(T, val) \
188188
(is_signed_type(T) \
189189
? ((long long)(val) >= type_min(T)) && ((long long)(val) <= type_max(T)) \
190-
: ((unsigned long long)(val) >= type_min(T)) && \
191-
((unsigned long long)(val) <= type_max(T)))
190+
: ((unsigned long long)(val) <= type_max(T)))
191+
192192

193193
#define test_one_number(T, gen_fmt, scan_fmt, val, fn) \
194194
do { \
@@ -204,12 +204,11 @@ do { \
204204
int i; \
205205
\
206206
for (i = 0; i < ARRAY_SIZE(numbers); i++) { \
207-
if (!value_representable_in_type(T, numbers[i])) \
208-
continue; \
209-
\
210-
test_one_number(T, gen_fmt, scan_fmt, numbers[i], fn); \
207+
if (value_representable_in_type(T, numbers[i])) \
208+
test_one_number(T, gen_fmt, scan_fmt, \
209+
numbers[i], fn); \
211210
\
212-
if (is_signed_type(T)) \
211+
if (value_representable_in_type(T, -numbers[i])) \
213212
test_one_number(T, gen_fmt, scan_fmt, \
214213
-numbers[i], fn); \
215214
} \

0 commit comments

Comments
 (0)