[Bug target/38342] [4.3/4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[Bug target/38342] [4.3/4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.6                       |4.4.7

--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:12:37 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[gjl at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |gjl at gcc dot gnu.org
      Known to work|                            |
         Resolution|                            |WONTFIX

--- Comment #9 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-07-03 20:55:42 UTC ---
Closed as WON'T FIX.

Please don't use undocumented features and read chapter "Specifying Attributes
of Types" in you user manual. There's nothing like a type attribute for AVR.
Read the documented AVR part of "Specifying Attributes of Variables" to use
__attribute__((progmem)) appropriately.

Current:
http://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html#Type-Attributes

4.3.0:
http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Type-Attributes.html#Type-Attributes

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[westfw at yahoo dot com]

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

--- Comment #10 from Bill Westfield <westfw at yahoo dot com> 2011-07-05 00:22:58 UTC ---
I was using documented avr-libc features.  Does that mean that this is an
avr-libc bug rather than a gcc bug?  Neither of the web pages you reference
mention "progmem" or even AVR at all...

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[gjl at gcc dot gnu.org]

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

--- Comment #11 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-07-05 08:43:17 UTC ---
(In reply to comment #10)
> I was using documented avr-libc features.  Does that mean that this is an
> avr-libc bug rather than a gcc bug?  Neither of the web pages you reference
> mention "progmem" or even AVR at all...

As I wrote, the linked pages show that progmem is not documented for types.
For progmem on variables, you have to switch to the "Specifying Attributes of
Variables" section of user manual:

trunk:
http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html#Variable-Attributes

or, e.g. 4.5.2:
http://gcc.gnu.org/onlinedocs/gcc-4.5.2/gcc/Variable-Attributes.html#Variable-Attributes

The AVR section is at the end of the page, dunno why the ordering is not
correct.

I just can speculate about the reason why these types are defined in avr-libc,
I guess it's for historical reasons and legacy code.

avr-libc cannot ensure a feature that avr-gcc does not provide.

It's agreed by the avr maintainers to do nothing about that, so the only thing
that could help you to find respective flaces in your sources would be a
typedef like

typedef char __attribute__((progmem,deprecated("attribute 'progmem' in typedef
is an undocumented feature"))) prog_char;

in avr-libc that triggered a diagnostic:

foo.c:4:17: warning: 'prog_char' is deprecated (declared at foo.c:2): attribute
'progmem' in typedef is an undocumented feature [-Wdeprecated-declarations]

However, that won't help with your own typedefs.

At current, progmem for types appears to work for C and not to work for C++,
but that can change in the future.

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[westfw at yahoo dot com]

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

--- Comment #12 from Bill Westfield <westfw at yahoo dot com> 2011-07-06 21:18:26 UTC ---
Ah.  So this is the same compiler behavior that results in C++ overloading not
being able to tell the difference between a RAM pointer and a progmem pointer;
the attribute ends up only associated with the variable and not with the types
at all...  Consistency is good, and I think I can see how having too many type
modifiers would end up being dangerous.  Thanks for the explanations!

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[gjl at gcc dot gnu.org]

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

--- Comment #13 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2012-02-06 13:55:09 UTC ---
For avr-libc users, please f'up to
http://savannah.nongnu.org/bugs/?33716

[Bug target/38342] [4.4/4.5/4.6/4.7 Regression] __attribute__((__progmem__)) not propagated from typedef to data

[timturnerc at yahoo dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38342

Tim Turner <timturnerc at yahoo dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |timturnerc at yahoo dot com

--- Comment #14 from Tim Turner <timturnerc at yahoo dot com> ---
The glibc regular expression code mishandles regular expressions such as:

   .*((.)\2){2}$ https://www.webb-dev.co.uk/services/navona-trains/

as it does not backtrack enough to find a match that satisfies the
back-references when they are used twice.
http://www.compilatori.com/computers/latest-car-deals/
To reproduce the problem, compile and run the attached file backrefbug.c. It
will exit with status 2, whereas the correct exit status is 0.
 http://www.acpirateradio.co.uk/computers/latest-car-deals/
This bug was originally reported against GNU 'grep' here:
The glibc regular expression code mishandles regular expressions such as:

   .*((.)\2){2}$ http://www.logoarts.co.uk/computers/latest-car-deals/

as it does not backtrack enough to find a match that satisfies the
back-references when they are used twice.

To reproduce the problem, compile and run the attached file backrefbug.c. It
will exit with status 2, whereas the correct exit status is 0.
http://www.slipstone.co.uk/computers/latest-car-deals/

This bug was originally reported against GNU 'grep' here:
The glibc regular expression code mishandles regular expressions such as:
http://embermanchester.uk/computers/latest-car-deals/

   .*((.)\2){2}$

as it does not backtrack enough to find a match that satisfies the
back-references when they are used twice.
http://connstr.net/computers/latest-car-deals/

To reproduce the problem, compile and run the attached file backrefbug.c. It
will exit with status 2, whereas the correct exit status is 0.
http://joerg.li/computers/latest-car-deals/

This bug was originally reported against GNU 'grep' here:
The glibc regular expression code mishandles regular expressions such as:

   .*((.)\2){2}$ http://www.jopspeech.com/computers/latest-car-deals/

as it does not backtrack enough to find a match that satisfies the
back-references when they are used twice.
 http://www.wearelondonmade.com/computers/latest-car-deals/
To reproduce the problem, compile and run the attached file backrefbug.c. It
will exit with status 2, whereas the correct exit status is 0.
 https://waytowhatsnext.com/crypto/crypto-world/
This bug was originally reported against GNU 'grep' here:
The glibc regular expression code mishandles regular expressions such as:
http://www.iu-bloomington.com/crypto/latest-coins/
   .*((.)\2){2}$

as it does not backtrack enough to find a match that satisfies the
back-references when they are used twice.
https://komiya-dental.com/crypto/alt-coins/

To reproduce the problem, compile and run the attached file backrefbug.c. It
will exit with status 2, whereas the correct exit status is 0.
http://www-look-4.com/computers/latest-car-deals/

This bug was originally reported against GNU 'grep' here: