diff options
| author | Bob Duff <duff@adacore.com> | 2019-09-17 07:59:29 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 07:59:29 +0000 |
| commit | 2d319f3acef1e80d7bb288a6b5d1ae76f2968b45 (patch) | |
| tree | 55ea3a206daf26d327742af0ed5f06646e5e1029 /gcc/ada/adaint.c | |
| parent | 38c4e50d8c738553de6f5e7a5fee3b55728ea457 (diff) | |
| download | gcc-2d319f3acef1e80d7bb288a6b5d1ae76f2968b45.zip gcc-2d319f3acef1e80d7bb288a6b5d1ae76f2968b45.tar.gz gcc-2d319f3acef1e80d7bb288a6b5d1ae76f2968b45.tar.bz2 | |
[Ada] Avoid touching potentially nonexistent memory
...in cases where the Val_2 might cross a page boundary, and the second
page is now known to exist.
Copy_Bitfield is still disabled in the compiler: no test possible.
2019-09-17 Bob Duff <duff@adacore.com>
gcc/ada/
* libgnat/s-bituti.adb (Get_Val_2, Set_Val_2): Use new routines
for getting and setting a Val_2, avoiding touching the second
half when that half might not exist.
* exp_ch5.adb (Expand_Assign_Array_Loop_Or_Bitfield): Correct
tests for potential volatile or independent components. In
particular, do not call Prefix unless we know it's a slice.
From-SVN: r275771
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions