annotate gcc/testsuite/gnat.dg/overriding_ops2.ads @ 144:8f4e72ab4e11

fix segmentation fault caused by nothing next cur_op to end
author Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 21:23:56 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 with Overriding_Ops2_Pkg.High;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 package Overriding_Ops2 is
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 type Consumer is tagged limited private;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 private
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 type Consumer is
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 limited
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 new Overriding_Ops2_Pkg.High.High_Level_Session
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 with null record;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 overriding procedure Finalize (Self : in out Consumer);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 end Overriding_Ops2;