Mathieu Lacage wrote:
svn diff -x -p does not work here. Is there a magic incantation I should run to produce such a diff ?
There are some instructions in the gcc wiki about how to do this. The gcc wiki is accessible from our home page, gcc.gnu.org. svn uses a built-in diff that doesn't support -p, so you need to tell svn to use an external diff program which is a shell script that calls GNU diff.
Any suggestion on a name ?
You could make this conditional on -g3 as a start. -g2 is the default. See the debug_info_level stuff.
If you are serious about submitting this as a patch, there are a number of requirements that must be fulfilled. We need an FSF GCC copyright assignment. We need test results, for a debug patch, that would include both gcc and gdb testsuite results. The patch needs to be sent to the gcc-patches list. But first you need to get the patch working reliably.
-- Jim Wilson, GNU Tools Support, http://www.specifix.com
