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