[Bug target/59773] Mixing pointers to different memory spaces shows no warning (gcc for AVR)

[gjl at gcc dot gnu.org]

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

Georg-Johann Lay <gjl at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |avr
           Priority|P3                          |P5
             Status|UNCONFIRMED                 |RESOLVED
          Component|c                           |target
         Resolution|---                         |INVALID
           Severity|major                       |normal

--- Comment #1 from Georg-Johann Lay <gjl at gcc dot gnu.org> ---
Please use the -Waddr-space-convert option available for avr-gcc, cf. PR56263
available in 4.8.0 and newer.

Because PR56263 is neither a documentation fix nor a bug, it won't be
backported to 4.7 according to GCC's porting pilicies.