aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2022-01-05Avoid -Wformat-diag.Martin Sebor1-1/+1
2022-01-05i386: Fix type of one_cmplv2qi2 alternatives 1,2 [PR103915]Uros Bizjak2-1/+12
2022-01-05i386: Fix expand_vec_perm_pshufb for narrow modes [PR103905]Uros Bizjak2-11/+37
2022-01-05Fortran: Fix ICE caused by missing error for untyped symbol [PR103258]Sandra Loosemore5-1/+27
2022-01-05libstdc++: Fix overconstrained std::string constructor [PR103919]Jonathan Wakely3-2/+47
2022-01-05libstdc++: Implement P1328 "Making std::type_info::operator== constexpr"Jonathan Wakely6-34/+131
2022-01-05libstdc++: Improvements to standard error category objects (part deux)Jonathan Wakely2-20/+31
2022-01-05libstdc++: Fix std::error_code pretty printer for versioned namespaceJonathan Wakely1-1/+1
2022-01-05libstdc++: Add pretty printer for std::regex internalsJonathan Wakely1-0/+32
2022-01-05libstdc++: Fix comments in std::forward_list testsJonathan Wakely7-13/+13
2022-01-05libstdc++: Avoid -Wzero-as-null-pointer-constant warning [PR103848]Jonathan Wakely1-3/+4
2022-01-05libstdc++: Simplify std::allocator_traits<allocator<void>>::constructJonathan Wakely1-7/+1
2022-01-05libstdc++: Fix example preprocessor command in FAQ [PR103877]Jonathan Wakely2-2/+2
2022-01-05libstdc++: Reduce template instantiations in <regex>Jonathan Wakely5-39/+37
2022-01-05libstdc++: Compare match_results for failed regex_matchJonathan Wakely1-2/+1
2022-01-05libstdc++: Improve std::regex_error::what() stringsJonathan Wakely4-76/+111
2022-01-05[c++] Adjust mark used member in instantiated class scopeNathan Sidwell2-5/+24
2022-01-05Fix diagnostic recursion ICENathan Sidwell2-1/+21
2022-01-05DCO EntryNathan Sidwell1-5/+6
2022-01-05[Ada] Improve support for casing on types with controlled partsSteve Baird1-4/+4
2022-01-05[Ada] Simplify detection of alphabetic characters with membership testPiotr Trojanek1-4/+2
2022-01-05[Ada] Expand controlling function wrapper into expression functionPiotr Trojanek1-20/+33
2022-01-05[Ada] Expand controlling functions wrappers in GNATprove modePiotr Trojanek3-11/+43
2022-01-05[Ada] Use Add_Char_To_Name_Buffer for 1-character stringsPiotr Trojanek2-6/+6
2022-01-05[Ada] Simplify calls to Name_Find with known string parameterPiotr Trojanek2-8/+2
2022-01-05[Ada] Compiler crash with -gnatR2 and with of childBob Duff1-4/+6
2022-01-05[Ada] Remove obsolete s-sopco* and s-strops unitsMarc Poulhiès10-497/+2
2022-01-05[Ada] Remove extra whitespace in declarations and parameters listsPiotr Trojanek2-28/+28
2022-01-05[Ada] Remove explicit "in" in internal parameter associationPiotr Trojanek1-2/+0
2022-01-05[Ada] Align arrows in parameter associationsPiotr Trojanek2-4/+4
2022-01-05[Ada] Remove extra space in parameter associationsPiotr Trojanek3-4/+4
2022-01-05[Ada] Fix layout of parameters in calls to Predef_Spec_Or_BodyPiotr Trojanek1-13/+13
2022-01-05[Ada] Fix condition to build subtype for discriminated typesEtienne Servais1-17/+88
2022-01-05[Ada] Add contracts for the proof of System.Arith_128Yannick Moy2-8/+96
2022-01-05[Ada] Simplify handling of user-defined numeric literalsPiotr Trojanek1-5/+3
2022-01-05[Ada] Proof of runtime units for integer exponentiation (checks on)Yannick Moy5-26/+261
2022-01-05[Ada] Remove unnecessary check for missing parameter specificationsPiotr Trojanek1-13/+11
2022-01-05[Ada] Introduce expression functions for contract of Scan_ExponentClaire Dross1-38/+54
2022-01-05[Ada] Prevent Get_Current_Value_Condition from returning the same nodeBob Duff2-1/+8
2022-01-05[Ada] Simplify making of null procedure wrappersPiotr Trojanek3-47/+41
2022-01-05[Ada] Proof of runtime units for integer exponentiation (checks off)Yannick Moy5-26/+261
2022-01-05[Ada] Remove redundant code related to instances with formal subprogramsPiotr Trojanek1-1/+0
2022-01-05[Ada] Fix sharing of formal parameters between wrapper spec and bodyPiotr Trojanek1-75/+64
2022-01-05[Ada] Renamed_Entity should return Entity_IdBob Duff2-10/+10
2022-01-05[Ada] Deconstruct dead wrappers added for external axiomatizationPiotr Trojanek2-222/+0
2022-01-05[Ada] Rename parameter-dependent constants in generic unitYannick Moy1-171/+194
2022-01-05[Ada] Fix lemma in generic unit System.Arith_DoubleYannick Moy1-1/+2
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès134-1266/+844
2022-01-05[Ada] Reduce runtime dependencies on stage1Arnaud Charlet6-4/+23
2022-01-05tree-optimization/103816 - detect offset overflow in SLP group analysisRichard Biener2-1/+24
generated by cgit v1.1 at 2024-11-07 02:34:35 +0000