http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55162
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-11-02
04:08:25 UTC ---
>For example, passing a virtual address 0x00001000 and c = 0x80000000 to the
function should actually run over the address range 0x00001000 .. 0x80001000,
No it runs over the address range 0x00001000 .. -1 and more as 0x80000000 * 4
wraps/overflows. If x was char* then I would say there is a bug but this is
int* which has a size of 4.
