[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42129

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |froydnj at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org,
                   |                            |rth at gcc dot gnu.org

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-06 23:06:27 UTC ---
I guess somebody knowledgeable about this target should have a look. Adding
Jason too, maybe the issue doesn't exist anymore, no idea.

[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[froydnj at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42129

Nathan Froyd <froydnj at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-11-07
     Ever Confirmed|0                           |1

--- Comment #2 from Nathan Froyd <froydnj at gcc dot gnu.org> 2011-11-07 00:06:11 UTC ---
I can confirm that the problem still happens with the given options (-mh -mn
-mint32).  I don't know much about this target, but the equivalent C front-end
code has:

  /* Determine integer type to perform computations in.  This will usually
     be the same as the result type (ptrdiff_t), but may need to be a wider
     type if pointers for the address space are wider than ptrdiff_t.  */
  if (TYPE_PRECISION (restype) < TYPE_PRECISION (TREE_TYPE (op0)))
    inttype = lang_hooks.types.type_for_size
        (TYPE_PRECISION (TREE_TYPE (op0)), 0);
  else
    inttype = restype;

and uses that as the result of the division, with a conversion to restype
(ptrdiff_type_node) as in Paolo's patch.

I think it'd be better to try to make the C and C++ front-ends as close as
possible on this; I can try a patch that combines the above and Paolo's, but
I'm not sure I'd get to it before stage 1 closes.

[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42129

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-07 00:19:45 UTC ---
Nathan, if you can take care of this issue, it would be great. Feel free to
assign it to yourself.

Note, I didn't write any code, draft patch is submitter's.

[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42129

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-24 12:04:17 UTC ---
Pinging Nathan, maybe we can do this for 4.8...

[Bug c++/42129] ICE in pointer difference with sizeof(int)>sizeof(void *)

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42129

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Nathan?