git.libre-soc.org Git - gcc.git/search

2019-08-19	Pierre-Marie de...	[Ada] Define the -fdump-scos option in lang.opt 2019-08-19 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2019-08-14	Joffrey Huguet	[Ada] Improve performance of Containers.Functional_Base	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Alignment may be specified as zero	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Further cleanup in inlining machinery	commit \| commitdiff \| tree
2019-08-14	Ed Schonberg	[Ada] Do not crash with -gnatR3 on Ghost aspects	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Warn about unknown condition in Compile_Time_Warning	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Further cleanup in the inlining machinery	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Incorrect error on inline protected function	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Defer processing of unknown CTW/E conditions...	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Compiler speedup with inlining across units	commit \| commitdiff \| tree
2019-08-14	Gary Dismukes	[Ada] Equality for nonabstract type derived from interface...	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Strengthen Locked flag	commit \| commitdiff \| tree
2019-08-14	Arnaud Charlet	[Ada] Remove documentation of gnatelim	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Tweak the sloc of Compile_Time_Warning warnings	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Minor: remove a ??? comment	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Remove obsolete Pending_Descriptor table and...	commit \| commitdiff \| tree
2019-08-14	Bob Duff	[Ada] Spurious error in discriminated aggregate	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Fix internal error on inlined subprogram instance	commit \| commitdiff \| tree
2019-08-14	Ed Schonberg	[Ada] Crash on quantified expression in disabled assertion	commit \| commitdiff \| tree
2019-08-14	Javier Miranda	[Ada] Sem_Util: fix a bug in New_Copy_Tree	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Expose part of ownership checking for use in...	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Check SPARK restriction on Old/Loop_Entry with...	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Fix spurious ownership error in GNATprove	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Fix discrepancy in mechanism tracking private...	commit \| commitdiff \| tree
2019-08-14	Javier Miranda	[Ada] Fix a recent ACATS regression (c552001)	commit \| commitdiff \| tree
2019-08-14	Ed Schonberg	[Ada] Crash on precondition involving quantified expression	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Fix failing assertions on SPARK elaboration	commit \| commitdiff \| tree
2019-08-14	Eric Botcazou	[Ada] Small internal improvements to the inlining machinery	commit \| commitdiff \| tree
2019-08-14	Gary Dismukes	[Ada] Illegal selection of first object in a task type...	commit \| commitdiff \| tree
2019-08-14	Piotr Trojanek	[Ada] Minor refactoring in Einfo	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Remove unused component in record type	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Build full derivation for private concurrent...	commit \| commitdiff \| tree
2019-08-13	Ed Schonberg	[Ada] Legality rule on ancestors of type extensions...	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Fix spurious instantiation error on private record...	commit \| commitdiff \| tree
2019-08-13	Javier Miranda	[Ada] Wrong dispatching call in type with aspect Implicit_De...	commit \| commitdiff \| tree
2019-08-13	Ed Schonberg	[Ada] Do not remove side-effects in an others_clause...	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Add GNAT.Branch_Prediction to Impunit	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Small cleanup and improvement in inlining machinery	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Fix bogus style check failure with pragma Style_Checks...	commit \| commitdiff \| tree
2019-08-13	Arnaud Charlet	[Ada] Protect analysis of Indexing aspect against cascaded...	commit \| commitdiff \| tree
2019-08-13	Ed Schonberg	[Ada] Add conformance check on actual subp. in instance...	commit \| commitdiff \| tree
2019-08-13	Gary Dismukes	[Ada] Do full name qualification of local exception...	commit \| commitdiff \| tree
2019-08-13	Gary Dismukes	[Ada] Compiler may blow up on array aggregates whose...	commit \| commitdiff \| tree
2019-08-13	Justin Squirek	[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4...	commit \| commitdiff \| tree
2019-08-13	Justin Squirek	[Ada] Implement pragma Max_Entry_Queue_Length	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid crash in GNATprove_Mode on allocator inside...	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid crash in GNATprove due to inlining inside...	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Spurious error on nested instantiation	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Do not set Back_End_Inlining in ASIS mode	commit \| commitdiff \| tree
2019-08-13	Olivier Hainque	[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads	commit \| commitdiff \| tree
2019-08-13	Arnaud Charlet	[Ada] Systematically pass LN_S to relevant gnatlib...	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking...	commit \| commitdiff \| tree
2019-08-13	Justin Squirek	[Ada] Disable anonymous allocator warning for library...	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Add/fix documentation for the Double_*_Alignment...	commit \| commitdiff \| tree
2019-08-13	Eric Botcazou	[Ada] Fix spurious error on nested instantiation with...	commit \| commitdiff \| tree
2019-08-13	Javier Miranda	[Ada] Wrong initialization of Offset_To_Top in secondary DT	commit \| commitdiff \| tree
2019-08-13	Justin Squirek	[Ada] Add ability to list compiler switches with gnatcmd	commit \| commitdiff \| tree
2019-08-13	Dmitriy Anisimkov	[Ada] Better exception message on Invalid_Switch exception	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Complete the more extended AST traversal used...	commit \| commitdiff \| tree
2019-08-13	Claire Dross	[Ada] Extend range type in search primitives of formal...	commit \| commitdiff \| tree
2019-08-12	Dmitriy Anisimkov	[Ada] Fix IPv6 numeric address detection	commit \| commitdiff \| tree
2019-08-12	Dmitriy Anisimkov	[Ada] New parameter Quiet for procedure GNAT.Command_Line...	commit \| commitdiff \| tree
2019-08-12	Ed Schonberg	[Ada] Missing check on outbound parameter of a non...	commit \| commitdiff \| tree
2019-08-12	Ed Schonberg	[Ada] Crash on illegal left-hand side in assignment...	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Small comment tweaks for 3 predicates on bit...	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Fix internal error on comparison of unaligned...	commit \| commitdiff \| tree
2019-08-12	Bob Duff	[Ada] Do not suppress checks in instances of internal...	commit \| commitdiff \| tree
2019-08-12	Bob Duff	[Ada] Prevent crash in Is_Reachable	commit \| commitdiff \| tree
2019-08-12	Bob Duff	[Ada] Prevent crash in Put_Scaled	commit \| commitdiff \| tree
2019-08-12	Bob Duff	[Ada] Remove doc for language version switches	commit \| commitdiff \| tree
2019-08-12	Gary Dismukes	[Ada] Hang on loop in generic with subtype indication...	commit \| commitdiff \| tree
2019-08-12	Ed Schonberg	[Ada] Improper error message on equality op with different...	commit \| commitdiff \| tree
2019-08-12	Bob Duff	[Ada] Minor cleanups in exception handling	commit \| commitdiff \| tree
2019-08-12	Justin Squirek	[Ada] Implement Ada.Directories.Hierarchical_File_Names	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Improve error message for Object_Size clause...	commit \| commitdiff \| tree
2019-08-12	Gary Dismukes	[Ada] Suppress_Initialization not respected for private...	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] Adapt new extended traversal of AST to have optional...	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] More precise handling of Size/Object_Size in...	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] SPARK: disable expansion of Enum_Rep	commit \| commitdiff \| tree
2019-08-12	Justin Squirek	[Ada] Inconsistent compile time Constraint_Error warning	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Eliminate redundant range checks on conversions	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Sprint: minor comment tweak	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] Extended traversal subprograms for GNATprove	commit \| commitdiff \| tree
2019-08-12	Jerome Lambourg	[Ada] VxWorks: call s-tpopsp.Self only when needed	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Plug small loophole in Discrete_Range_Check	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Add special bypass for obsolete code pattern	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Fix missing range check for In/Out parameter...	commit \| commitdiff \| tree
2019-08-12	Eric Botcazou	[Ada] Fix incorrect Do_Range_Check on type conversion	commit \| commitdiff \| tree
2019-07-23	Ed Schonberg	[Ada] Aspect CPU may depend on a discriminant of a...	commit \| commitdiff \| tree
2019-07-23	Eric Botcazou	[Ada] Plug small loophole in Generate_Range_Check	commit \| commitdiff \| tree
2019-07-23	Eric Botcazou	[Ada] Eliminate redundant overflow checks for conversions...	commit \| commitdiff \| tree
2019-07-23	Eric Botcazou	[Ada] Minor tweak to -gnatR output	commit \| commitdiff \| tree
2019-07-23	Ed Schonberg	[Ada] Iterators are view-specific	commit \| commitdiff \| tree
2019-07-23	Yannick Moy	[Ada] Issue error on SPARK ownership rule violation	commit \| commitdiff \| tree
2019-07-23	Yannick Moy	[Ada] Fix binding of ghost units with finalizer	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] More complete information level for -gnatR4 output	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Sinfo: update doc about Do_Division/Overlflow...	commit \| commitdiff \| tree
next

RSS Atom