diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 16:59:01 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 16:59:01 +0100 |
| commit | 572f38e4b24c395d3841f9fb8939037885222e4e (patch) | |
| tree | fc1b4c64b1b25a5f52510966575b600e26785069 /gcc/tree-ssa-loop-ivopts.c | |
| parent | 28eccd34faa42af5012ac8a3002e022131fb0b4f (diff) | |
| download | gcc-572f38e4b24c395d3841f9fb8939037885222e4e.zip gcc-572f38e4b24c395d3841f9fb8939037885222e4e.tar.gz gcc-572f38e4b24c395d3841f9fb8939037885222e4e.tar.bz2 | |
[multiple changes]
2014-11-20 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Freeze_Entity): Do not reset Is_True_Constant
for aliased constant objects.
2014-11-20 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Following_Address_Clause): Use new Name_Table
boolean flag set by parser to avoid the search if there is no
address clause anywhere for the name.
* namet.adb (Name_Enter): Initialize Boolean_Info flag
(Name_Find): ditto (Reinitialize): ditto (Get_Name_Table_Boolean):
New function (Set_Name_Table_Boolean): New procedure
* namet.ads: Add and document new Boolean field in name table
(Get_Name_Table_Boolean): New function.
(Set_Name_Table_Boolean): New procedure.
* par-ch13.adb (P_Representation_Clause): Set Name_Table boolean
flag for an identifier name if we detect an address clause or
use-at clause for the identifier.
* sem_ch3.adb (Analyze_Object_Declaration): Remove comment about
Following_Address_Clause since this function is now optimized
and is not a performance concern.
* sem_prag.adb (Analyze_Pragma, case Elaborate): In SPARK
mode, pragma Elaborate is now allowed, but does not suppress
elaboration checking.
From-SVN: r217882
Diffstat (limited to 'gcc/tree-ssa-loop-ivopts.c')
0 files changed, 0 insertions, 0 deletions