diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2012-05-15 12:09:44 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-05-15 14:09:44 +0200 |
| commit | b0d7135584eb90c1d4de57d754c8963b1703fcc6 (patch) | |
| tree | e54aec67d2825cbc15550a9abbb2f2b48bcfcc7b /gcc/tree-vrp.c | |
| parent | 5b5b27adff45664299c19f4666e078f4acecfdf7 (diff) | |
| download | gcc-b0d7135584eb90c1d4de57d754c8963b1703fcc6.zip gcc-b0d7135584eb90c1d4de57d754c8963b1703fcc6.tar.gz gcc-b0d7135584eb90c1d4de57d754c8963b1703fcc6.tar.bz2 | |
exp_ch4.adb (Insert_Dereference_Action): Reimplemented.
2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Insert_Dereference_Action): Reimplemented. The
routine performs address and size adjustments for dereferences
of heap-allocated controlled objects. This manipulation is needed
in order to restore the original state of the memory at the time
it was allocated by the finalization machinery.
* rtsfind.ads: Add RE_Adjust_Controlled_Dereference to tables
RE_Id and RE_Unit_Table.
* sinfo.adb (Has_Dereference_Action): New routine.
(Set_Has_Dereference_Action): New routine.
* sinfo.ads: Add new semantic flag Has_Dereference_Action along
its association in nodes.
(Has_Dereference_Action): New routine and pragma Inline.
(Set_Has_Dereference_Action): New routine and pragma Inline.
* s-stposu.ads, s-stposu.adb (Adjust_Controlled_Dereference): New
routine.
From-SVN: r187530
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions