[Bug c/59856] Support sparse-style context checking, used to validate locking correctness

[tromey at gcc dot gnu.org]

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

--- Comment #15 from Tom Tromey <tromey at gcc dot gnu.org> ---
(In reply to Josh Triplett from comment #13)

> Note that in addition to complaining if *any* exit to the function doesn't
> have the correct "out" value, you also need to complain if calls to
> functions with the context attribute don't have the necessary "in" value. 

You also need to have checks to ensure that the value doesn't drop below 0.

Anyway given that this is happening, I suggest closing this gcc bug.