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

2019-08-13	Yannick Moy	[Ada] Complete the more extended AST traversal used...	blob \| commitdiff \| raw
2019-08-13	Claire Dross	[Ada] Extend range type in search primitives of formal...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Dmitriy Anisimkov	[Ada] Fix IPv6 numeric address detection	blob \| commitdiff \| raw \| diff to current
2019-08-12	Dmitriy Anisimkov	[Ada] New parameter Quiet for procedure GNAT.Command_Li...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Ed Schonberg	[Ada] Missing check on outbound parameter of a non...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Ed Schonberg	[Ada] Crash on illegal left-hand side in assignment...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Small comment tweaks for 3 predicates on bit...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix internal error on comparison of unaligned...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Do not suppress checks in instances of internal...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Prevent crash in Is_Reachable	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Prevent crash in Put_Scaled	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Remove doc for language version switches	blob \| commitdiff \| raw \| diff to current
2019-08-12	Gary Dismukes	[Ada] Hang on loop in generic with subtype indication...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Ed Schonberg	[Ada] Improper error message on equality op with differ...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Minor cleanups in exception handling	blob \| commitdiff \| raw \| diff to current
2019-08-12	Justin Squirek	[Ada] Implement Ada.Directories.Hierarchical_File_Names	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Improve error message for Object_Size clause...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Gary Dismukes	[Ada] Suppress_Initialization not respected for private...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] Adapt new extended traversal of AST to have optio...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] More precise handling of Size/Object_Size in...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] SPARK: disable expansion of Enum_Rep	blob \| commitdiff \| raw \| diff to current
2019-08-12	Justin Squirek	[Ada] Inconsistent compile time Constraint_Error warning	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Eliminate redundant range checks on conversions	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Sprint: minor comment tweak	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] Extended traversal subprograms for GNATprove	blob \| commitdiff \| raw \| diff to current
2019-08-12	Jerome Lambourg	[Ada] VxWorks: call s-tpopsp.Self only when needed	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Plug small loophole in Discrete_Range_Check	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Add special bypass for obsolete code pattern	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix missing range check for In/Out parameter...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix incorrect Do_Range_Check on type conversion	blob \| commitdiff \| raw \| diff to current
2019-08-10	Jakub Jelinek	Assorted ChangeLog cleanups.	blob \| commitdiff \| raw \| diff to current
2019-08-02	Alexandre Oliva	rework Ada EH Machine_Occurrence deallocation	blob \| commitdiff \| raw \| diff to current
2019-07-23	Ed Schonberg	[Ada] Aspect CPU may depend on a discriminant of a...	blob \| commitdiff \| raw \| diff to current
2019-07-23	Eric Botcazou	[Ada] Plug small loophole in Generate_Range_Check	blob \| commitdiff \| raw \| diff to current
2019-07-23	Eric Botcazou	[Ada] Eliminate redundant overflow checks for conversio...	blob \| commitdiff \| raw \| diff to current
2019-07-23	Eric Botcazou	[Ada] Minor tweak to -gnatR output	blob \| commitdiff \| raw \| diff to current
2019-07-23	Ed Schonberg	[Ada] Iterators are view-specific	blob \| commitdiff \| raw \| diff to current
2019-07-23	Yannick Moy	[Ada] Issue error on SPARK ownership rule violation	blob \| commitdiff \| raw \| diff to current
2019-07-23	Yannick Moy	[Ada] Fix binding of ghost units with finalizer	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] More complete information level for -gnatR4 output	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Sinfo: update doc about Do_Division/Overlflow...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix missing check for no-op conversion to fixed...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Remove misleading warning/suggestion in membershi...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Yannick Moy	[Ada] Adapt ownership checking in SPARK to traversal...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Overhaul code implementing conversions involving...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Sprint: fix pasto in comment	blob \| commitdiff \| raw \| diff to current
2019-07-22	Javier Miranda	[Ada] Spurious error passing access to class-wide inter...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Small enhancement to the -gnatD/-gnatG output...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Beef up comment in exp_attr.adb	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Optimization loses exception in improper use...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Misleading warning on variable not assigned	blob \| commitdiff \| raw \| diff to current
2019-07-22	Javier Miranda	[Ada] Usage of signed type in array bounds in CCG	blob \| commitdiff \| raw \| diff to current
2019-07-22	Yannick Moy	[Ada] Issue warning or error message on ignored typing...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix spurious visibility error for tagged type...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Remove obsolete Is_For_Access_Subtype machinery	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Spurious error on private subtype of derived...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Type inconsistency in floating_point type declara...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Further fix non-stored discriminant in aggregate...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Gary Dismukes	[Ada] Premature finalization of controlled temporaries...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Internal error on iterator for limited private...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix missing Constraint_Error for Enum_Val attribute	blob \| commitdiff \| raw \| diff to current
2019-07-22	Nicolas Roche	[Ada] Ensure meaningless digits in a string are discarded	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix wrong assumption on bounds in GNAT.Encode_String	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix spurious loop warning for function with Out...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Nicolas Roche	[Ada] Ensure Ctrl-C is not emited on terminated processes	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Incorrect values in conversion from fixed-point...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Javier Miranda	[Ada] Crash in C++ constructor without external and...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Spurious warning about a useless assignment	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Fix internal error on array slice in loop and...	blob \| commitdiff \| raw \| diff to current
2019-07-18	Arnaud Charlet	Makefile.rtl, [...]: Introduce a "STANDALONE" mode...	blob \| commitdiff \| raw \| diff to current
2019-07-13	Andreas Schwab	* Makefile.rtl: Use g-sercom__linux.adb for all linuxes.	blob \| commitdiff \| raw \| diff to current
2019-07-11	Piotr Trojanek	[Ada] Use high-level wrappers for Lib.Units.Table	blob \| commitdiff \| raw \| diff to current
2019-07-11	Piotr Trojanek	[Ada] Minor refactoring	blob \| commitdiff \| raw \| diff to current
2019-07-11	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Yannick Moy	[Ada] Flip the meaning of debug switch -gnatdF	blob \| commitdiff \| raw \| diff to current
2019-07-11	Yannick Moy	[Ada] Avoid spurious warning on assertions with Loop_Entry	blob \| commitdiff \| raw \| diff to current
2019-07-11	Claire Dross	[Ada] Refactor ownership pointer checking in SPARK...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Patrick Bernardi	[Ada] Minimal binder	blob \| commitdiff \| raw \| diff to current
2019-07-11	Eric Botcazou	[Ada] Makefile.rtl: add a warning about compilation...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Ed Schonberg	[Ada] Crash on protected type with self-referential...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP proto...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Claire Dross	[Ada] Memory corruption when using formal hashed sets...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Arnaud Charlet	[Ada] errno.c: remove obsolete support for MaRTE OS	blob \| commitdiff \| raw \| diff to current
2019-07-11	Ed Schonberg	[Ada] Remove redundant predicate checks	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Elaboration order v4.0 and output of dependencies	blob \| commitdiff \| raw \| diff to current
2019-07-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: add support for RAW sockets	blob \| commitdiff \| raw \| diff to current
2019-07-11	Justin Squirek	[Ada] Pragma Unreferenced triggers undefined reference	blob \| commitdiff \| raw \| diff to current
2019-07-11	Bob Duff	[Ada] Fix inconsistent documentation for gnatmetric	blob \| commitdiff \| raw \| diff to current
2019-07-11	Bob Duff	[Ada] Document gnatpp's --spaces-only switch	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Infinite loop on illegal declaration	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Internal crash on illegal renaming	blob \| commitdiff \| raw \| diff to current
2019-07-11	Ed Schonberg	[Ada] Compile-time evaluation of predicate checks	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Link error due to negated intrinsic comparison	blob \| commitdiff \| raw \| diff to current
2019-07-11	Thomas Quinot	[Ada] Fix crash on dynamic predicate when generating...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Missing finalization of private protected type	blob \| commitdiff \| raw \| diff to current
2019-07-11	Eric Botcazou	[Ada] New Repinfo.Input unit to read back JSON represen...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Justin Squirek	[Ada] No warning for guaranteed accessibility check...	blob \| commitdiff \| raw \| diff to current
next

RSS Atom