summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* libstdc++: Require tzdb support for chrono::zoned_time printer testJonathan Wakely2023-05-161-1/+2
* libstdc++: Do not use pthread_mutex_clocklock with ThreadSanitizerJonathan Wakely2023-05-162-2/+2
* ada: Add "gnat --help-ada" text for new switches.Steve Baird2023-05-161-0/+4
* ada: Use accumulator type in expansion of 'Reduce attributeEric Botcazou2023-05-161-10/+62
* ada: Fix missing warning on aggregate with iterated componentEric Botcazou2023-05-161-1/+0
* ada: Fix crash on iterated component in expression functionEric Botcazou2023-05-161-6/+8
* ada: Fix internal error on 'Image applied to array componentEric Botcazou2023-05-161-2/+21
* ada: Fix internal error on chain of predicated record typesEric Botcazou2023-05-161-6/+21
* ada: Update proof of runtime unitsYannick Moy2023-05-166-45/+31
* 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
View Lorry Controller Status