← Back to branch summary

~ubuntu-branches/ubuntu/utopic/gnat-4.9/utopic-proposed

« back to all changes in this revision

Viewing changes to debian/ada/confirm_debian_bugs.py

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2014-07-29 19:34:08 UTC
  • mfrom: (3.1.9 sid)
  • Revision ID: package-import@ubuntu.com-20140729193408-9057666uwi75ag71
Tags: 4.9.1-1ubuntu1
Regenerate the control file.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/ada/confirm_debian_bugs.py
142
142
""")))
143
143
 
144
144
check_reports_an_error_but_should_not (
145
 
    bug = 246183,
146
 
    make = ("gnatmake", "test_39"),
147
 
    regex = "test_39\.ads:4:04: instantiation error at pak1-pak2\.ads:6",
148
 
    sources = (
149
 
        ("pak1.ads", """package pak1 is
150
 
   type T1 is tagged private;
151
 
private
152
 
   type T1 is tagged record
153
 
      i1: integer;
154
 
   end record;
155
 
end pak1;
156
 
"""),
157
 
        ("pak1-pak2.ads", """generic
158
 
   type T2 is new T1 with private;
159
 
package pak1.pak2 is
160
 
private
161
 
   x1 : T2;
162
 
   i2: integer := x1.i1;
163
 
end pak1.pak2;
164
 
"""),
165
 
        ("test_39.ads", """with pak1.pak2;
166
 
package Test_39 is
167
 
   type T3 is new pak1.T1 with null record;
168
 
   package new_pak2 is new pak1.pak2(T3);
169
 
end Test_39;
170
 
""")))
171
 
 
172
 
check_reports_an_error_but_should_not (
173
 
    bug = 246186,
174
 
    make = ("gnatmake", "test_42"),
175
 
    regex = 'test_42.ads:2:33: missing "\.\."',
176
 
    sources = (
177
 
        ("test_42.ads", """package Test_42 is
178
 
   type a3 is array(boolean'base) of integer;
179
 
end Test_42;
180
 
"""),))
181
 
 
182
 
check_reports_an_error_but_should_not (
183
145
    bug = 246187,
184
146
    make = ("gnatmake", "test_43"),
185
147
    regex = "Error detected at system.ads:152:5",
271
233
check_reports_an_error_but_should_not (
272
234
    bug = 247564,
273
235
    make = ("gnatmake", "test_70"),
274
 
    regex = "in gnat_to_gnu_entity, at ada/gcc-interface/decl\.c:582",
 
236
    regex = "in gnat_to_gnu_entity, at ada/gcc-interface/decl\.c:568",
275
237
    sources = (
276
238
        ("test_70.adb", """procedure Test_70 is
277
239
 
548
510
check_reports_an_error_but_should_not (
549
511
    bug = 251265,
550
512
    make = ("gnatmake", "test_106"),
551
 
    regex = "in Case_Statement_to_gnu, at ada/gcc-interface/trans.c:2198",
 
513
    regex = "in Case_Statement_to_gnu, at ada/gcc-interface/trans.c:2366",
552
514
    sources = (
553
515
        ("test_106.adb", """pragma Ada_83;
554
516
procedure Test_106(x: integer) is
879
841
""")))
880
842
 
881
843
check_compiles_but_should_not (
882
 
    bug = 416975,
883
 
    make = ("gnatmake", "pak1"),
884
 
    sources = (
885
 
        ("pak1.ads", """package pak1 is
886
 
   -- RM 7.3(13), 4.9.1(1)
887
 
   -- check that discriminants statically match
888
 
   type T1(d1: integer) is tagged null record;
889
 
   type T2 is new T1 (3) with private;
890
 
private
891
 
   subtype T3 is T1 (4);
892
 
   type T2 is new T3 with null record;  -- Error: 3 vs 4
893
 
end pak1;
894
 
"""),))
895
 
 
896
 
check_compiles_but_should_not (
897
844
    bug = 416979,
898
845
    make = ("gnatmake", "pak1"),
899
846
    sources = (
917
864
    bug = 427108,
918
865
    make = ("gnatmake", "test1"),
919
866
#     regex = "FAILED",
920
 
    regex = "Program_Error exp_disp.adb:8445 explicit raise",
 
867
    regex = "Program_Error exp_disp.adb:8462 explicit raise",
921
868
    sources = (
922
869
        ("test1.adb", """-- "For the execution of a call on an inherited subprogram,
923
870
-- a call on the corresponding primitive subprogram of the