git.ipfire.org Git - thirdparty/gcc.git/search

]> git.ipfire.org Git - thirdparty/gcc.git/search

projects / thirdparty / gcc.git / search

2018-12-11	pmderodat	[Ada] Do not expand code inside ignored ghost bodies	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: do not eliminate subprogram whose...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on misplaced First operation for GNAT iterable...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Volatility, validity checks, and System.Aux_DEC	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Improve error message when named number passed...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: fix a missing activation record	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: ensure Current_Subprogram is always...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix -gnatR3 output for dynamically constrained...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix setting of Has_Predicate flag for aggregate...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Plug small loophole with pathological packed...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix elaboration of record with 1-element dynamic...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] gnatbind: ghost code with -gnatQ	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: fix for constrained arrays and improve...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Missing predicate check on declaration with aggregate...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on generic instantiation in ignored Ghost...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Uintp: add a new UI_From_Integral generic constructor	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on compilation unit function that builds...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] GNAT.Sockets: fix timeout computations for sockets	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on ignored Ghost expression function	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Remove vxlink and vxaddr2line from this repository	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Complete implementation of RM C.6(19) clause	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Stubs that complete generic subprogram do have...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] GNATprove: improve proofs for uninitialized constraine...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Support access types in GNATprove	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Better error message from GNATprove on illegal...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix runtime stack overflow for out/in-out actuals...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Additionsal trasformations for unnesting in package...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Remove vxworks*-crtbe-link.spec	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Spurious visibility error on aspect Predicate	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix an ICE on instantiated subprogram with -gnatc	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Update gnatmetric documentation for the Libadalang...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix an ACATS regression with CCG	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Update gnatstub documentation for the Libadalang...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Spurious errors on aspect specifications in generic...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Document the -fgnat-encodings switch	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on nesting of subunits with bodies acting...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Suppress call to Initial_Condition when the annotation...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Almost always inline init. procedure of small...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fixes for various wrong and missing error messages...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Spurious error on dependent expression that is...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Add leap seconds for 2015 and 2016	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Spelling fixes and minor reformatting	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix recent regression on array aggregate with...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix internal error on package instantiation on...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix problematic overloading of operator in Ada...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] A task not executing an entry call consumes an...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix assertion failures with -gnatde and -gnatdv	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Enhance comment	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Gigi support for OpenACC pragmas	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Missing check on if-expression	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Problem with boundary case of XOR operation and...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Update signal constants for GNU/Linux	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Fix small regression with others choice in array...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Remove couple of recently added dead tests	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Spurious error on Ghost null procedure	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] More complete information level for -gnatR output	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Crash on interface equality covered by a renaming...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Use of Suppress_Initialization with pragma Thread_Loca...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Missing constraint check on if-expression returning...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Fix assertion failure on pragma Compile_Time_Error...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Crash on use of generic formal package	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Compiler crash on decl. with limited aggregate...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] System'To_Address not always static	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Enhance constraints propagation to ease the work...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Renamed equality leads to spurious errors	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Crash on ignored Ghost assignment	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Visibility error on used enumerated type	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Do not include crt_externs.h on iOS	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Unnesting transformations for blocks in package...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Improper extension of bounds of fixed-point type	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Limited function violates No_Exception_Propagation	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Crash on tagged equality	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Record components do not appear in the Global...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Fix handling of generic actuals with default...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Lingering loop for ignored Ghost assignment	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Use Cancel_Special_Output instead of Set_Special_Outpu...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Fix parentheses in comments and "library-level...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Handle -gx switches explicitly	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Fix spurious -Wuninitialized warnings for small...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Fix incorrect computation of Component_Size in...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Minor tweaks to suppress warnings	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Ignore pragmas Compile_Time_Error/Warning in...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Fix spurious error on derived record passed as...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] SPARK: fix bug related to non access object permissions	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Minor copyright header fix	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Fix strange warning when using Ada.Iterator_Interface	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Einfo: minor comment fix	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Internal error on inlined renaming of subprogram...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Unnesting: fix handling of private types that...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Fix expansion of operations on nonbinary modular...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Unnesting: fix handling of uplevel refs to unconstrain...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Remove spurious -Wuninitialized warning for small...	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Bounded_Holders: fix a typo	commit \| commitdiff \| tree
2018-10-09	pmderodat	[Ada] Functional_Vectors: remove default value for...	commit \| commitdiff \| tree
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom