diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2015-03-02 09:07:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-02 10:07:01 +0100 |
| commit | 95e00a3a825cb27fb9b4db7007a94462aa311561 (patch) | |
| tree | 8fc6422a22f5d6a3f5cba63d37d1c4fb31121b1e /gcc/ada/gcc-interface | |
| parent | c4c0f336bc3bd0761ccac74d297dd45d45e299fe (diff) | |
| download | gcc-95e00a3a825cb27fb9b4db7007a94462aa311561.zip gcc-95e00a3a825cb27fb9b4db7007a94462aa311561.tar.gz gcc-95e00a3a825cb27fb9b4db7007a94462aa311561.tar.bz2 | |
sem_ch8.adb (Available_Subtype): Optimization in Find_Selected_Component...
2015-03-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Available_Subtype): Optimization in
Find_Selected_Component: when safe, use existing subtype of
array component, possibly discriminant-dependent, rather than
creating new subtype declaration for it. In this fashion different
occurrences of the component have the same subtype, rather than
just equivalent ones. Simplifies value tracing in GNATProve.
From-SVN: r221100
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions