diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2007-04-06 11:27:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-04-06 11:27:13 +0200 |
| commit | 3aba5ed58e7dec4dd58f9a324cee4ad85fa73dd8 (patch) | |
| tree | 7953ad8e87c32b62015d6116624112100be08285 /gcc/ada/tracebak.c | |
| parent | 16ca248a5802174b18676496a57c9b85cf130639 (diff) | |
| download | gcc-3aba5ed58e7dec4dd58f9a324cee4ad85fa73dd8.zip gcc-3aba5ed58e7dec4dd58f9a324cee4ad85fa73dd8.tar.gz gcc-3aba5ed58e7dec4dd58f9a324cee4ad85fa73dd8.tar.bz2 | |
sem_type.ads, [...] (Has_Abstract_Interpretation): Make predicate recursive...
2007-04-06 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_type.ads, sem_type.adb (Has_Abstract_Interpretation): Make
predicate recursive, to handle complex expressions on literals whose
spurious ambiguity comes from the abstract interpretation of some
subexpression.
(Interface_Present_In_Ancestor): Add support to concurrent record
types.
(Add_One_Interp,Disambiguate): Split Is_Abstract flag into
Is_Abstract_Subprogram and Is_Abstract_Type.
From-SVN: r123598
Diffstat (limited to 'gcc/ada/tracebak.c')
0 files changed, 0 insertions, 0 deletions