enabled signed-overflow