]> git.ipfire.org Git - thirdparty/gcc.git/commit
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:21:18 +0000 (16:21 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:21:18 +0000 (16:21 +0100)
commit1e5692049375a185fcdc66703665fbc5fc5d5aaf
tree939b2cc5bdbad992680347fe439897a1abb53309
parent0969e96dcb682892a69c2ef26135dbfd79da5d1b
[multiple changes]

2014-01-20  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document that Loop_Variant is included in
Statement_Assertions.
* sem_prag.adb (Check_Kind): Add Loop_Variant to
Statement_Assertions (Check_Applicable_Policy): Add Loop_Variant
to Statement_Assertions.

2014-01-20  Doug Rupp  <rupp@adacore.com>

* sysdep.c (__gnat_is_file_not_found_error) [vxworks6]: Add case
for errno ENOENT from RTP on NFS mounted file system.

From-SVN: r206821
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/sem_prag.adb
gcc/ada/sysdep.c