Wouldn't it be possible to, with a really strange number format for integers, define SIZE_MAX as INFINITY? C doesn't require twos-compliment numbers, after all.
That's a very interesting question that got me thinking for quite a while and the only conclusion I reached is that you deserve an upvote.