aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/shift-assign2.c
AgeCommit message (Collapse)AuthorFilesLines
2020-08-06shift-assign: restrict shift count to unsigned intLuc Van Oostenryck1-1/+0
After the RHS of shift-assigns had been integer-promoted, both gcc & clang seems to restrict it to an unsigned int. This only make a difference when the shift count is negative and would it make it UB. Better to have the same generated code, so make the same here. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-08-06shift-assign: add more testcases for bogus linearizationLuc Van Oostenryck1-0/+54
The usual conversions must not be applied to shifts. This causes problems for shift-assigns. So, add testcases for all combinations of size and signedness. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>