]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/exp_attr.adb
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab8e1b3) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 10 Apr 2009 15:27:27 +0000 (17:27 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 10 Apr 2009 15:27:27 +0000 (17:27 +0200)
commit934a3a25802c8652fab728259b779c3ae59e5c1e
tree18f772cc26efda100ec73485971be219e84db360tree | snapshot
parentab8e1b353ed60724667bfeaf0d07fc37c9fffff4commit | diff
[multiple changes]

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb: Minor reformatting

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_aux.adb: Minor reformatting

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
analyze the expression for a postcondition, even if the compiler mode
is Generate_Code.

From-SVN: r145923
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/exp_attr.adb diff | blob | blame | history
gcc/ada/sem_aux.adb diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git