summaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)Author
2020-06-03[Ada] Fix for missing calls to Adjust primitive with nested genericsEric Botcazou
2020-06-03[Ada] Spurious ineffective with clause warnings on use type clauseJustin Squirek
2020-06-03[Ada] Small housekeeping work in Check_Private_ViewEric Botcazou
2020-06-03[Ada] Add detection of uninitialized big realsArnaud Charlet
2020-06-03[Ada] Remove more cases of empty loopsArnaud Charlet
2020-06-03[Ada] Support pragma Allow_Integer_Address on 64-bit targetsEric Botcazou
2020-06-03[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou
2020-06-03[Ada] Fix typosVadim Godunko
2020-06-03[Ada] Avoid creating temporaries in Universal_Integer, continuedEric Botcazou
2020-06-03[Ada] Update headersArnaud Charlet
2020-06-03[Ada] Small improvement to Expand_N_Unchecked_Type_ConversionEric Botcazou
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy
2020-06-03[Ada] Initial infrastructure for adding a tree checkerArnaud Charlet
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek
2020-06-03[Ada] Improve 'Val implementation for some enumeration typesEric Botcazou
2020-06-03[Ada] Unnesting problems with expansion of Loop_Entry attributeGary Dismukes
2020-06-03[Ada] Minor change to comment in System.Regexp specBob Duff
2020-06-03[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou
2020-06-03[Ada] More efficient System.Random_Numbers.Random_Discrete for 32-bit typesEric Botcazou
2020-06-03[Ada] Debug info not available on subp having a class-wide preconditionGary Dismukes
2020-06-03[Ada] Fix missing overflow checks in analysis of predefined unitYannick Moy
2020-06-03[Ada] Fix typo in commentEric Botcazou
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek
2020-06-03[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou
2020-06-03[Ada] Add Address_Int declaration in s-auxdec.adsArnaud Charlet
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet
2020-06-03[Ada] Put a couple of options in alphabetical orderEric Botcazou
2020-06-03[Ada] Avoid creating temporaries in Universal_Integer for range checksEric Botcazou
2020-06-03[Ada] Remove -gnatt switch processingArnaud Charlet
2020-06-03[Ada] Minor tweaks in commentaryEric Botcazou
2020-06-03Daily bump.GCC Administrator
2020-06-02[Ada] remove last traces of -auxbaseAlexandre Oliva
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet
2020-06-02[Ada] CCG: regressions on ACATS c460007, c46013a, cd1009dJavier Miranda
2020-06-02[Ada] Bump copyright yearArnaud Charlet
2020-06-02[Ada] Improved support for aspect alignment in CCGJavier Miranda
2020-06-02[Ada] Compiler crash processing controlled type primitiveJavier Miranda
2020-06-02[Ada] Remove degenerate Treat_Fixed_As_Integer mechanismEric Botcazou
2020-06-02[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou
2020-06-02[Ada] gnatpp: documentation for --RM-style-spacingBob Duff
2020-06-02[Ada] gnatpp: documentation for --[no-]compact switchBob Duff
2020-06-02[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou
2020-06-02[Ada] Statement SCO code for degenerate subprogramsThomas Quinot
2020-06-02[Ada] ICE during unnesting when nested subprograms have address takenGary Dismukes
2020-06-02[Ada] Spurious accessibility error on return aggregate in GNATprove modeJustin Squirek
2020-06-02[Ada] Fix minor discrepancy in Expand_N_Attribute_ReferenceEric Botcazou
2020-06-02[Ada] Unnesting bugs with array renamings generated for quantified exprGary Dismukes
2020-06-02[Ada] snames.ads-tmpl: add commentBob Duff
2020-06-02[Ada] Remove dead code for detecting hidden package statePiotr Trojanek
2020-06-02[Ada] Use Standard.Natural on bit references to packed arraysEric Botcazou