Fix #11310: False Positive on Match Arm Comparison with Incremented Bounded Integer #70
Triggered via pull request
February 19, 2026 19:28
VincentLanglet
VincentLanglet
closed
#4968
Status
Skipped
Total duration
1s
Artifacts
–
close-issues-on-merge.yml
on: pull_request_target
Close linked issues