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.
