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

2018-07-17	Hristian Kirtchev	[Ada] Configuration state not observed for instance...	blob \| commitdiff \| raw
2018-07-17	Eric Botcazou	[Ada] ICE on renaming of result of binary operation	blob \| commitdiff \| raw \| diff to current
2018-07-17	Eric Botcazou	[Ada] Type mismatch warning for imported C++ class	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Remove extra parentheses in Expand_Inlined_Call	blob \| commitdiff \| raw \| diff to current
2018-07-17	Eric Botcazou	[Ada] Minor fix for imported C++ constructors	blob \| commitdiff \| raw \| diff to current
2018-07-17	Bob Duff	[Ada] Assertion_Policy for class-wide precondition	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Missing check on illegal equality operation in...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Unnesting: don't use Get_Actual_Subtype for recor...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-17	Javier Miranda	[Ada] Crash processing abstract state aspect of a package	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Consistent spelling of "i.e." in docs and comments	blob \| commitdiff \| raw \| diff to current
2018-07-17	Justin Squirek	[Ada] Argument_String_To_List creates empty items from...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Spurious error on Part_Of indicator	blob \| commitdiff \| raw \| diff to current
2018-07-17	Yannick Moy	[Ada] Avoid confusing warning on exception propagation...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Dmitriy Anisimkov	[Ada] GNAT.Sockets: reorganize and make public componen...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Javier Miranda	[Ada] Secondary stack leak in statements block located...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix Enclosing_Subprogram for protected entries...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Add elaboration-related switches to GNAT UGN	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] New ignored Ghost code removal mechanism	blob \| commitdiff \| raw \| diff to current
2018-07-17	Javier Miranda	[Ada] Secondary stack leak in loop iterator	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Fix Next_Actual when used on calls "inlined for...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Einfo: update documentation for Scalar_Range	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Attach the special GNATprove HEAP entity to the...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Minor refactoring: remove extra parentheses	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix unnesting issues involving tasks	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Spurious error on unused Part_Of constituent	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Fix handling of inherited discriminant constraints	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Crash on case expression in build-in-place function	blob \| commitdiff \| raw \| diff to current
2018-07-17	Arnaud Charlet	[Ada] Remove references to gcov from the User Manual	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Missing error on hidden state in instantiation	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-16	Arnaud Charlet	[Ada] Only unnest subprograms if no previous errors...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Fix expansion of blocks in loops inside elaborati...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Deep copy operands of membership operations for...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Unnesting: handle 'Address references that are...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Unnesting: handle the semantic of Storage_Pool...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Fix Default_Storage_Pool aspect handling in gener...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Major code cleanup	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Spurious error with null Abstract_State	blob \| commitdiff \| raw \| diff to current
2018-07-16	Piotr Trojanek	[Ada] Deconstruct unused Withed_Body filed of N_With_Cl...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Piotr Trojanek	[Ada] Avoid crash when traversing units with -gnatd...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Piotr Trojanek	[Ada] Trivial simplifications in in Walk_Library_Items	blob \| commitdiff \| raw \| diff to current
2018-07-16	Piotr Trojanek	[Ada] Deconstruct always-false calls to Withed_Body...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Use common routine Expand_Nonbinary_Modular_Op...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Add a missing check for trivial predicates on...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Crash on Indefinite_Hashed_Maps with -gnata ...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Justin Squirek	[Ada] Spurious possible contraint error warning with...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Segmentation_Fault with Integer'Wide_Wide_Value	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Bit_Order cannot be defined for record extensions	blob \| commitdiff \| raw \| diff to current
2018-07-16	Arnaud Charlet	[Ada] System.Object_Reader: minor code clean-up	blob \| commitdiff \| raw \| diff to current
2018-07-16	Piotr Trojanek	[Ada] Adjust reference to renumbered SPARK RM rule	blob \| commitdiff \| raw \| diff to current
2018-07-16	Arnaud Charlet	[Ada] adaint.c: minor code cleanup	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Code cleanup on functions inlining	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Crash processing sources under GNATprove debug...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Yannick Moy	[Ada] Inline: rewrap comment	blob \| commitdiff \| raw \| diff to current
2018-07-16	Eric Botcazou	[Ada] Einfo: minor tweak in comment	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Sem_Ch4: minor code cleanup	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Fix expansion of 'Count in protected types	blob \| commitdiff \| raw \| diff to current
2018-07-16	Javier Miranda	[Ada] Sem_Utils: make Has_Prefix public	blob \| commitdiff \| raw \| diff to current
2018-07-16	Yannick Moy	[Ada] Adjust inlining in GNATprove mode for predicate...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Gary Dismukes	[Ada] Violation of No_Standard_Allocators_After_Elabora...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Gary Dismukes	[Ada] Fix spelling for compile-time-known	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Illegal deferred constant causes stack overflow	blob \| commitdiff \| raw \| diff to current
2018-07-16	Nicolas Roche	[Ada] Adjust growth factor from 1/32 to 1/2 for Unbound...	blob \| commitdiff \| raw \| diff to current
2018-07-13	Eric Botcazou	lang.opt (funsigned-char): New option.	blob \| commitdiff \| raw \| diff to current
2018-07-07	Eric Botcazou	decl.c (gnat_to_gnu_entity): Add GNAT_DECL local variab...	blob \| commitdiff \| raw \| diff to current
2018-07-07	Eric Botcazou	gigi.h (add_decl_expr): Adjust prototype.	blob \| commitdiff \| raw \| diff to current
2018-07-07	Eric Botcazou	trans.c (lvalue_required_p): Remove ALIASED parameter...	blob \| commitdiff \| raw \| diff to current
2018-07-07	Eric Botcazou	decl.c (gnat_to_gnu_param): Minor tweak.	blob \| commitdiff \| raw \| diff to current
2018-07-06	Jim Wilson	RISC-V: Initial riscv linux Ada port.	blob \| commitdiff \| raw \| diff to current
2018-07-06	Jim Wilson	Makefile patches from initial RISC-V cross/native build.	blob \| commitdiff \| raw \| diff to current
2018-07-06	Sebastian Huber	RTEMS/Ada: Change system configuration	blob \| commitdiff \| raw \| diff to current
2018-07-02	Martin Liska	Bump libgnat to 9.	blob \| commitdiff \| raw \| diff to current
2018-06-12	Eric Botcazou	ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from...	blob \| commitdiff \| raw \| diff to current
2018-06-12	Eric Botcazou	decl.c (gnat_to_gnu_entity): Do not get the expression...	blob \| commitdiff \| raw \| diff to current
2018-06-12	Eric Botcazou	decl.c (warn_on_field_placement): Use specific wording...	blob \| commitdiff \| raw \| diff to current
2018-06-12	Eric Botcazou	decl.c (variant_desc): Add AUX field.	blob \| commitdiff \| raw \| diff to current
2018-06-11	Eric Botcazou	[Ada] Fix wrong code for initialization of fat pointer...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Suppress the expansion of ignored assertion pragmas	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Gary Dismukes	[Ada] Typo fixes and minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Double finalization of limited controlled result	blob \| commitdiff \| raw \| diff to current
2018-06-11	Olivier Hainque	[Ada] Improve last exception info availability from...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ed Schonberg	[Ada] Unnesting: refactor handling of uplevel refs...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Bob Duff	[Ada] Dangling cursor checks in Element function	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Mark parameters as coming from source for GNATprove	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ed Schonberg	[Ada] Missing predicate function body for derived type...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Reject violation of SPARK 6.1.4(12) with enclosin...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Eric Botcazou	[Ada] Minor tweaks for Repinfo	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Make GNAT.Array_Split a preelaborable unit	blob \| commitdiff \| raw \| diff to current
2018-06-11	Arnaud Charlet	[Ada] Simplify expansion of "and then" in CodePeer...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Javier Miranda	[Ada] Crash on protected type entry family	blob \| commitdiff \| raw \| diff to current
2018-06-11	Arnaud Charlet	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Add Suppressible argument to Assertion_Policy...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Do not query the representation information in...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Mark extended return of unconstrained type as...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Do not force Part_Of on generic units	blob \| commitdiff \| raw \| diff to current
2018-06-11	Piotr Trojanek	[Ada] Don't split AND THEN expressions in GNATprove_Mode	blob \| commitdiff \| raw \| diff to current
2018-06-11	Piotr Trojanek	[Ada] Fix handling of Pre/Post contracts with AND THEN...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ed Schonberg	[Ada] Unnesting: robustify analysis of block statements	blob \| commitdiff \| raw \| diff to current
next

RSS Atom