[Bug ada/103436] gnatD debug info refers to original rather than generated file

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-01-07
                 CC|                            |ebotcazou at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
           Severity|normal                      |minor
     Ever confirmed|0                           |1
           Keywords|wrong-debug                 |

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I guess that we could add a hack to gnat_post_options but I think that nobody
else really cares in the end, so feel free to suggest a documentation change.