Check for overflow on left shift of signed ints#1528

Merged

kroening merged 2 commits intodiffblue:developfrom

tautschnig:shl-overflow

Oct 27, 2017

Commits on Oct 26, 2017

Check for overflow on left shift of signed ints
tautschnig
committed
Shifts of non-integers and left shifts of negative integers are undefined
tautschnig
committed