diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 14:55:47 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 14:55:47 +0200 |
commit | 84a62ce88b6b105f923130d6c55f8a01b38a43a2 (patch) | |
tree | 36d46793b238d2977d192ab258de44bd34eaf953 /gcc/mcf.c | |
parent | 6e8323274a29065a1eecdf19001484ad2958d45a (diff) | |
download | gcc-84a62ce88b6b105f923130d6c55f8a01b38a43a2.zip gcc-84a62ce88b6b105f923130d6c55f8a01b38a43a2.tar.gz gcc-84a62ce88b6b105f923130d6c55f8a01b38a43a2.tar.bz2 |
[multiple changes]
2016-10-12 Bob Duff <duff@adacore.com>
* xref_lib.adb: Use renamings-of-slices to ensure
that all references to Tables are properly bounds checked (when
checks are turned on).
* g-dyntab.ads, g-dyntab.adb: Default-initialize the array
components, so we don't get uninitialized pointers in case
of Tables containing access types. Misc cleanup of the code
and comments.
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Type_Key): Implement
functionality of attribute, to provide a reasonably unique key
for a given type and detect any changes in the semantics of the
type or any of its subcomponents from version to version.
2016-10-12 Bob Duff <duff@adacore.com>
* sem_case.adb (Check_Choice_Set): Separate
checking for duplicates out into a separate pass from checking
full coverage, because the check for duplicates does not depend
on predicates. Therefore, we shouldn't do it separately for the
predicate vs. no-predicate case; we should share code. The code
for the predicate case was wrong.
From-SVN: r241039
Diffstat (limited to 'gcc/mcf.c')
0 files changed, 0 insertions, 0 deletions