rust-lang/rust-clippy

useless op on lhs of integer division or modulo

Open

#1,324 opened on 2016年11月7日

GitHub で見る
 (2 comments) (0 reactions) (1 assignee)Rust (10,406 stars) (1,391 forks)batch import
A-lintL-correctnessL-unnecessaryT-middlegood first issue

説明

(x + n + y) % n or (x + n + y) / n can simply be replaced by (x + y) % n or (x + y) / n + 1

this isn't true for the following computations on unsigned integers:

(x + n - y) % n or (x + n - y) / n

as they might go negative due to the subtraction. For explicitly evading INT_MAX issues, this lint will cause false positives, but that could be evaded by not linting if INT_MAX is mentioned somewhere near the operation.

most likely, whenever this lint triggers, it is a bug in the equation, so the suggestion doesn't fix the underlying issue, but it will raise awareness of it.

コントリビューターガイド

技術スタック
rust
領域
tooling
Issue 種別
feature
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-2 days
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
blocked
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
RustClippy internalsInteger overflow
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
30
調査方針
The issue proposes a clippy lint to detect useless addition of n in modulo/division by n. The transformation is: (x + n + y) % n > (x + y) % n and (x + n + y) / n > (x + y) / n + 1. Exceptions: unsigned subtraction (x + n y) may go negative, and scenarios involving INT MAX. The lint should be implemented in clippy lints, possibly in a new file for arithmetic simplifications. Since the issue is assigned, check with maintainers before starting.