aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-05-10Replace PTR with 'void *' in compiler.Martin Liska2-3/+3
2022-05-10[Ada] Export Is_Expression_Function predicate for use in gigiEric Botcazou2-1/+5
2022-05-10[Ada] Optimize nonstandard boolean validity checkingAlexandre Oliva1-1/+5
2022-05-10[Ada] Optimize nonstandard boolean conversionsAlexandre Oliva2-10/+30
2022-05-10[Ada] Handle non-standard booleans in if_expression conditionAlexandre Oliva1-0/+4
2022-05-10[Ada] Incorrect ineffective use type clause warningJustin Squirek1-109/+72
2022-05-10[Ada] Simplify call to overloaded Earlier_In_Extended_UnitPiotr Trojanek1-1/+1
2022-05-10[Ada] Remove repeated conversions between Source_Ptr and IntPiotr Trojanek5-11/+7
2022-05-10[Ada] Fix style in resolution of expression with actionsPiotr Trojanek1-0/+16
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek8-21/+15
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek9-21/+21
2022-05-10[Ada] Prevent search for references in postconditions from going too farPiotr Trojanek1-0/+5
2022-05-10[Ada] Remove tiny and incomplete optimization for unset referencesPiotr Trojanek1-9/+0
2022-05-10[Ada] Cleanup unnecessary declare block in Check_Unreachable_CodePiotr Trojanek1-102/+98
2022-05-10[Ada] Refine iteration from entities to formalsPiotr Trojanek1-12/+12
2022-05-10[Ada] Check declare and qualified expressions for unset referencesPiotr Trojanek2-6/+6
2022-05-10[Ada] Check if- and case-expressions for unset referencesPiotr Trojanek1-0/+6
2022-05-10[Ada] Fix a couple of typosKévin Le Gouguec4-8/+7
2022-05-10[Ada] Fix typo in comment for Is_Predicate_StaticEtienne Servais1-1/+1
2022-05-10[Ada] Fix indentation to follow uniform style across runtime unitsYannick Moy2-47/+53
2022-05-10[Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_VariantClaire Dross3-24/+63
2022-05-10[Ada] Proof of System.Val_Int at gold levelClaire Dross5-22/+289
2022-05-10[Ada] Fix hiding of user-defined operator that is not a homographEric Botcazou3-90/+10
2022-05-10[Ada] Fix oversight for case expression in Eval_Integer_LiteralEric Botcazou1-1/+1
2022-05-10[Ada] Avoid repeated conversions from Int to Char_CodePiotr Trojanek1-8/+10
2022-05-10[Ada] Reject numeric literals with too big exponentsEtienne Servais1-0/+9
2022-05-10[Ada] Replace variables with constants in expanded code for task namesPiotr Trojanek1-6/+12
2022-05-10[Ada] Fix incorrect range computationMarc Poulhiès1-13/+40
2022-05-10[Ada] Failure compiling "for ... of" loop over a sliceSteve Baird1-8/+18
2022-05-10[Ada] Fix comment about building names in task arraysPiotr Trojanek1-5/+5
2022-05-10[Ada] Simplify conversion from Character to Char_CodePiotr Trojanek6-17/+17
2022-05-10Daily bump.GCC Administrator1-0/+282
2022-05-09[Ada] Suggest use of First_Valid/Last_Valid on type with static predicateYannick Moy1-0/+25
2022-05-09[Ada] Raise Constraint_Error when converting negative values to Char_CodePiotr Trojanek1-21/+8
2022-05-09[Ada] Simplify conversions from Uint to Char_CodePiotr Trojanek2-4/+3
2022-05-09[Ada] Fix invalid memory access on finalization of class-wide typeJustin Squirek3-17/+106
2022-05-09[Ada] Fully qualify name in JSON representation infoEtienne Servais1-3/+5
2022-05-09[Ada] Remove extra space around binary operatorsPiotr Trojanek13-24/+24
2022-05-09[Ada] Remove CodePeer annotations for pragma Loop_VariantPiotr Trojanek1-3/+0
2022-05-09[Ada] Prevent inlining-for-proof for calls inside ELSIF conditionPiotr Trojanek3-28/+49
2022-05-09[Ada] Remove redundant guards for empty listPiotr Trojanek2-12/+4
2022-05-09[Ada] Fix missing error on actual for In/Out parameterEric Botcazou1-3/+1
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek13-14/+12
2022-05-09[Ada] Improve error messages to include full package nameJustin Squirek6-32/+120
2022-05-09[Ada] Set Error_Msg_Warn before use of << insertionYannick Moy1-0/+1
2022-05-09[Ada] Properly handle unprefixed references to componentsSteve Baird1-17/+16
2022-05-09[Ada] Fix package installation for private array type of private elementEd Schonberg1-1/+14
2022-05-09[Ada] Fix internal error on declaration of derived discriminated record typeEric Botcazou2-38/+46
2022-05-09[Ada] Fix visibility inside declare_expressionEd Schonberg1-2/+15
2022-05-09[Ada] Fix check for looking for user defined literalsEd Schonberg1-1/+3
generated by cgit v1.1 at 2024-09-30 10:10:15 +0000