diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-10-12 13:39:56 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-10-12 13:40:16 +0200 |
| commit | a865b38bf33202b66ee2e72912fe164aa2a504c7 (patch) | |
| tree | 13920b9ff109eb67c22ee9dac3472d903ae0e549 /src/rpc | |
| parent | 892809309c1bc370677241a715e57a2744f94323 (diff) | |
| parent | 55509f1a11003837714071d05ea878b340757a76 (diff) | |
Merge #11133: Document assumptions that are being made to avoid division by zero
55509f1 Document assumptions that are being made to avoid division by zero (practicalswift)
Pull request description:
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).
Tree-SHA512: bbb67b1370afd8f39bda35f9e3a20f4325f017d94cc1bfac3b0d36c9f34c2d95a9efe11efe44db29fb4aadd25d8276d8f0e03c8806ac64f0d21d821912e13b8e
Diffstat (limited to 'src/rpc')
0 files changed, 0 insertions, 0 deletions