aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-05-16ada: Spurious error analyzing 'old or 'result in class-wide conditionsJavier Miranda1-2/+21
2023-05-16ada: Spurious error on function returning CPP typeJavier Miranda1-1/+6
2023-05-16ada: Apply range checks to preanalyzed aggregate expressionsPiotr Trojanek1-1/+1
2023-05-16ada: usage.adb: document -gnatyD switchGhjuvan Lacambre1-0/+1
2023-05-16ada: Fix Ada representation of r_debug and link_map typesMarc Poulhiès1-6/+13
2023-05-16ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann3-0/+151
2023-05-16ada: Follow-up improvement to implementation of storage modelsEric Botcazou1-0/+16
2023-05-16ada: Add tags on style messagesArnaud Charlet10-62/+75
2023-05-16ada: Fix typo in "pattern"Tom Tromey3-4/+4
2023-05-16ada: Adjust semantics and implementation of storage modelsEric Botcazou8-82/+274
2023-05-16ada: Build invariant procedure while freezing in GNATprove modePiotr Trojanek1-8/+46
2023-05-16ada: Get name from entity if that's what's passed to Subprogram_NameRichard Kenner1-0/+3
2023-05-16ada: Document examples of No_Dependence restriction for code generationEric Botcazou2-2/+43
2023-05-16ada: Bad handling of ASCII with -gnatynArnaud Charlet2-3/+3
2023-05-16ada: Introduce Cannot_Be_Superflat flag on N_Range nodesEric Botcazou4-9/+22
2023-05-16ada: Change Present_Expr field type to UintRichard Kenner1-1/+1
2023-05-16ada: Simplify dramatically ghost code for proof of System.Arith_DoubleYannick Moy2-384/+56
2023-05-16ada: Add intermediate assertions for proof of Super_TailYannick Moy1-0/+6
2023-05-16ada: Missing dependency with -gnatcArnaud Charlet1-11/+11
2023-05-16ada: Set Loop_Variant assertion policy to Ignore in bothYannick Moy1-1/+2
2023-05-16ada: Trivial refactoring in Instantiate_*_BodyMarc Poulhiès1-10/+6
2023-05-16ada: Restore proof of System.Arith_DoubleYannick Moy1-31/+119
2023-05-16RISC-V: Adjust stdint.h to stdint-gcc.h for rvv testsPan Li15-15/+15
2023-05-16s390: Refactor block operation setmemStefan Schulze Frielinghaus4-20/+132
2023-05-16s390: Add block operation movmemStefan Schulze Frielinghaus3-0/+124
2023-05-16s390: Refactor block operation cpymemStefan Schulze Frielinghaus3-22/+74
2023-05-16Fortran: Fix an assortment of bugsPaul Thomas10-54/+223
2023-05-16Skip -fdelete-null-pointer-check tests if target keeps_null_pointer_checksSenthil Kumar Selvaraj9-1/+10
2023-05-16MATCH: [PR109424] Simplify min/max of boolean argumentsAndrew Pinski5-0/+145
2023-05-16RISC-V: Add FRM and rounding mode operand into floating point intrinsicsJuzhe-Zhong7-55/+251
2023-05-16Daily bump.GCC Administrator9-1/+447
2023-05-15c: Ignore _Atomic on function return type for C2xJoseph Myers3-2/+49
2023-05-15c: Update __has_c_attribute values for C2xJoseph Myers2-24/+20
2023-05-15Fortran: CLASS pointer function result in variable definition context [PR109846]Harald Anlauf2-1/+40
2023-05-15Add auto-resizing capability to irange's [PR109695]Aldy Hernandez2-30/+82
2023-05-15Only return changed=true in union_nonzero when appropriate.Aldy Hernandez2-5/+13
2023-05-15c++: add feature-test macro for auto(x)Patrick Palka2-0/+7
2023-05-15RISC-V: Add rounding mode operand for fixed-point patternsJuzhe-Zhong6-23/+77
2023-05-15OPTABS: Extend the number of expanding instructions patternPan Li1-0/+5
2023-05-15fix assert in non-atomic pathThomas Neumann1-1/+3
2023-05-15aarch64: Cost vector comparisons more accuratelyKyrylo Tkachov2-0/+36
2023-05-15Support parallel testing in libgomp, part II [PR66005]Thomas Schwinge8-6/+84
2023-05-15Support parallel testing in libgomp, part I [PR66005]Rainer Orth3-23/+138
2023-05-15libgomp testsuite: As appropriate, use the 'gcc', 'g++', 'gfortran' driver [P...Thomas Schwinge10-65/+71
2023-05-15libgomp testsuite: Have each '*.exp' file specify the compiler to use [PR91884]Thomas Schwinge8-15/+17
2023-05-15fix assert in __deregister_frame_info_basesSören Tempel1-1/+3
2023-05-15ada: Fix typo in commentMarc Poulhiès1-1/+1
2023-05-15ada: Add annotations for proof of termination of runtime unitsYannick Moy7-0/+66
2023-05-15ada: Recover proof of runtime unitsYannick Moy2-5/+7
2023-05-15ada: Recover proof of Interfaces.C for terminationYannick Moy1-1/+9
generated by cgit v1.1 at 2025-02-22 02:13:20 +0000