diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 15:11:59 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 15:11:59 +0100 |
| commit | c3b266d690835cacdc42f2278c5b4eabf9fa99d1 (patch) | |
| tree | cfa2f40026bbbfed2d9e92c7ca60805ea788e6d3 /gcc/function.h | |
| parent | 428684fd1c052848969dba78f1e09a91fdd7f466 (diff) | |
| download | gcc-c3b266d690835cacdc42f2278c5b4eabf9fa99d1.zip gcc-c3b266d690835cacdc42f2278c5b4eabf9fa99d1.tar.gz gcc-c3b266d690835cacdc42f2278c5b4eabf9fa99d1.tar.bz2 | |
2014-02-06 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: Add documentation of '-t' option for
gnatmetric/gnatpp.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Abstract_State): Update
all calls to Create_Abstract_State to pass the proper state
"declaration".
(Create_Abstract_State): Add new formal parameter
State_Decl along with comment on usage. Establish a link between
the abstract state entity and the state declaration.
From-SVN: r207557
Diffstat (limited to 'gcc/function.h')
0 files changed, 0 insertions, 0 deletions