| commit | 5ea3e3a16120bbac604fa9fcfdaa94126c9ead53 | |
| author | Paul Eggert <eggert@Penguin.CS.UCLA.EDU> | |
| Sat, 15 Apr 2017 21:27:11 +0000 (15 14:27 -0700) | ||
| committer | Paul Eggert <eggert@cs.ucla.edu> | |
| Sat, 15 Apr 2017 21:30:43 +0000 (15 14:30 -0700) | ||
| tree | e0cf404f15496c4e1376556f8762b1cf08b06cb4 | treesnapshot (tar.gz zip) |
| parent | f05e6ea8927664df6fa55d2f11a60f1b5ca4e399 | commitdiff |
intprops: improve comments
* lib/intprops.h: Improve and shorten commentary.
For the record, if we ever run into a pedantic compiler that
behaves differently from GCC when converting an out-of-range value
to a signed integer, we can work around the problem with something
like the following code, where UCT is the signed counterpart of T
(UCT is sometimes narrower than UT) and all callers are changed
accordingly:
((t) ((ut) (a) op (ut) (b)))
(TYPE_MINIMUM (t) <= (uct) ((ut) (a) op (ut) (b)) \
? ((t) (uct) (((ut) (a) op (ut) (b)) - TYPE_MINIMUM (t)) \
+ TYPE_MINIMUM (t)) \
: (t) (uct) ((ut) (a) op (ut) (b)))
* lib/intprops.h: Improve and shorten commentary.
For the record, if we ever run into a pedantic compiler that
behaves differently from GCC when converting an out-of-range value
to a signed integer, we can work around the problem with something
like the following code, where UCT is the signed counterpart of T
(UCT is sometimes narrower than UT) and all callers are changed
accordingly:
((t) ((ut) (a) op (ut) (b)))
(TYPE_MINIMUM (t) <= (uct) ((ut) (a) op (ut) (b)) \
? ((t) (uct) (((ut) (a) op (ut) (b)) - TYPE_MINIMUM (t)) \
+ TYPE_MINIMUM (t)) \
: (t) (uct) ((ut) (a) op (ut) (b)))
| ChangeLog | diffblobblamehistory | |
| lib/intprops.h | diffblobblamehistory |