| commit | 60a4a5afefb2aca883aac3209c1f0b011aff0175 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 30 Jan 2015 15:31:01 +0000 (30 15:31 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 30 Jan 2015 15:31:01 +0000 (30 15:31 +0000) | ||
| tree | e0c41518ab48b912730cce663dd22e701f2c51b3 | treesnapshot (tar.gz zip) |
| parent | 8efbfcea8c3319f2fa020d84bcd9e52505bb64ed | commitdiff |
2015-01-30 Robert Dewar <dewar@adacore.com>
* a-assert.adb: Minor reformatting.
* sem_ch13.adb: Minor comment clarification.
* types.ads: Minor comment update.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
when we have a predicate that is nothing but an inherited dynamic
predicate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220290 138bc75d-0d04-0410-961f-82ee72b054a4
* a-assert.adb: Minor reformatting.
* sem_ch13.adb: Minor comment clarification.
* types.ads: Minor comment update.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
when we have a predicate that is nothing but an inherited dynamic
predicate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220290 138bc75d-0d04-0410-961f-82ee72b054a4