diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-07-23 08:57:22 -0400 |
---|---|---|
committer | Arnaud Charlet <charlet@adacore.com> | 2020-07-23 08:57:22 -0400 |
commit | 0c111868b791a5251de7a59362e15c51cd35362b (patch) | |
tree | dba4bb4460ca9b0d833195f5a60c1648197b878e /gcc/gcov-io.c | |
parent | 2949e0865723e011279a504e3fe913062c8d6e0b (diff) | |
download | gcc-0c111868b791a5251de7a59362e15c51cd35362b.zip gcc-0c111868b791a5251de7a59362e15c51cd35362b.tar.gz gcc-0c111868b791a5251de7a59362e15c51cd35362b.tar.bz2 |
[Ada] Add push/pop capability in Output
Add the capability to use the Write_* procedures in an environment where
you want to write debugging info but still use them to write to other
files (such a C source files).
gcc/ada/
* output.ads (Push_Output, Pop_Output): New procedures.
* output.adb (FD_Array, FD_Stack, FD_Stack_Idx): New type and vars.
(Push_Output, Pop_Output): New procedures.
Diffstat (limited to 'gcc/gcov-io.c')
0 files changed, 0 insertions, 0 deletions