tree 2b48d53c1139aeb81df1328f19a0bfe86aee5af1
parent 70591dc15db32941fe3595fdbf98e58d6975f95e
author Ralf Jung <post@ralfj.de> 1722264021 +0200
committer Ralf Jung <post@ralfj.de> 1722515119 +0200

on a signed deref check, mention the right pointer in the error