diff options
| author | Vasiliy Fofanov <fofanov@adacore.com> | 2020-05-22 13:22:41 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-08 10:55:55 -0400 |
| commit | b19c922bf471e4202bf4853cab9575d4a924657c (patch) | |
| tree | 0b2c729b6b94a0345e14979abd23aace1e94cba3 /gcc/ada/debug.adb | |
| parent | 72145c1ee83fc5d7b8f65084442a7397bf154154 (diff) | |
| download | gcc-b19c922bf471e4202bf4853cab9575d4a924657c.zip gcc-b19c922bf471e4202bf4853cab9575d4a924657c.tar.gz gcc-b19c922bf471e4202bf4853cab9575d4a924657c.tar.bz2 | |
[Ada] Optional warning on build-in-place function calls
gcc/ada/
* debug.adb: Document new switch.
* exp_ch6.adb (Warn_BIP): New function that warns if the switch
is on. Call it from Make_Build_In_Place_* functions. Warn_BIP
is not needed in Make_Build_In_Place_Iface_*, because those call
Make_Build_In_Place_Call_In_Object_Declaration or similar.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 0f73c2a..316a798 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -173,7 +173,7 @@ package body Debug is -- d_z Enable Put_Image on tagged types -- d_A Stop generation of ALI file - -- d_B + -- d_B Warn on build-in-place function calls -- d_C -- d_D -- d_E @@ -1003,6 +1003,10 @@ package body Debug is -- d_A Do not generate ALI files by setting Opt.Disable_ALI_File. + -- d_B Warn on build-in-place function calls. This allows users to + -- inspect their code in case it triggers compiler bugs related + -- to build-in-place calls. See known-problem entries for details. + -- d_F The compiler encodes the full path from an invocation construct to -- an external target, offering additional information to GNATBIND for -- purposes of error diagnostics. |