diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-23 12:11:21 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-23 12:11:21 +0200 |
| commit | 2934b84ad8624e08f1390f9bf2cf95a0093f4f1b (patch) | |
| tree | 9524c6826a5f9f1e6e163cbfe6c0dd6e078260b1 /gcc/ada/sinfo.adb | |
| parent | 3fdb58e2eb3b2dbb3ec9bb12daf8c02fcc387e9e (diff) | |
| download | gcc-2934b84ad8624e08f1390f9bf2cf95a0093f4f1b.zip gcc-2934b84ad8624e08f1390f9bf2cf95a0093f4f1b.tar.gz gcc-2934b84ad8624e08f1390f9bf2cf95a0093f4f1b.tar.bz2 | |
[multiple changes]
2014-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Ensure_Valid): Update the subprogram
profile. Propagate the contex attributes to Insert_Valid_Check.
(Insert_Valid_Check): Update the subprogram profile. Propagate
the attributes of the context to Duplicate_Subexpr_No_Checks.
(Validity_Check_Range): Update the subprogram profile. Propagate
the context attribute to Ensure_Valid.
* checks.ads (Ensure_Valid): Update the subprogram profile
along with the comment on usage.
(Insert_Valid_Check): Update the subprogram profile along with the
comment on usage.
(Validity_Check_Range): Update the subprogram profile along with
the comment on usage.
* exp_util.adb (Build_Temporary): New routine.
(Duplicate_Subexpr_No_Checks): Update the subprogram
profile. Propagate the attributes of the context to Remove_Side_Effects.
(Remove_Side_Effects): Update the subprogram profile. Update all calls
to Make_Temporary to invoke Build_Temporary.
* exp_util.ads (Duplicate_Subexpr_No_Checks): Update
the subprogram profile along with the comment on usage.
(Remove_Side_Effects): Update the subprogram profile along with
the comment on usage.
* sem_ch3.adb (Process_Range_Expr_In_Decl): Pass the subtype
to the validity check machinery. Explain the reason for this
propagation.
2014-10-23 Robert Dewar <dewar@adacore.com>
* a-strsea.adb: Minor reformatting.
From-SVN: r216581
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions