[PATCH] Fix PR24851 (2nd version)

[Ian Lance Taylor]

Richard Guenther <rguenther@suse.de> writes:

> One day we might have a well-defined type system in the middle-end which
> should disallow pointer addition, but handle pointer + integer offset,
> just like the C standard defines things.  This would avoid all this mess.
> 
> (So, do you think the '???' comment in the patch is bogous or is it a
> valid concern?)

I think it's a theoretically valid concern, but I can't imagine it
ever arising in practice.

Ian