1 o Minor bugfixes (correctness):
2 - Fix several places in our codebase where a C compiler would be likely
3 to eliminate a check, based on assuming that undefined behavior had not
4 happened elsewhere in the code. These cases are usually a sign of
5 redundant checking, or dubious arithmetic. Found by Georg Koppen using
6 the "STACK" tool from Wang, Zeldovich, Kaashoek, and
7 Solar-Lezama. Fixes bug 24423; bugfix on various Tor versions.