mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
471e0d9c11
Because of a sub-par heuristic designed to avoid emitting *unnecessary* debug information tags, some of the *necessary* tags were lost as well, leading to debug information mismatch between the backend and the UI. Note that this is not a fix, this commit simply removes the heuristic in question, leading to ~2x increase in output c file size.