practicalswift
commented at 2:01 PM on August 25, 2017:
contributor
Document assumptions (via assert(…):s) that are being made to avoid division by zero.
Rationale:
Make it clear to human reviewers and non-human static analyzers that what might look like potential division by zero cases are written the way they are intentionally (these cases are currently flagged by various static analyzers).
practicalswift renamed this: Document assumptions that must be fulfilled to avoid division by zero Document assumptions that are being made to avoid division by zero on Aug 25, 2017
practicalswift force-pushed on Aug 25, 2017
laanwj added the label Refactoring on Aug 26, 2017
meshcollider
commented at 12:52 PM on August 26, 2017:
contributor
Hmm does adding that text change the behavior of the static analyzers? Otherwise it seems pretty human readable to me already, they aren't exactly complicated asserts :)
sipa
commented at 7:31 PM on August 27, 2017:
member
This is a metadata mirror of the GitHub repository
bitcoin/bitcoin.
This site is not affiliated with GitHub.
Content is generated from a GitHub metadata backup.
generated: 2026-04-16 15:15 UTC
This site is hosted by @0xB10C More mirrored repositories can be found on mirror.b10c.me