If you would like to make suggestions about GPS, or if you encountered a bug, please report it to mailto:report@gnat.com if you are a supported user, and to mailto:gps-devel@lists.act-europe.fr otherwise.
Please try to include a detailed description of the problem, including sources to reproduce it if possible/needed, and/or a scenario describing the actions performed to reproduce the problem, as well as the tools (e.g debugger, compiler, call graph) involved.
The files $HOME/.gps/log may also bring some useful information when reporting a bug.
In case GPS generates a bug box, the log file will be kept under a separate name ($HOME/.gps/log.<pid> so that it does not get erased by further sessions. Be sure to include the right log file when reporting a bug box.