https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59856
--- Comment #10 from Tom Tromey <tromey at gcc dot gnu.org> --- (In reply to Josh Triplett from comment #9) > > It might help to see exactly where __context__ is used in real code. > > A few patterns: Sorry, I wasn't very clear. It seems to me that __context__ must be used as a kind of annotation alongside some effect-ful statement. I'm curious what those statements are; and whether we could somehow annotate them directly. (I presume not since sparse didn't go that route, but I figured I'd ask.) > Sparse requires exactly the same, but even that level of difficulty means a > tiny fraction of people building kernels actually use it. Integrating it > with GCC means it could work automatically for everyone. Yeah, makes sense.
