aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/shift-assign2.c
AgeCommit message (Expand)AuthorFilesLines
2020-08-06shift-assign: restrict shift count to unsigned intLuc Van Oostenryck1-1/+0
2020-08-06shift-assign: add more testcases for bogus linearizationLuc Van Oostenryck1-0/+54