aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/pointer-arith32.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-22canon: put PSEUDO_ARGs in canonical order tooLuc Van Oostenryck1-6/+6
2020-08-17fix evaluate_ptr_add() when sizeof(offset) != sizeof(pointer)Luc Van Oostenryck1-0/+94