diff options
| author | Robert Dewar <dewar@adacore.com> | 2007-09-26 12:42:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-09-26 12:42:59 +0200 |
| commit | f23585f174e491dcf8fbb274a0e407cc2cc64886 (patch) | |
| tree | 9f6affc91257fbbff74071b18fe45d81fa90834e /gcc/ada/exp_ch5.adb | |
| parent | fdce4bb79eb092b412c272e92435b57147312011 (diff) | |
| download | gcc-f23585f174e491dcf8fbb274a0e407cc2cc64886.tar.gz | |
exp_ch5.adb: Activate memmove type processing if debug flag d.s is set
2007-09-26 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb: Activate memmove type processing if debug flag d.s is set
* debug.adb: Add d.s flag.
From-SVN: r128787
Diffstat (limited to 'gcc/ada/exp_ch5.adb')
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index c68a12a7463..4de10742ca6 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -387,7 +387,7 @@ package body Exp_Ch5 is -- File.Storage := Contents; -- end Write_All; - -- We expand to a loop in either of these two cases. + -- We expand to a loop in either of these two cases -- Question for future thought. Another potentially more efficient -- approach would be to create the actual subtype, and then do an @@ -636,11 +636,18 @@ package body Exp_Ch5 is -- gigi handle it. if not Loop_Required then + + -- Assume gigi can handle it if Forwards_OK is set + if Forwards_OK (N) then return; - else - null; - -- Here is where a memmove would be appropriate ??? + + -- If Forwards_OK is not set, the back end will need something + -- like memmove to handle the move. For now, this processing is + -- activated using the .s debug flag (-gnatd.s). + + elsif Debug_Flag_Dot_S then + return; end if; end if; |