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

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
2019-07-22	Eric Botcazou	[Ada] Fix missing check for no-op conversion to fixed...	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Remove misleading warning/suggestion in membership...	commit \| commitdiff \| tree
2019-07-22	Yannick Moy	[Ada] Adapt ownership checking in SPARK to traversal...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Overhaul code implementing conversions involving...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Sprint: fix pasto in comment	commit \| commitdiff \| tree
2019-07-22	Javier Miranda	[Ada] Spurious error passing access to class-wide interface...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Small enhancement to the -gnatD/-gnatG output...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Beef up comment in exp_attr.adb	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Optimization loses exception in improper use...	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Misleading warning on variable not assigned	commit \| commitdiff \| tree
2019-07-22	Javier Miranda	[Ada] Usage of signed type in array bounds in CCG	commit \| commitdiff \| tree
2019-07-22	Yannick Moy	[Ada] Issue warning or error message on ignored typing...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Fix spurious visibility error for tagged type...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Remove obsolete Is_For_Access_Subtype machinery	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Spurious error on private subtype of derived...	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Type inconsistency in floating_point type declarations	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Further fix non-stored discriminant in aggregate...	commit \| commitdiff \| tree
2019-07-22	Gary Dismukes	[Ada] Premature finalization of controlled temporaries...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Internal error on iterator for limited private...	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Fix missing Constraint_Error for Enum_Val attribute	commit \| commitdiff \| tree
2019-07-22	Nicolas Roche	[Ada] Ensure meaningless digits in a string are discarded	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Fix wrong assumption on bounds in GNAT.Encode_String	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Fix spurious loop warning for function with Out...	commit \| commitdiff \| tree
2019-07-22	Nicolas Roche	[Ada] Ensure Ctrl-C is not emited on terminated processes	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Incorrect values in conversion from fixed-point...	commit \| commitdiff \| tree
2019-07-22	Javier Miranda	[Ada] Crash in C++ constructor without external and...	commit \| commitdiff \| tree
2019-07-22	Ed Schonberg	[Ada] Spurious warning about a useless assignment	commit \| commitdiff \| tree
2019-07-22	Eric Botcazou	[Ada] Fix internal error on array slice in loop and...	commit \| commitdiff \| tree
2019-07-11	Piotr Trojanek	[Ada] Use high-level wrappers for Lib.Units.Table	commit \| commitdiff \| tree
2019-07-11	Piotr Trojanek	[Ada] Minor refactoring	commit \| commitdiff \| tree
2019-07-11	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking...	commit \| commitdiff \| tree
2019-07-11	Yannick Moy	[Ada] Flip the meaning of debug switch -gnatdF	commit \| commitdiff \| tree
2019-07-11	Yannick Moy	[Ada] Avoid spurious warning on assertions with Loop_Entry	commit \| commitdiff \| tree
2019-07-11	Claire Dross	[Ada] Refactor ownership pointer checking in SPARK...	commit \| commitdiff \| tree
2019-07-11	Patrick Bernardi	[Ada] Minimal binder	commit \| commitdiff \| tree
2019-07-11	Eric Botcazou	[Ada] Makefile.rtl: add a warning about compilation...	commit \| commitdiff \| tree
2019-07-11	Ed Schonberg	[Ada] Crash on protected type with self-referential...	commit \| commitdiff \| tree
2019-07-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP protocol...	commit \| commitdiff \| tree
2019-07-11	Claire Dross	[Ada] Memory corruption when using formal hashed sets...	commit \| commitdiff \| tree
2019-07-11	Arnaud Charlet	[Ada] errno.c: remove obsolete support for MaRTE OS	commit \| commitdiff \| tree
2019-07-11	Ed Schonberg	[Ada] Remove redundant predicate checks	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Elaboration order v4.0 and output of dependencies	commit \| commitdiff \| tree
2019-07-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: add support for RAW sockets	commit \| commitdiff \| tree
2019-07-11	Justin Squirek	[Ada] Pragma Unreferenced triggers undefined reference	commit \| commitdiff \| tree
2019-07-11	Bob Duff	[Ada] Fix inconsistent documentation for gnatmetric	commit \| commitdiff \| tree
2019-07-11	Bob Duff	[Ada] Document gnatpp's --spaces-only switch	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Infinite loop on illegal declaration	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Internal crash on illegal renaming	commit \| commitdiff \| tree
2019-07-11	Ed Schonberg	[Ada] Compile-time evaluation of predicate checks	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Link error due to negated intrinsic comparison	commit \| commitdiff \| tree
2019-07-11	Thomas Quinot	[Ada] Fix crash on dynamic predicate when generating...	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Missing finalization of private protected type	commit \| commitdiff \| tree
2019-07-11	Eric Botcazou	[Ada] New Repinfo.Input unit to read back JSON representatio...	commit \| commitdiff \| tree
2019-07-11	Justin Squirek	[Ada] No warning for guaranteed accessibility check...	commit \| commitdiff \| tree
2019-07-11	Arnaud Charlet	[Ada] GNAT.Threads: Add a Get_Thread overload taking...	commit \| commitdiff \| tree
2019-07-11	Hristian Kirtchev	[Ada] Elaboration order v4.0 and infinite loops	commit \| commitdiff \| tree
2019-07-11	Yannick Moy	[Ada] Avoid spurious warning on wrong order of operator...	commit \| commitdiff \| tree
2019-07-10	Dmitriy Anisimkov	[Ada] System.Strings.Stream_Ops: do not depend on Stream_IO	commit \| commitdiff \| tree
2019-07-10	Ed Schonberg	[Ada] Spurious run-time error with 64-bit modular types	commit \| commitdiff \| tree
2019-07-10	Doug Rupp	[Ada] Do not attempt to re-arm guard page on x86_64...	commit \| commitdiff \| tree
2019-07-10	Ed Schonberg	[Ada] Crash on aggregate for limited type in extended...	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Fix spurious messages on global variables for...	commit \| commitdiff \| tree
2019-07-10	Claire Dross	[Ada] Fix possible crashes in GNATprove analysis of...	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Spurious error on discriminant of incomplete...	commit \| commitdiff \| tree
2019-07-10	Arnaud Charlet	[Ada] Improve gnatmem's doc for the depth switch	commit \| commitdiff \| tree
2019-07-10	Bob Duff	[Ada] GNATpp: document the --source-line-breaks switch	commit \| commitdiff \| tree
2019-07-10	Justin Squirek	[Ada] Documentation of Img attribute out of date	commit \| commitdiff \| tree
2019-07-10	Simon Buist	[Ada] Entity names are not unique	commit \| commitdiff \| tree
2019-07-10	Arnaud Charlet	[Ada] Add an annotation for static analysis	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Spelling mistakes in error messages	commit \| commitdiff \| tree
2019-07-10	Eric Botcazou	[Ada] Improve support for tuning branch probability...	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Allow multiple units per file in GNATprove	commit \| commitdiff \| tree
2019-07-10	Corentin Gay	[Ada] sysdep.c: correct include directives ordering	commit \| commitdiff \| tree
2019-07-10	Eric Botcazou	[Ada] GNAT RM: add note about debuggers for Scalar_Storage_Order	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Spurious error on case expression with limited...	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-10	Joffrey Huguet	[Ada] Add contracts to Strings libraries	commit \| commitdiff \| tree
2019-07-10	Doug Rupp	[Ada] Vxworks7r2 SR0610 coalesced some macro values	commit \| commitdiff \| tree
2019-07-10	Doug Rupp	[Ada] The environ macro is broken on vxworks7r2 SR0610	commit \| commitdiff \| tree
2019-07-10	Patrick Bernardi	[Ada] New port for ppc-vx7r2	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Elaboration order v4.0 and cycle detection	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Fix crashes on ownership checking in SPARK	commit \| commitdiff \| tree
next

RSS Atom