[astrange]

The research into this is usually called "effect systems", I think. You can use it to prove that ugly old APIs like OpenGL are being used properly in your code.

As far as the real world goes, all you get is -Wunused.