Reverse lookup partially fails for a filter redirecting to empty media resource

[Yuki2718]

Prerequisites

• I verified that this is not a filter issue
  • Filter issues MUST be reported at filter issue tracker
• This is not a support issue or a question
  • Support issues and questions are handled at /r/uBlockOrigin
• I performed a cursory search of the issue tracker to avoid opening a duplicate issue
  • Your issue may already be reported.
• I tried to reproduce the issue when...
  • uBlock Origin is the only extension
  • uBlock Origin with default lists/settings
  • using a new, unmodified browser profile
• I am running the latest version of uBlock Origin
• I checked the documentation to understand that the issue I report is not a normal behavior

Description

Reverse lookup of filter lists on the logger fails for a filter redirecting to media resource - in the example below it succeeds for ||static.twincdn.com^$media,redirect-rule=noopmp3-0.1s but fails for ||static.twincdn.com^$media. No such problem for ||google-analytics.com/analytics.js redirected to google-analytics.com/analytics.js on the same page (EDIT: maybe not, as it shows Peter Lowe's as Filter list which has the exact blocking filter - so maybe blocking part of $redirect was not counted?).

A specific URL where the issue occurs

[NSFW] https://www.pornohirsch.net/film/blonde-stiefschwester-laesst-sich-hart-ficken-45035/

Steps to Reproduce

1. Visit URL with default setup and open the logger
2. Close video-overlay (or add pornohirsch.net##.vjs-overlay from the beginning)
3. Play the video and see the logger

Expected behavior:

It shows uBlock filters as Filter list.

Actual behavior:

"Static filter could not be found in any of the currently enabled filter lists"

Your environment

• uBlock Origin version: 1.31.0
• Browser Name and version: Firefox 83.0
• Operating System and version: Windows 10

[gorhill]

Do I need to add ||static.twincdn.com^$media? If so, how did you add it? Did you add it through the logger or directly in "My filters"?

[Yuki2718]

@gorhill uBlock filters has ||static.twincdn.com^$media,redirect=noopmp3-0.1s. I mean, redirect= and not redirect-rule= (but not complaining about that logger shows as redirect-rule - my issue is its blocking part is ignored on the logger in case of media. Apparently no such issue for script).

[gorhill]

Ok I can reproduce -- investigating.

[gorhill]

The issue is that without a redirect option, the same block filter is compiled at this line, while with the redirect option the block filter counterpart is compiled at a different point, using a different internal representation.