summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.adb
AgeCommit message (Expand)Author
2025-11-13ada: Detect illegal value of static expression of decimal fixed point typeEric Botcazou
2025-11-07Ada: Fix bogus error on inherited operation for extension of type instanceEric Botcazou
2025-07-03ada: Remove unnecessary "return;" statementsBob Duff
2025-06-28Fix compilation of concatenation with illegal character constantEric Botcazou
2025-06-06ada: Tune style in code for floating-point numbersPiotr Trojanek
2025-06-06ada: Convert floating-point zero to machine representationPiotr Trojanek
2025-06-05ada: Improve efficiency of very large shift countsBob Duff
2025-01-07Update copyright years.Marc Poulhiès
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda
2024-12-12ada: Elide the copy for bit-packed aggregates in object declarationsEric Botcazou
2024-12-12ada: Accept static strings with External_InitializationRonan Desplanques
2024-11-18ada: Fix small oversight in removal of N_Unchecked_Expression nodeEric Botcazou
2024-11-18ada: Cleanup in expansion of array aggregates in object declarationsEric Botcazou
2024-09-10ada: Evaluate calls to GNAT.Source_Info routines in semantic checkingPiotr Trojanek
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek
2024-05-07ada: Reject non-statically compatible extended return statementJavier Miranda
2024-01-22Update copyright years.Marc Poulhiès
2023-11-07ada: Cleanup more "not Present"Piotr Trojanek
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy
2023-05-26ada: Enhance Is_Null_Range and Not_Null_Range predicatesEric Botcazou
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff
2023-05-22ada: Remove extra parenthesesArnaud Charlet
2023-01-09ada: Update copyright noticeArnaud Charlet
2022-11-21ada: Move warnings switchesBob Duff
2022-11-08ada: Enforce matching of extra formalsJavier Miranda
2022-11-04ada: Static intrinsic functions are a core language extension.Steve Baird
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda
2022-07-05[Ada] Remove exception propagation during bootstrapArnaud Charlet
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek
2022-05-19[Ada] Support Ada 2022 null array aggregatesEd Schonberg
2022-05-10[Ada] Fix oversight for case expression in Eval_Integer_LiteralEric Botcazou
2022-01-11[Ada] Deconstruct a VMS utility routine which is only used by GNATprovePiotr Trojanek
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek
2022-01-06[Ada] Move messages on division by zero to the right operandPiotr Trojanek
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek
2021-10-20[Ada] Fix problematic conversion of real literal in static contextEric Botcazou
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou
2021-10-20[Ada] Small cleanup in Eval_Integer_LiteralEric Botcazou
2021-09-23[Ada] Cleanup and efficiency improvementsBob Duff
2021-09-21[Ada] Remove if_expressionBob Duff
2021-09-21[Ada] Fix ignored dynamic predicates specified through "predicate" aspectGhjuvan Lacambre
2021-09-20[Ada] Present and No functions for type UintBob Duff
2021-07-07[Ada] Stronger assertion about flag for checking static expressionsPiotr Trojanek
2021-06-18[Ada] Update comments related to TBDArnaud Charlet
2021-06-15[Ada] Add support for folding more and/or expressionsArnaud Charlet
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet