Fix spurious overflow in pointer subtraction · goblint/analyzer@b4e0de9

Triggered via push January 16, 2026 12:45

sim642

ptr-minus-speculating

Status Success

Total duration 4m 30s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:de7bd26fed5ef728f3c4d50ff9ce301c9368a5cf53aabccfcb2703e7db3a6de6`