riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2018-07-17	[Ada] Crash processing abstract state aspect of a package	Javier Miranda	8	-227/+414
2018-07-17	[Ada] Consistent spelling of "i.e." in docs and comments	Piotr Trojanek	3	-6/+12
2018-07-17	[Ada] Argument_String_To_List creates empty items from whitespace	Justin Squirek	2	-53/+56
2018-07-17	[Ada] Spurious error on Part_Of indicator	Hristian Kirtchev	2	-5/+16
2018-07-17	[Ada] Avoid confusing warning on exception propagation in GNATprove mode	Yannick Moy	2	-0/+11
2018-07-17	[Ada] GNAT.Sockets: reorganize and make public components of Inet_Addr_Type	Dmitriy Anisimkov	3	-24/+180
2018-07-17	[Ada] Secondary stack leak in statements block located in a loop	Javier Miranda	2	-0/+41
2018-07-17	[Ada] Fix Enclosing_Subprogram for protected entries and task entries	Ed Schonberg	2	-2/+26
2018-07-17	[Ada] Add elaboration-related switches to GNAT UGN	Hristian Kirtchev	3	-42/+133
2018-07-17	[Ada] New ignored Ghost code removal mechanism	Hristian Kirtchev	8	-260/+249
2018-07-17	[Ada] Secondary stack leak in loop iterator	Javier Miranda	2	-65/+122
2018-07-17	[Ada] Fix Next_Actual when used on calls "inlined for proof"	Piotr Trojanek	2	-5/+23
2018-07-17	[Ada] Einfo: update documentation for Scalar_Range	Ed Schonberg	2	-2/+7
2018-07-17	[Ada] Attach the special GNATprove HEAP entity to the Standard package	Piotr Trojanek	2	-0/+6
2018-07-17	[Ada] Minor refactoring: remove extra parentheses	Piotr Trojanek	2	-1/+5
2018-07-17	[Ada] Fix unnesting issues involving tasks	Ed Schonberg	2	-4/+30
2018-07-17	[Ada] Spurious error on unused Part_Of constituent	Hristian Kirtchev	4	-15/+55
2018-07-17	[Ada] Fix handling of inherited discriminant constraints	Ed Schonberg	2	-21/+40
2018-07-17	[Ada] Crash on case expression in build-in-place function	Hristian Kirtchev	4	-23/+70
2018-07-17	[Ada] Remove references to gcov from the User Manual	Arnaud Charlet	4	-400/+202
2018-07-16	[Ada] Missing error on hidden state in instantiation	Hristian Kirtchev	4	-15/+92
2018-07-16	[Ada] Minor reformatting	Hristian Kirtchev	12	-112/+132
2018-07-16	[Ada] Only unnest subprograms if no previous errors were detected	Arnaud Charlet	2	-1/+8
2018-07-16	[Ada] Fix expansion of blocks in loops inside elaboration code	Ed Schonberg	2	-8/+46
2018-07-16	[Ada] Deep copy operands of membership operations for unnesting	Ed Schonberg	2	-1/+9
2018-07-16	[Ada] Unnesting: handle 'Address references that are calls	Ed Schonberg	2	-1/+8
2018-07-16	[Ada] Unnesting: handle the semantic of Storage_Pool field	Ed Schonberg	2	-1/+20
2018-07-16	[Ada] Fix Default_Storage_Pool aspect handling in generic instantiations	Ed Schonberg	2	-17/+33
2018-07-16	[Ada] Major code cleanup	Ed Schonberg	5	-16/+184
2018-07-16	[Ada] Spurious error with null Abstract_State	Hristian Kirtchev	2	-0/+12
2018-07-16	[Ada] Deconstruct unused Withed_Body filed of N_With_Clause node	Piotr Trojanek	3	-31/+5
2018-07-16	[Ada] Avoid crash when traversing units with -gnatd.WW debug switch	Piotr Trojanek	2	-2/+13
2018-07-16	[Ada] Trivial simplifications in in Walk_Library_Items	Piotr Trojanek	2	-13/+15
2018-07-16	[Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items	Piotr Trojanek	2	-29/+6
2018-07-16	[Ada] Use common routine Expand_Nonbinary_Modular_Op for XOR expressions	Ed Schonberg	2	-1/+8
2018-07-16	[Ada] Add a missing check for trivial predicates on non-discrete types	Ed Schonberg	2	-1/+11
2018-07-16	[Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV	Hristian Kirtchev	2	-4/+40
2018-07-16	[Ada] Spurious possible contraint error warning with No_Exception_Propagation	Justin Squirek	2	-2/+14
2018-07-16	[Ada] Segmentation_Fault with Integer'Wide_Wide_Value	Hristian Kirtchev	2	-13/+33
2018-07-16	[Ada] Bit_Order cannot be defined for record extensions	Javier Miranda	2	-0/+11
2018-07-16	[Ada] System.Object_Reader: minor code clean-up	Arnaud Charlet	2	-8/+12
2018-07-16	[Ada] Adjust reference to renumbered SPARK RM rule	Piotr Trojanek	2	-1/+6
2018-07-16	[Ada] adaint.c: minor code cleanup	Arnaud Charlet	2	-1/+5
2018-07-16	[Ada] Code cleanup on functions inlining	Javier Miranda	2	-36/+53
2018-07-16	[Ada] Crash processing sources under GNATprove debug mode	Javier Miranda	2	-3/+14
2018-07-16	[Ada] Inline: rewrap comment	Yannick Moy	2	-4/+8
2018-07-16	[Ada] Einfo: minor tweak in comment	Eric Botcazou	2	-2/+6
2018-07-16	[Ada] Sem_Ch4: minor code cleanup	Javier Miranda	2	-9/+7
2018-07-16	[Ada] Fix expansion of 'Count in protected types	Javier Miranda	2	-0/+16
2018-07-16	[Ada] Sem_Utils: make Has_Prefix public	Javier Miranda	3	-20/+25