aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)Author
2022-05-30[Ada] Update proofs of double arithmetic unit after prover changesYannick Moy
2022-05-30[Ada] Tweaks to hardening docsAlexandre Oliva
2022-05-30[Ada] Fix typo in comment for functional setsPiotr Trojanek
2022-05-30[Ada] Restore hiding of predefined "=" operator through class-wide typeEric Botcazou
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou
2022-05-30[Ada] Adapt proof of runtime unit s-arit32Yannick Moy
2022-05-30[Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unitYannick Moy
2022-05-30[Ada] Delete no-longer-used Convert_To_Return_False flagSteve Baird
2022-05-30[Ada] Add empty constructors to the functional containersJulien Bortolussi
2022-05-30[Ada] Fix new CUDA kernel registration schemeGhjuvan Lacambre
2022-05-29Daily bump.GCC Administrator
2022-05-28Rename OSCONS_CC to GCC_FOR_ADA_RTSAlexandre Oliva
2022-05-20Daily bump.GCC Administrator
2022-05-19[Ada] Avoid copy operation for returns involving function callsEric Botcazou
2022-05-19[Ada] Do not give warnings for compiler-generated entities by defaultEric Botcazou
2022-05-19[Ada] Small housekeeping work in gnat_gimplify_exprEric Botcazou
2022-05-19[Ada] Add support for "simd" function attributeEric Botcazou
2022-05-19[Ada] Fix internal error on unchecked union with component clauses (2)Eric Botcazou
2022-05-19[Ada] Do not set Current_Error_Node to a node without locationEric Botcazou
2022-05-19[Ada] Fix internal error on semi-circular record typesEric Botcazou
2022-05-19[Ada] Fix for internal error on semi-circular record aggregateEric Botcazou
2022-05-19[Ada] Adjust copyright lineEric Botcazou
2022-05-19[Ada] Preserve unchecked conversion of string constantEric Botcazou
2022-05-19[Ada] Remove redundant marking of illegal pragma with error postedPiotr Trojanek
2022-05-19[Ada] Fix continuation message without a prior errorPiotr Trojanek
2022-05-19[Ada] Mark Requires_Transient_Scope as InlineEric Botcazou
2022-05-19[Ada] Avoid internal compiler error for illegal Predicate_Failure aspect specSteve Baird
2022-05-19[Ada] Fix spurious violations of No_Secondary_Stack restrictionEric Botcazou
2022-05-19[Ada] Ignore Predicate_Failure in CodePeer modeDaniel Mercier
2022-05-19[Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windowsArnaud Charlet
2022-05-19[Ada] Preserve and reuse original type in Narrow_Large_OperationEric Botcazou
2022-05-19[Ada] Wrong interface dynamic dispatch via access parameterJavier Miranda
2022-05-19[Ada] Ignore Predicate_Failure in GNATprove modePiotr Trojanek
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird
2022-05-19[Ada] Avoid copy operation for returns involving function callsEric Botcazou
2022-05-19[Ada] Fix invalid expanded code for entry familiesPiotr Trojanek
2022-05-19[Ada] Cleanup expansion of protected entry familiesPiotr Trojanek
2022-05-19[Ada] Remove remaining references to gnatfind/gnatxrefArnaud Charlet
2022-05-19[Ada] Fix proof of runtime unit a-strfix and a-strsupClaire Dross
2022-05-19[Ada] Support Ada 2022 null array aggregatesEd Schonberg
2022-05-19[Ada] Further adapt proof of double arithmetic runtime unitYannick Moy
2022-05-19[Ada] Improve optimization of "=" on bit-packed arraysBob Duff
2022-05-19[Ada] Casing style on record componentsBob Duff
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou
2022-05-19[Ada] Small housekeeping work continuedEric Botcazou
2022-05-19[Ada] Small housekeeping workEric Botcazou
2022-05-19[Ada] Do not override inlining heuristics for expression functions at -OsEric Botcazou
2022-05-19[Ada] Remove dead code for scope entity having E_Subprogram_Body kindPiotr Trojanek
2022-05-19Daily bump.GCC Administrator
2022-05-18[Ada] Fix proof of runtime unit s-imageuClaire Dross