diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:08:00 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:08:00 +0100 |
| commit | 2f54ef3d56ff1e68036e389bb50a654474fe1a00 (patch) | |
| tree | d96b8e960539cf0fe4e1ef1106858927cf7bb3ab /gcc/ada/sysdep.c | |
| parent | d930784028af209c12327ae6ee0cc2b163fe82ae (diff) | |
| download | gcc-2f54ef3d56ff1e68036e389bb50a654474fe1a00.zip gcc-2f54ef3d56ff1e68036e389bb50a654474fe1a00.tar.gz gcc-2f54ef3d56ff1e68036e389bb50a654474fe1a00.tar.bz2 | |
[multiple changes]
2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Has_Non_Null_Refinement): Rename to
Has_Non_Null_Visible_Refinement.
(Has_Null_Refinement): Rename to Has_Null_Visible_Refinement.
* einfo.ads Update the documentation of
attribute Has_Non_Null_Refinement and attribute Has_Null_Refinement.
(Has_Non_Null_Refinement): Rename to Has_Non_Null_Visible_Refinement
and update occurrences in entities.
(Has_Null_Refinement): Rename to Has_Null_Visible_Refinement and update
occurrences in entities.
* sem_prag.adb (Check_In_Out_States): Update the calls to
Has_[Non_]Null_Refinement.
(Check_Input_States): Update the
calls to Has_[Non_]Null_Refinement.
(Check_Output_States): Update the calls to Has_[Non_]Null_Refinement.
(Check_Proof_In_States): Update the calls to Has_[Non_]Null_Refinement.
(Collect_Global_Item): Update the calls to Has_[Non_]Null_Refinement.
(Is_Null_Refined_State): Update the calls to Has_[Non_]Null_Refinement.
(Match_Item): Update the calls to Has_[Non_]Null_Refinement.
* sem_util.adb (Has_Non_Null_Refinement): New routine.
(Has_Null_Refinement): New routine.
* sem_util.ads (Has_Non_Null_Refinement): New routine.
(Has_Null_Refinement): New routine.
2015-11-18 Gary Dismukes <dismukes@adacore.com>
* exp_util.adb: Minor reformatting and typo fixes.
From-SVN: r230525
Diffstat (limited to 'gcc/ada/sysdep.c')
0 files changed, 0 insertions, 0 deletions