Re: some integer undefined behaviors in gcc

[John Regehr]

I think the messages are clear enough.  You should probably wait a few days to
let people comment and/or fix, and then file PRs.  1 per file seems to be the
right granularity.

Thanks Eric, that's what I'll do.

John