aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
AgeCommit message (Expand)AuthorFilesLines
2009-04-17Fix test after proper rule enforced by gnat on taft types.Arnaud Charlet2-2/+1
2009-04-15sync1.ads: Fix error now flagged by gnat.Arnaud Charlet2-3/+1
2009-04-12fold-const.c (build_range_check): Properly deal with enumeral and boolean bas...Eric Botcazou2-0/+26
2009-04-07Update baseline.Arnaud Charlet1-2/+2
2009-04-07trans.c (check_for_eliminated_entity): New function.Eric Botcazou2-0/+39
2009-03-11trans.c (gnat_to_gnu): In range check processing...Olivier Hainque1-0/+8
2009-03-01re PR ada/39264 (gnat.dg/pack3.adb fails on powerpc64/s390x)Eric Botcazou1-0/+31
2009-02-10alias.h (record_alias_subset): Declare.Eric Botcazou3-0/+39
2009-01-12decl.c (gnat_to_gnu_entity): Really strip only useless conversions around ren...Eric Botcazou1-0/+22
2008-12-07* gimple.c (recalculate_side_effects) <tcc_constant>: New case.Eric Botcazou1-0/+10
2008-12-07tree-sra.c (scalarize_use): Create another temporary with the proper type for...Eric Botcazou2-0/+41
2008-11-29re PR ada/30827 (GNAT.compiler_version problem for official releases)Eric Botcazou1-2/+2
2008-11-16* gnat.dg/boolean_bitfield.adb: New test.Eric Botcazou1-0/+44
2008-11-13decl.c (gnat_to_gnu_entity): Turn Ada Pure on subprograms back into GCC CONST...Olivier Hainque4-18/+14
2008-11-1220081112-1.c: New test.Eric Botcazou3-0/+31
2008-11-10calls.c (store_unaligned_arguments_into_pseudos): Deal only with values livin...Eric Botcazou1-0/+29
2008-11-09ada-tree.def (PLUS_NOMOD_EXPR): New tree code.Eric Botcazou1-0/+20
2008-11-07trans.c (Attribute_to_gnu, [...]): Check for empty range in original base typ...Thomas Quinot1-0/+17
2008-11-07trans.c (build_binary_op_trapv): Convert arguments and result for call to __g...Geert Bosch1-0/+28
2008-11-03* tree-sra.c (bitfield_overlaps_p): Fix oversight.Eric Botcazou1-0/+34
2008-10-11tree.h (contains_packed_reference): Mention ARRAY_RANGE_REF in head comment.Eric Botcazou2-0/+28
2008-10-07tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Return true for non-address...Eric Botcazou3-0/+35
2008-10-07decl.c (gnat_to_gnu_entity): Move code dealing with volatileness to after cod...Eric Botcazou2-0/+22
2008-10-06utils.c (can_fold_for_view_convert_p): New predicate.Eric Botcazou1-0/+34
2008-10-01tree.c (contains_placeholder_p): Return 0 for a SAVE_EXPR.Geert Bosch1-0/+45
2008-09-28re PR middle-end/36575 (ACATS c460011 fails at -O3)Eric Botcazou1-0/+34
2008-09-26decl.c (gnat_to_gnu_entity): Cap the alignment promotion to that of ptr_mode ...Eric Botcazou2-0/+15
2008-09-22decl.c (gnat_to_gnu_entity): Even when they are never assigned...Olivier Hainque1-0/+16
2008-09-17varasm.c (initializer_constant_valid_p): Forbid view-conversions from aggrega...Eric Botcazou1-0/+27
2008-08-20* gnat.dg/div_no_warning.adb: New test.Arnaud Charlet1-0/+15
2008-08-18[multiple changes]Samuel Tardieu1-0/+13
2008-08-18re PR ada/15808 (Illegal program not detected, RM 3.9.3(10))Samuel Tardieu1-0/+17
2008-08-13re PR ada/36777 (Protected type cannot have access taken from its body.)Samuel Tardieu2-0/+43
2008-08-10exp_ch4.adb (Expand_N_Op_Expon): Force evaluation of left argument even when ...Samuel Tardieu1-0/+31
2008-08-06New tests.Arnaud Charlet3-0/+70
2008-08-05Remove test, premature.Arnaud Charlet1-27/+0
2008-08-05* gnat.dg/post_block.adb: New test.Arnaud Charlet1-0/+27
2008-08-05* gnat.dg/not_null.adb: New test.Arnaud Charlet1-0/+24
2008-08-05* gnat.dg/access_discr2.adb: New test.Arnaud Charlet1-0/+10
2008-08-04* gnat.dg/test_ai254.adb: New test.Arnaud Charlet1-0/+12
2008-08-04* gnat.dg/bip_aggregate_bug.adb: New test.Arnaud Charlet1-0/+49
2008-08-02utils2.c (build_binary_op): New case.Eric Botcazou1-0/+18
2008-08-01* gnat.dg/boolean_expr.ad[sb]: Rename to boolean_expr1.ad[sb].Eric Botcazou2-4/+4
2008-08-01decl.c (gnat_to_gnu_entity): Remove dead code.Eric Botcazou7-0/+105
2008-08-01decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implici...Olivier Hainque5-0/+39
2008-07-31decl.c (gnat_to_gnu_entity): Fix formatting.Eric Botcazou2-0/+31
2008-07-31* gnat.dg/specs/null_aggr_bug.ads: New test.Arnaud Charlet1-0/+20
2008-07-31* gnat.dg/sync_iface_test.ad[s,b]: New test.Arnaud Charlet2-0/+30
2008-07-31* gnat.dg/specs/sync_iface_test.ads: New test.Arnaud Charlet1-0/+14
2008-07-31* gnat.dg/missing_acc_check.adb: New test.Arnaud Charlet1-0/+39