How do I limit a taxonomy dropdown exposed filter to the terms used by nodes in view results?
Like you can already read on the bug report from Drupal.org which you've copied from, a good solution is to use Views Selective Filters. It does exactly you're asking for.