aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-05-16[Ada] Fix fallout of change in equality for untagged record typesEric Botcazou1-3/+27
2022-05-16[Ada] Fix expansion of attribute Loop_Entry wrt value propagationPiotr Trojanek1-10/+18
2022-05-16[Ada] Remove useless code related to current value propagationPiotr Trojanek1-1/+0
2022-05-16[Ada] Type invariant or postcondition may cause uninitialized memory readsJustin Squirek1-8/+27
2022-05-16[Ada] Freeze target type on qualified expression expansionEtienne Servais1-0/+2
2022-05-16[Ada] Fix proof of double arithmetic unitsYannick Moy1-0/+2
2022-05-16[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI filesGhjuvan Lacambre1-1/+3
2022-05-16[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameterJoel Brobecker1-3/+8
2022-05-16[Ada] sigaction result not properly checked in __gnat_install_handler (QNX)Joel Brobecker1-6/+6
2022-05-16[Ada] Fix thinko in QNX's implementation of __gnat_install_handlerJoel Brobecker1-1/+1
2022-05-16[Ada] Add <stdlib.h> #include in cstreams.cJoel Brobecker1-0/+1
2022-05-16[Ada] replace call to bzero in terminals.c by call to memsetJoel Brobecker1-8/+9
2022-05-16[Ada] Revise Storage_Model_Support operations to do checks and take objects a...Gary Dismukes2-120/+143
2022-05-16[Ada] Handle case-expression inside if-expression in -gnato2Etienne Servais1-0/+5
2022-05-16[Ada] Update comment justifying non-inlining for proof inside genericsYannick Moy1-2/+3
2022-05-16[Ada] Fix iterated element association loop var escaping loop scopeMarc Poulhiès1-11/+29
2022-05-16[Ada] Fix internal error on iterated array aggregateEric Botcazou1-6/+11
2022-05-16[Ada] Accept calls to abstract subprograms in class-wide pre/post-conditionsJavier Miranda1-6/+14
2022-05-16[Ada] Fix internal error on mix of controlled and protected typesEric Botcazou1-1/+1
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou4-56/+38
2022-05-16[Ada] Implement component finalization ordering rules for type extensionsSteve Baird1-5/+47
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou17-332/+317
2022-05-16[Ada] Remove duplicated detection of user-defined equalityPiotr Trojanek1-21/+3
2022-05-16[Ada] Improve building of untagged equalityPiotr Trojanek1-0/+1
2022-05-16[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2Olivier Hainque1-1/+1
2022-05-16[Ada] Couple of small consistency tweaksEric Botcazou1-6/+24
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou7-148/+243
2022-05-16[Ada] Pick volatile refinement property of a subtype from its base typePiotr Trojanek1-1/+9
2022-05-16[Ada] Clarify code for detecting volatile refinement propertiesPiotr Trojanek1-2/+2
2022-05-16[Ada] Remove duplicated code for detecting enabled pragmasPiotr Trojanek1-44/+4
2022-05-16Use more ARRAY_SIZE.Martin Liska1-3/+5
2022-05-14Daily bump.GCC Administrator1-0/+300
2022-05-13ada: gcc-if: build proper String_Pointer for Get_External_NameAlexandre Oliva1-1/+2
2022-05-13[Ada] Fix incorrect call to inherited function with limited return typeEric Botcazou1-0/+1
2022-05-13[Ada] Storage_Model_Object fails to return object entityGary Dismukes1-1/+5
2022-05-13[Ada] Compiler crash on -gnata -O2Javier Miranda2-53/+88
2022-05-13[Ada] Only use alternate stack when neededArnaud Charlet1-4/+10
2022-05-13[Ada] Extend hardcfr testing (documentation)Alexandre Oliva2-32/+14
2022-05-13[Ada] CUDA: use binder to generate kernel-registration codeGhjuvan Lacambre9-6/+259
2022-05-13[Ada] Fix iterated component association for array aggregateMarc Poulhiès1-0/+24
2022-05-13[Ada] Simplify helper units for formal hashed sets/mapsYannick Moy4-156/+24
2022-05-13[Ada] Adapt body of formal sets and maps for SPARKYannick Moy7-196/+145
2022-05-13[Ada] Remove dependency on tampering checks and controlled types for formalYannick Moy10-15/+1170
2022-05-13[Ada] Ada ABI change when building with assertionsJavier Miranda1-1/+41
2022-05-13[Ada] Take into account GNSA_ROOT env var for prefixJohannes Kanig2-3/+24
2022-05-13[Ada] Implement late initialization rules for type extensionsSteve Baird3-244/+529
2022-05-13[Ada] Handle IN iterator for class-wide derived object of iterator typeEd Schonberg1-1/+13
2022-05-13[Ada] Facilitate proof of Overwrite in bounded strings libraryYannick Moy3-5/+5
2022-05-13[Ada] Fix code example on representation clauseEtienne Servais2-6/+6
2022-05-13[Ada] Do not overwrite limited view of result typeEric Botcazou3-14/+4
generated by cgit v1.1 at 2024-11-02 13:54:26 +0000