Info Catalog gdb: Ada Tasks gdb: Ada gdb: Ravenscar Profile

gdb: Ada Tasks and Core Files

 
 15.4.10.8 Tasking Support when Debugging Core Files
 ...................................................
 
 When inspecting a core file, as opposed to debugging a live program,
 tasking support may be limited or even unavailable, depending on the
 platform being used.  For instance, on x86-linux, the list of tasks is
 available, but task switching is not supported.
 
    On certain platforms, the debugger needs to perform some memory
 writes in order to provide Ada tasking support.  When inspecting a core
 file, this means that the core file must be opened with read-write
 privileges, using the command '"set write on"' (Patching).
 Under these circumstances, you should make a backup copy of the core
 file before inspecting it with GDB.
 

Info Catalog gdb: Ada Tasks gdb: Ada gdb: Ravenscar Profile