This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/59850] Support sparse-style pointer address spaces (type attributes)
- From: "josh at joshtriplett dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 01 Feb 2014 18:38:58 +0000
- Subject: [Bug c/59850] Support sparse-style pointer address spaces (type attributes)
- Auto-submitted: auto-generated
- References: <bug-59850-4 at http dot gcc dot gnu dot org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850
--- Comment #4 from Josh Triplett <josh at joshtriplett dot org> ---
(In reply to Tom Tromey from comment #3)
> I noticed this behavior and was wondering if it is intended:
>
> bapiya. cat /tmp/q.c
> __attribute__((force)) int *p;
> int q = *p;
> bapiya. sparse -Wno-decl /tmp/q.c
> /tmp/q.c:2:10: warning: dereference of noderef expression
>
>
> If so it would be good to know all the rules for "force" --
> I stumbled across this by accident but then was wondering
> if there are other rules I don't know of.
What version of sparse did you try that with? I can't seem to reproduce that
with the current version, nor with older versions.