]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ebc109) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 6 Aug 2012 08:12:36 +0000 (10:12 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 6 Aug 2012 08:12:36 +0000 (10:12 +0200)
commit2aca76d6731a7d0602438ada075fcd651bde68cb
tree0420816519850b703f2f1b48c34c54fdb39b1adbtree
parent0ebc109a5ea094a942ce928f6e9d89a682ce9971commit | diff
[multiple changes]

2012-08-06  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb: Remove useless flag Body_Deleted.

2012-08-06  Thomas Quinot  <quinot@adacore.com>

* sinfo.ads (End_Span): Change default from No_Uint to Uint_0,
as this is what all usage occurrences of this attribute are
expecting.
* uintp.adb (UI_To_Int): Add assertion to guard against calling
with No_Uint.

From-SVN: r190164
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_ch6.adb diff | blob | blame | history
gcc/ada/sinfo.ads diff | blob | blame | history
gcc/ada/uintp.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git