aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/pointer-arith64.c
AgeCommit message (Expand)AuthorFilesLines
2020-08-17fix evaluate_ptr_add() when sizeof(offset) != sizeof(pointer)Luc Van Oostenryck1-0/+79