La pregunta formulada (“¿Cómo puedo saber cómo funcionan los símbolos de depuración de GCC?”) No está del todo clara. ¿Qué es lo que estás tratando de aprender? ¿La codificación de los datos? ¿La estructura de la información? ¿Cómo se emiten los datos específicamente por GCC? ¿El consumo de la información de depuración por el depurador emitido por GCC? ¿A qué se refieren los “símbolos de depuración”? ¿Son solo las etiquetas adicionales que el compilador emite para ayudar al depurador? ¿Es “símbolos de depuración” simplemente una mala elección de palabras para “información de depuración”? La información de depuración emitida contiene mucho más que símbolos para permitir la depuración simbólica del código fuente. ¿Qué formato de datos estás mirando?
Suponiendo que simplemente esté interesado en la codificación de los datos, la mejor opción sería consultar la especificación del formato. Existen múltiples herramientas (según el formato) que le permitirán decodificar la información e inspeccionarla. Otra opción sería estudiar cómo los depuradores consumen la información si está interesado en saber cómo es útil el formato.