Issue
While using MIRAI to analyze a Rust project, I found it generated too many duplicated warnings for the same location. This repetition of warnings clutters the output, making it difficult to identify unique issues and understand the results efficiently.
Steps to Reproduce
git clone https://github.com/matrix-org/matrix-rust-sdk.git
cd matrix-rust-sdk
git checkout 320b86869488a6c4bcb74e0d07680b47d578579a
MIRAI_FLAGS="--diag=library" cargo mirai
Expected Behavior
MIRAI should ideally consolidate duplicate warnings for one issue type in the same code location, and reducing the output verbosity can enhance the readability of the analysis reports.
Actual Results
MIRAI produces many duplicated warnings.
For example, the following warning repeated 11 times.
warning: possible attempt to multiply with overflow
--> crates/matrix-sdk/src/oidc/cross_process.rs:47:45
Environment
Rust version (rustc --version)
rustc 1.77.0-nightly (3cdd004e5 2023-12-29)
Issue
While using MIRAI to analyze a Rust project, I found it generated too many duplicated warnings for the same location. This repetition of warnings clutters the output, making it difficult to identify unique issues and understand the results efficiently.
Steps to Reproduce
Expected Behavior
MIRAI should ideally consolidate duplicate warnings for one issue type in the same code location, and reducing the output verbosity can enhance the readability of the analysis reports.
Actual Results
MIRAI produces many duplicated warnings.
For example, the following warning repeated 11 times.
warning: possible attempt to multiply with overflow --> crates/matrix-sdk/src/oidc/cross_process.rs:47:45Environment
Rust version (rustc --version)
rustc 1.77.0-nightly (3cdd004e5 2023-12-29)