diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-09-04 15:27:01 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-08 10:37:12 +0200 |
| commit | 65491166ddbc83b7283b42dc6d6451668acd9f22 (patch) | |
| tree | 5e300aeb7a8e7971f18b9246526431ea534434c9 /libcpp | |
| parent | 45131b851522180c532bebb3521865e488025af0 (diff) | |
| download | gcc-65491166ddbc83b7283b42dc6d6451668acd9f22.zip gcc-65491166ddbc83b7283b42dc6d6451668acd9f22.tar.gz gcc-65491166ddbc83b7283b42dc6d6451668acd9f22.tar.bz2 | |
ada: Add adareducer integration to ICE handling
This patch adds a way to have the adareducer tool run on a appropriate
set of files when GNAT crashes. This feature is behind the -gnatd_m
debugging switch.
gcc/ada/ChangeLog:
* comperr.adb (Compiler_Abort): Add call to
Generate_Minimal_Reproducer and replace call to Namet.Unlock with
call to Unlock_If_Locked.
* debug.adb: Document new purpose of -gnatd_m and -gnatd_M.
* fname-uf.adb (Instantiate_SFN_Pattern): New procedure.
(Get_Default_File_Name): New function.
(Get_File_Name): Replace inline code with call to
Instantiate_SFN_Pattern.
* fname-uf.ads (Get_Default_File_Name): New function.
* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer):
New procedure.
* namet.adb (Unlock_If_Locked): New function.
* namet.ads (Unlock_If_Locked): Likewise.
* par-prag.adb (Prag): Add special behavior with -gnatd_M.
* set_targ.adb: Minor fixes to comments.
* gcc-interface/Make-lang.in: Update list of object files.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions