Re: [PATCH v2 5/7] git-compat-util: introduce more size_t helpers
From: Junio C Hamano <hidden>
Date: 2021-10-28 23:05:39
"Johannes Schindelin via GitGitGadget" [off-list ref] writes:
quoted hunk
From: Johannes Schindelin <redacted> We will use them in the next commit. Signed-off-by: Johannes Schindelin <redacted> --- git-compat-util.h | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+)diff --git a/git-compat-util.h b/git-compat-util.h index a508dbe5a35..7977720655c 100644 --- a/git-compat-util.h +++ b/git-compat-util.h@@ -113,6 +113,14 @@ #define unsigned_mult_overflows(a, b) \ ((a) && (b) > maximum_unsigned_value_of_type(a) / (a)) +/* + * Returns true if the left shift of "a" by "shift" bits will + * overflow. The types of "a" and "b" must be unsigned.
The type of "a" must be unsigned, and there is no "b". "shift" can be of an integral type, and it probably is a good idea to feed a positive value that is smaller than bitsizeof(type(a)), but we probably do not have to say anything about it.
+ * Note that this macro evaluates "a" twice!
maximum_unsigned_value_of_type() does take bitsizeof() of the thing, but it only needs the type of it, not the value, so I doubt that it would evaluate 'a' even once. This macro does need the value of 'a' so it would evaluate it once.
quoted hunk
+ */ +#define unsigned_left_shift_overflows(a, shift) \ + ((a) > maximum_unsigned_value_of_type(a) >> shift)
try:
unsigned a = 0;
int ov = unsigned_left_shift_overflows(++a, 4);
printf("a = %d, ov = %d\n", a, ov);
return 0;
I think you'd get "a = 1".