summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* ada: Implement inheritance of user-defined literal aspects for untagged typesEric Botcazou2023-05-163-8/+38
* ada: Spurious error analyzing 'old or 'result in class-wide conditionsJavier Miranda2023-05-161-2/+21
* ada: Spurious error on function returning CPP typeJavier Miranda2023-05-161-1/+6
* ada: Apply range checks to preanalyzed aggregate expressionsPiotr Trojanek2023-05-161-1/+1
* ada: usage.adb: document -gnatyD switchGhjuvan Lacambre2023-05-161-0/+1
* ada: Fix Ada representation of r_debug and link_map typesMarc Poulhiès2023-05-161-6/+13
* ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann2023-05-163-0/+151
* ada: Follow-up improvement to implementation of storage modelsEric Botcazou2023-05-161-0/+16
* ada: Add tags on style messagesArnaud Charlet2023-05-1610-62/+75
* ada: Fix typo in "pattern"Tom Tromey2023-05-163-4/+4
* ada: Adjust semantics and implementation of storage modelsEric Botcazou2023-05-168-82/+274
* ada: Build invariant procedure while freezing in GNATprove modePiotr Trojanek2023-05-161-8/+46
* ada: Get name from entity if that's what's passed to Subprogram_NameRichard Kenner2023-05-161-0/+3
* ada: Document examples of No_Dependence restriction for code generationEric Botcazou2023-05-162-2/+43
* ada: Bad handling of ASCII with -gnatynArnaud Charlet2023-05-162-3/+3
* ada: Introduce Cannot_Be_Superflat flag on N_Range nodesEric Botcazou2023-05-164-9/+22
* ada: Change Present_Expr field type to UintRichard Kenner2023-05-161-1/+1
* ada: Simplify dramatically ghost code for proof of System.Arith_DoubleYannick Moy2023-05-162-384/+56
* ada: Add intermediate assertions for proof of Super_TailYannick Moy2023-05-161-0/+6
* ada: Missing dependency with -gnatcArnaud Charlet2023-05-161-11/+11
* ada: Set Loop_Variant assertion policy to Ignore in bothYannick Moy2023-05-161-1/+2
* ada: Trivial refactoring in Instantiate_*_BodyMarc Poulhiès2023-05-161-10/+6
* ada: Restore proof of System.Arith_DoubleYannick Moy2023-05-161-31/+119
* RISC-V: Adjust stdint.h to stdint-gcc.h for rvv testsPan Li2023-05-1615-15/+15
* s390: Refactor block operation setmemStefan Schulze Frielinghaus2023-05-164-20/+132
* s390: Add block operation movmemStefan Schulze Frielinghaus2023-05-163-0/+124
* s390: Refactor block operation cpymemStefan Schulze Frielinghaus2023-05-163-22/+74
* Fortran: Fix an assortment of bugsPaul Thomas2023-05-1610-54/+223
* Skip -fdelete-null-pointer-check tests if target keeps_null_pointer_checksSenthil Kumar Selvaraj2023-05-169-1/+10
* MATCH: [PR109424] Simplify min/max of boolean argumentsAndrew Pinski2023-05-165-0/+145
* RISC-V: Add FRM and rounding mode operand into floating point intrinsicsJuzhe-Zhong2023-05-167-55/+251
* Daily bump.GCC Administrator2023-05-169-1/+447
* c: Ignore _Atomic on function return type for C2xJoseph Myers2023-05-153-2/+49
* c: Update __has_c_attribute values for C2xJoseph Myers2023-05-152-24/+20
* Fortran: CLASS pointer function result in variable definition context [PR109846]Harald Anlauf2023-05-152-1/+40
* Add auto-resizing capability to irange's [PR109695]Aldy Hernandez2023-05-152-30/+82
* Only return changed=true in union_nonzero when appropriate.Aldy Hernandez2023-05-152-5/+13
* c++: add feature-test macro for auto(x)Patrick Palka2023-05-152-0/+7
* RISC-V: Add rounding mode operand for fixed-point patternsJuzhe-Zhong2023-05-156-23/+77
* OPTABS: Extend the number of expanding instructions patternPan Li2023-05-151-0/+5
* fix assert in non-atomic pathThomas Neumann2023-05-151-1/+3
* aarch64: Cost vector comparisons more accuratelyKyrylo Tkachov2023-05-152-0/+36
* Support parallel testing in libgomp, part II [PR66005]Thomas Schwinge2023-05-158-6/+84
* Support parallel testing in libgomp, part I [PR66005]Rainer Orth2023-05-153-23/+138
* libgomp testsuite: As appropriate, use the 'gcc', 'g++', 'gfortran' driver [P...Thomas Schwinge2023-05-1510-65/+71
* libgomp testsuite: Have each '*.exp' file specify the compiler to use [PR91884]Thomas Schwinge2023-05-158-15/+17
* fix assert in __deregister_frame_info_basesSören Tempel2023-05-151-1/+3
* ada: Fix typo in commentMarc Poulhiès2023-05-151-1/+1
* ada: Add annotations for proof of termination of runtime unitsYannick Moy2023-05-157-0/+66
* ada: Recover proof of runtime unitsYannick Moy2023-05-152-5/+7
View Lorry Controller Status