| commit | 15b2f586caba239ec1c8bee0209f94aa1bd5505b | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 Mar 2015 09:07:01 +0000 (2 09:07 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 Mar 2015 09:07:01 +0000 (2 09:07 +0000) | ||
| tree | 8fc6422a22f5d6a3f5cba63d37d1c4fb31121b1e | treesnapshot (tar.gz zip) |
| parent | 551f8dfbf0db17f2373d0f473fdf8f30b7c37bcf | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221100 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221100 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch8.adb | diffblobblamehistory |