diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-10-28 11:58:55 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-12 14:05:44 +0100 |
| commit | 0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c (patch) | |
| tree | bf4690d983dc0b3655d2d859cff1032a2931ab79 /gcc/tree-ssa-loop-ch.cc | |
| parent | 3408792e6016a53cbc10653948e07132d0f13361 (diff) | |
| download | gcc-0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c.zip gcc-0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c.tar.gz gcc-0362d7aa8fcdb63505a6b37a36fc7cc5845ba80c.tar.bz2 | |
ada: Fix assertion failure on illegal use of aspect Type_Invariant
The illegal use is on a type derived from a formal private type, e.g.:
generic
type T is private;
package G is
type D is new T with Type_Invariant => True;
end G;
gcc/ada/ChangeLog:
PR ada/113037
* sem_prag.adb (Analyze_Pragma) <Pragma_Invariant>: Reject types
that are derived from formal private types.
Diffstat (limited to 'gcc/tree-ssa-loop-ch.cc')
0 files changed, 0 insertions, 0 deletions