diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 16:02:49 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 16:02:49 +0200 |
commit | 72d1b27a2ae4676e5604c6200b07bcbfb6b5ad31 (patch) | |
tree | c4e24a50bbfeb879ea8d177433e14b3d5ae6b2fb /gcc/tree-parloops.c | |
parent | 8b58a060443a7a04f2e1fa854ec2f9fac1a7ff1c (diff) | |
download | gcc-72d1b27a2ae4676e5604c6200b07bcbfb6b5ad31.zip gcc-72d1b27a2ae4676e5604c6200b07bcbfb6b5ad31.tar.gz gcc-72d1b27a2ae4676e5604c6200b07bcbfb6b5ad31.tar.bz2 |
[multiple changes]
2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Is_Matching_Input): Account
for the case where a state with a null refinement appears as
the last input of a refinement clause.
2013-10-17 Robert Dewar <dewar@adacore.com>
* sem_aux.ads, sem_aux.adb: Minor reformatting.
From-SVN: r203766
Diffstat (limited to 'gcc/tree-parloops.c')
0 files changed, 0 insertions, 0 deletions