False Positive on Match Arm Comparison with Incremented Bounded Integer #89
Triggered via pull request
February 21, 2026 17:54
VincentLanglet
VincentLanglet
closed
#5003
Status
Success
Total duration
8s
Artifacts
–
close-issues-on-merge.yml
on: pull_request_target
Close linked issues
5s