aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2021-10-26Daily bump.GCC Administrator1-0/+303
2021-10-25[Ada] Remove gnatfind and gnatxrefArnaud Charlet2-10/+3
2021-10-25[Ada] Spurious error on user-defined literal and operatorEd Schonberg2-145/+339
2021-10-25[Ada] Follow-on cleanups for Uint fieldsBob Duff10-23/+31
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais23-182/+193
2021-10-25[Ada] Fix a commentBob Duff1-1/+1
2021-10-25[Ada] Fix bugs in Base_Type_Only (etc.) fieldsBob Duff6-7/+56
2021-10-25[Ada] Simplify iteration of record components when expanding equalityPiotr Trojanek1-27/+21
2021-10-25[Ada] Relax INOX restrictions when casing on composite value.Steve Baird3-143/+189
2021-10-25[Ada] Update the inactive GMP variant of Big_IntegersPiotr Trojanek1-1/+1
2021-10-25[Ada] Make Declaration_Node return nondeclarations in fewer casesBob Duff2-3/+40
2021-10-25[Ada] Global contracts on expression functions in Ada.Strings.SuperboundedPiotr Trojanek1-4/+7
2021-10-25[Ada] Simplify detection of a parent interface equalityPiotr Trojanek1-7/+4
2021-10-25[Ada] Remove redundant guard in expansion of dispatching callsPiotr Trojanek1-2/+1
2021-10-25[Ada] Do not expect execv to return 0Piotr Trojanek1-4/+8
2021-10-25[Ada] Initialize variable to EmptyGhjuvan Lacambre1-1/+1
2021-10-25[Ada] Reference in Unbounded_String is almost never nullPiotr Trojanek2-4/+10
2021-10-25[Ada] Don't expect enumeration literals to be renamingsPiotr Trojanek1-1/+3
2021-10-25[Ada] Shutdown codepeer messageArnaud Charlet1-1/+4
2021-10-25[Ada] Ada 2022: Class-wide types and formal abstract subprogramsJavier Miranda1-593/+784
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff22-147/+228
2021-10-25[Ada] Remove more uses of exception propagation during bootstrapArnaud Charlet1-53/+82
2021-10-25[Ada] Issue error on invalid use of Ghost inside pragma PredicateYannick Moy2-2/+26
2021-10-25[Ada] Fix deleted Compile_Time warnings causing crashesGhjuvan Lacambre1-1/+3
2021-10-23Daily bump.GCC Administrator1-0/+6
2021-10-22Add install-dvi Makefile targets.Eric Gallager1-2/+14
2021-10-21Daily bump.GCC Administrator1-0/+249
2021-10-20[Ada] Remove unnecessary call to No_Uint_To_0Bob Duff1-1/+1
2021-10-20[Ada] Never treat intrinsic subprograms as nestedRichard Kenner1-0/+1
2021-10-20[Ada] Proof of the runtime support for attribute 'WidthYannick Moy4-6/+116
2021-10-20[Ada] Provide dummy body for big integers library used in reduced runtimesYannick Moy2-4/+76
2021-10-20[Ada] Fix problematic conversion of real literal in static contextEric Botcazou1-12/+23
2021-10-20[Ada] Delete unused runtime filesDoug Rupp4-504/+0
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou4-23/+39
2021-10-20[Ada] Define __wrs_rtp_base in linker specJohannes Kliemann1-0/+1
2021-10-20[Ada] Reject boxes in delta record aggregatesPiotr Trojanek1-1/+13
2021-10-20[Ada] Missing accessibility check when returning discriminated typesJustin Squirek2-28/+32
2021-10-20[Ada] Crash on object of protected type with defaulted access componentJustin Squirek1-7/+21
2021-10-20[Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Big_IntegersJohannes Kliemann1-0/+206
2021-10-20[Ada] Refine type of a counter function for record delta aggregatePiotr Trojanek1-5/+4
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff33-377/+431
2021-10-20[Ada] Warning on nonmatching subtypes in fully conforming subprogram specs an...Gary Dismukes6-1/+185
2021-10-20[Ada] Prevent use of an uninitialized AST field with universal integerPiotr Trojanek1-0/+1
2021-10-20[Ada] Expose and use type-generic GCC atomic builtinsEric Botcazou6-430/+123
2021-10-20[Ada] Rewrite tests on Convention_IntrinsicEric Botcazou2-10/+12
2021-10-20[Ada] Small cleanup in Eval_Integer_LiteralEric Botcazou2-19/+15
2021-10-20[Ada] Get rid of Frontend_Exceptions refsDoug Rupp4-518/+0
2021-10-20[Ada] Issue warning on unused quantified expressionYannick Moy1-13/+59
2021-10-20[Ada] Fix type conversion handling in validity checksMarc Poulhiès1-1/+10
2021-10-20Avoid exception propagation during bootstrapArnaud Charlet1-5/+69