diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-26 09:20:53 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-26 09:20:53 +0000 |
| commit | 724539ddb0e521ba3db2023e0da3cea60def1013 (patch) | |
| tree | b85c114cf0fec62a3131a2f88f521949d4895149 /gcc/ada/exp_prag.ads | |
| parent | 5cb834f305452b8e38e5df25c9aea7a9d6cc445f (diff) | |
| download | gcc-724539ddb0e521ba3db2023e0da3cea60def1013.tar.gz | |
2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Process_Contract_Cases_For): Update the call to
Expand_Pragma_Contract_Cases.
* exp_prag.ads, exp_prag.adb (Expand_Contract_Cases): Rename to
Expand_Pragma_Contract_Cases.
* sem_ch13.adb (Add_Invariants): Use the original aspect name
when creating the arguments of pragma Check. This ensures that
'Class is properly recognized and handled.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223671 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_prag.ads')
| -rw-r--r-- | gcc/ada/exp_prag.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_prag.ads b/gcc/ada/exp_prag.ads index d1ddfea177e..48d1c2f6b54 100644 --- a/gcc/ada/exp_prag.ads +++ b/gcc/ada/exp_prag.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -31,7 +31,7 @@ package Exp_Prag is procedure Expand_N_Pragma (N : Node_Id); - procedure Expand_Contract_Cases + procedure Expand_Pragma_Contract_Cases (CCs : Node_Id; Subp_Id : Entity_Id; Decls : List_Id; |